Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits
Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits
复制标题
利用双轨寄存器不变量进行 NCL 电路的等效性验证
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Smith, Scott.
中科院分区：
文献类型：
--
作者：
Le, Son;Srinivasan, Sudarshan;Smith, Scott.
登录
查看更多内容
流水线机器的正确性
DOI：
--
发表时间：
2000
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
P. Manolios
通讯作者：
P. Manolios
NCL 电路的形式化验证
DOI：
--
发表时间：
2019
期刊：
Asynchronous Circuit Applications
影响因子：
--
作者：
Ashiq A. Sakib;S. Le;S. Smith;S. Srinivasan
通讯作者：
S. Srinivasan
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
J. Di;S. Smith
通讯作者：
S. Smith
多阈值空约定逻辑 (MTNCL)：一种超低功耗异步电路设计方法
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
Liang Zhou;R. Parameswaran;F. A. Parsan;Scott C. Smith;Jia Di
通讯作者：
Jia Di
异步睡眠约定逻辑电路的等效验证方法
DOI：
10.1109/iscas.2019.8702098
发表时间：
2019
期刊：
2019 IEEE International Symposium on Circuits and Systems (ISCAS
影响因子：
--
作者：
Hossain, Mousam;Sakib, Ashiq A.;Srinivasan, Sudarshan K.;Smith, Scott C.
通讯作者：
Smith, Scott C.