Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques
Rectification of Integer Arithmetic Circuits using Computer Algebra Techniques
复制标题
使用计算机代数技术修正整数运算电路
DOI：
10.1109/iccd53106.2021.00039
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Enescu, Florian
中科院分区：
文献类型：
--
作者：
Rao, Vikas;Ondricek, Haden;Kalla, Priyank;Enescu, Florian
登录
查看更多内容
ECO 补丁函数的高效计算
DOI：
--
发表时间：
2018
期刊：
Design Automation Conference
影响因子：
--
作者：
A. Dao;Nian;Li;Mark Po;J. H. Jiang;A. Mishchenko;R. Brayton
通讯作者：
R. Brayton
使用增量GR自动调试算术电路
DOI：
--
发表时间：
2017
期刊：
ICCD
影响因子：
--
作者：
Farimah Farahmandi;P. Mishra
通讯作者：
P. Mishra
通过辅因子减少插值进行多错误逻辑校正的多补丁生成
DOI：
--
发表时间：
2012
期刊：
Design, Automation and Test in Europe
影响因子：
--
作者：
Kai;Po;Chun;Chung
通讯作者：
Chung
用于工程变更单的多目标功能纠正的成本感知补丁生成
DOI：
--
发表时间：
2018
期刊：
Design Automation Conference
影响因子：
--
作者：
He;J. H. Jiang
通讯作者：
J. H. Jiang
证明算术数据路径中数据正确性的代数方法
DOI：
--
发表时间：
2008
期刊：
International Conference on Computer Aided Verification
影响因子：
--
作者：
Oliver Wienand;Markus Wedler;D. Stoffel;W. Kunz;G. Greuel
通讯作者：
G. Greuel