Equivalence Checking for Flow-Based Computing
Equivalence Checking for Flow-Based Computing
复制标题
基于流的计算的等价性检查
DOI：
10.1109/iccd56317.2022.00101
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Ewetz, Rickard
中科院分区：
文献类型：
--
作者：
Thijssen, Sven;Kumar Jha, Sumit;Ewetz, Rickard
登录
查看更多内容
PATH：使用基于路径的内存计算评估布尔逻辑
DOI：
10.1145/3489517.3530596
发表时间：
2022
期刊：
ACM
影响因子：
--
作者：
Thijssen, Sven;Jha, Sumit Kumar;Ewetz, Rickard
通讯作者：
Ewetz, Rickard
一种用于循环组合电路综合的有效组合性检查技术
DOI：
--
发表时间：
2005
期刊：
Proceedings of the ASP-DAC 2005. Asia and South Pacific Design Automation Conference, 2005.
影响因子：
--
作者：
Vineet Agarwal;N. Kankani;Ravishankar Rao;Sarvesh Bhardwaj;Janet Roveda
通讯作者：
Janet Roveda
COMPACT：具有最小半周长的纳米级横杆上基于流的计算
DOI：
10.23919/date51398.2021.9473995
发表时间：
2021
期刊：
Design Automation and Test in Europe Conference (DATE
影响因子：
--
作者：
Thijssen, Sven;Jha, Sumit Kumar;Ewetz, Rickard
通讯作者：
Ewetz, Rickard
SAT 和 ATPG：用于形式硬件验证的布尔引擎
DOI：
--
发表时间：
2002
期刊：
IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002.
影响因子：
--
作者：
Armin Biere;W. Kunz
通讯作者：
W. Kunz
用于系统可靠性的 VLSI 逻辑设计的形式验证和调试：实验和评估
DOI：
--
发表时间：
2018
期刊：
VLSI Design and Test for Systems Dependability
影响因子：
--
作者：
M. Fujita;Takeshi Matsumoto;A. M. Gharehbaghi;Kosuke Oshima;Satoshi Jo;Hiroaki Yoshida;Takashi Takenaka;K. Wakabayashi
通讯作者：
K. Wakabayashi