A Scalable Formal Framework for the Verification and Vulnerability Analysis of Redundancy-Based Error-Resilient Null Convention Logic Asynchronous Circuits
A Scalable Formal Framework for the Verification and Vulnerability Analysis of Redundancy-Based Error-Resilient Null Convention Logic Asynchronous Circuits
复制标题
用于基于冗余的容错空约定逻辑异步电路验证和漏洞分析的可扩展形式框架
DOI：
10.3390/jlpea14010005
复制
发表时间：
2024
影响因子：
2.1
通讯作者：
Sakib, Ashiq A.
中科院分区：
文献类型：
--
作者：
Mazumder, Dipayan;Datta, Mithun;Bodoh, Alexander C.;Sakib, Ashiq A.
登录
查看更多内容
提高 NCL 电路等效验证可扩展性的抽象技术
影响因子：
1.1
作者：
Vidura Wijayasekara;A. T. Rollie;R. G. Hodges;S. Srinivasan;S. Smith
通讯作者：
S. Smith
基于NULL约定逻辑的异步范式的演变：概述与展望
影响因子：
3.9
作者：
Danylo Khodosevych;Ashiq A. Sakib
通讯作者：
Ashiq A. Sakib
系统时序
影响因子：
3.3
作者：
I. Kourtev;E. Friedman
通讯作者：
E. Friedman
基于 Eager Evaluation 的时序鲁棒异步电路的块级松弛
DOI：
10.1109/async.2008.25
发表时间：
2008
期刊：
2008 14th IEEE International Symposium on Asynchronous Circuits and Systems
影响因子：
--
作者：
Cheoljoo Jeong;S. Nowick
通讯作者：
S. Nowick
DOI：
10.1049/pbcs061e
发表时间：
2019
期刊：
2006 IEEE/ACM International Conference on Computer Aided Design
影响因子：
--
作者：
T. Nakano;M. Sato;M. Takeuchi
通讯作者：
M. Takeuchi