An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits
An Equivalence Verification Methodology for Asynchronous Sleep Convention Logic Circuits
复制标题
异步睡眠约定逻辑电路的等效验证方法
DOI：
10.1109/iscas.2019.8702098
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Smith, Scott C.
中科院分区：
文献类型：
--
作者：
Hossain, Mousam;Sakib, Ashiq A.;Srinivasan, Sudarshan K.;Smith, Scott C.
登录
查看更多内容
提高 NCL 电路等效验证可扩展性的抽象技术
影响因子：
1.1
作者：
Vidura Wijayasekara;A. T. Rollie;R. G. Hodges;S. Srinivasan;S. Smith
通讯作者：
S. Smith
睡眠约定逻辑的可测试性设计
DOI：
10.1109/tvlsi.2015.2419816
发表时间：
2016
影响因子：
2.8
作者：
F. A. Parsan;S. Smith;W. Al
通讯作者：
W. Al
预充电半缓冲门和电路的形式化建模和验证
DOI：
10.1109/mwscas.2017.8052974
发表时间：
2017
期刊：
2017 IEEE 60th International Midwest Symposium on Circuits and Systems (MWSCAS)
影响因子：
--
作者：
Ashiq A. Sakib;S. Smith;S. Srinivasan
通讯作者：
S. Srinivasan
流水线机器的正确性
DOI：
--
发表时间：
2000
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
P. Manolios
通讯作者：
P. Manolios
异步 NULL 约定逻辑 (NCL) 电路的测试设计
DOI：
--
发表时间：
2008
期刊：
2008 IEEE International Test Conference
影响因子：
--
作者：
W. Al;S. Kakarla
通讯作者：
S. Kakarla