Formal Modeling and Verification of PCHB Asynchronous Circuits
Formal Modeling and Verification of PCHB Asynchronous Circuits
复制标题
PCHB异步电路的形式化建模和验证
DOI：
10.1109/tvlsi.2019.2937087
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Srinivasan, Sudarshan K.
中科院分区：
文献类型：
--
作者：
Sakib, Ashiq A.;Smith, Scott C.;Srinivasan, Sudarshan K.
登录
查看更多内容
预充电半缓冲门和电路的形式化建模和验证
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
松弛匹配准延迟不敏感电路
DOI：
--
发表时间：
2006
期刊：
12th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC'06)
影响因子：
--
作者：
Piyush Prakash;Alain J. Martin
通讯作者：
Alain J. Martin
PCHB-WCHB混合准延迟不敏感电路的综合
DOI：
10.1145/2593069.2593224
发表时间：
2014
期刊：
2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC)
影响因子：
--
作者：
C. Chuang;Yi;J. H. Jiang
通讯作者：
J. H. Jiang
NULL 约定逻辑 (NCL) 电路的等效性验证
DOI：
10.1109/iccd.2014.6974681
发表时间：
2014
期刊：
2014 IEEE 32nd International Conference on Computer Design (ICCD)
影响因子：
--
作者：
Vidura Wijayasekara;S. Srinivasan;S. Smith
通讯作者：
S. Smith