Efficient Formal Verification and Debugging of Arithmetic Divider Circuits
Efficient Formal Verification and Debugging of Arithmetic Divider Circuits
复制标题
算术除法器电路的高效形式验证和调试
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Ciesielski, Maciej
中科院分区：
文献类型：
--
作者：
Dasari, Jiteshri;Ciesielski, Maciej
登录
查看更多内容
DOI：
10.1016/j.vlsi.2015.12.004
发表时间：
2016-03
期刊：
Integr.
影响因子：
--
作者：
M. Haghbayan;B. Alizadeh
通讯作者：
M. Haghbayan;B. Alizadeh
使用定理证明技术验证 SRT 除法算法
DOI：
--
发表时间：
1996
期刊：
Formal Methods Syst. Des.
影响因子：
--
作者：
E. Clarke;S. German;Xudong Zhao
通讯作者：
Xudong Zhao
DOI：
10.1007/978-3-642-02658-4_32
发表时间：
2009-06
期刊：
--
影响因子：
--
作者：
Roope Kaivola;R. Ghughal;N. Narasimhan;Amber Telfer;J. Whittemore;S. Pandav;A. Slobodová;Christopher Taylor;V. Frolov;Erik Reeber;A. Naik
通讯作者：
Roope Kaivola;R. Ghughal;N. Narasimhan;Amber Telfer;J. Whittemore;S. Pandav;A. Slobodová;Christopher Taylor;V. Frolov;Erik Reeber;A. Naik
STABLE：一种新的 QF-BV SMT 求解器，用于结合布尔推理与计算机代数的硬验证问题
DOI：
10.1109/date.2011.5763035
发表时间：
2011
期刊：
2011 Design, Automation & Test in Europe
影响因子：
--
作者：
Evgeny Pavlenko;Markus Wedler;D. Stoffel;W. Kunz;A. Dreyer;Frank Seelisch;G. Greuel
通讯作者：
G. Greuel
基于 Groebner 基计算添加优化校正器的算术电路校正
DOI：
--
发表时间：
2021
期刊：
IEEE European Test Symposium
影响因子：
--
作者：
Negar Aghapour Sabbagh;B. Alizadeh
通讯作者：
B. Alizadeh