Formal Verification of Restoring Dividers made Fast and Simple
Formal Verification of Restoring Dividers made Fast and Simple
复制标题
恢复分频器的形式验证变得快速而简单
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
and Ciesielski, Maciej
中科院分区：
文献类型：
--
作者：
Dasari, Jiteshri;and Ciesielski, Maciej
登录
查看更多内容
DOI：
10.1016/j.vlsi.2015.12.004
发表时间：
2016-03
期刊：
Integr.
影响因子：
--
作者：
M. Haghbayan;B. Alizadeh
通讯作者：
M. Haghbayan;B. Alizadeh
使用符号计算机代数和布尔可满足性对模乘法器进行形式化验证
DOI：
--
发表时间：
2022
期刊：
Design Automation Conference
影响因子：
--
作者：
Alireza Mahzoon;Daniel Große;Christoph Scholl;Alexander Konrad;R. Drechsler
通讯作者：
R. Drechsler
保留多项式形式验证的设计层次结构信息
DOI：
--
发表时间：
2022
期刊：
IEEE/IFIP International Conference on Very Large Scale Integration of System-on-Chip
影响因子：
--
作者：
R. Drechsler;Alireza Mahzoon
通讯作者：
Alireza Mahzoon
通过 Gröbner 基使用字级抽象对大型伽罗瓦域算术电路进行等价验证
DOI：
--
发表时间：
2014
期刊：
Design Automation Conference
影响因子：
--
作者：
Tim Pruss;P. Kalla;Florian Enescu
通讯作者：
Florian Enescu
用于全自动分频器验证的符号计算机代数和基于 SAT 的信息转发
DOI：
--
发表时间：
2020
期刊：
Design Automation Conference
影响因子：
--
作者：
Christoph Scholl;Alexander Konrad
通讯作者：
Alexander Konrad