Application of symbolic computer algebra to arithmetic circuit verification
Application of symbolic computer algebra to arithmetic circuit verification
复制标题
符号计算机代数在运算电路验证中的应用
DOI：
--
复制
发表时间：
2007
期刊：
影响因子：
--
通讯作者：
Yuki Watanabe
中科院分区：
文献类型：
--
作者：
Takayuki Moritani;Shinsaku Hiura;Kosuke Sato;Yuki Watanabe
登录
查看更多内容
ACV：算术电路验证器
DOI：
10.1109/iccad.1996.569822
发表时间：
1996
期刊：
Proceedings of International Conference on Computer Aided Design
影响因子：
--
作者：
Yirng;R. Bryant
通讯作者：
R. Bryant
伽罗瓦域上算术算法的高效验证 GF(2m)
DOI：
10.1007/3-540-44585-4_45
发表时间：
2001
期刊：
--
影响因子：
--
作者：
S. Morioka;Y. Katayama;T. Yamane
通讯作者：
T. Yamane
基于 Gröbner 的多项式理想的一些性质
DOI：
10.1145/1088222.1088224
发表时间：
1976
期刊：
SIGSAM Bull.
影响因子：
--
作者：
B. Buchberger
通讯作者：
B. Buchberger
DOI：
10.1109/tcad.2007.895755
发表时间：
2007
影响因子：
2.9
作者：
Debdeep Mukhopadhyay;Gaurav Sengar;D. R. Chowdhury
通讯作者：
D. R. Chowdhury
多值函数的克罗内克伽罗瓦场决策图的电路设计
DOI：
10.1109/ismvl.1997.601413
发表时间：
1997
期刊：
Proceedings 1997 27th International Symposium on Multiple- Valued Logic
影响因子：
--
作者：
R. Stankovic;R. Drechsler
通讯作者：
R. Drechsler