Automated verification of input completeness for NCL circuits
Automated verification of input completeness for NCL circuits
复制标题
自动验证 NCL 电路的输入完整性
DOI：
10.1049/el.2018.6068
复制
发表时间：
2018
影响因子：
1.1
通讯作者：
Smith, S.C.
中科院分区：
文献类型：
--
作者：
Le, S.;Srinivasan, S.K.;Smith, S.C.
提出了一种自动形式验证方法，用于确保空约定逻辑（NCL）电路的输入完整性。 NCL 电路的优点是它们可以在传统同步电路因电路时序显着波动而失效的极端环境中运行。输入完整性是确保 NCL 电路在极端环境下正确运行的关键属性，因此需要进行验证。请注意，NCL 电路可能功能正确，但仍不完整输入，这可能导致电路在正常条件下正确运行，但只有在电路时序发生重大变化时才会出现故障（例如，在极热或极冷的环境（如外太空）中运行）。
An automated formal verification approach for ensuring input completeness of NULL Convention Logic (NCL) circuits is proposed. NCL circuits have the benefit that they can operate in extreme environments where traditional synchronous circuits fail due to significant fluctuations in circuit timing. Input completeness is a critical property to ensure correct functioning of NCL circuits in extreme environments and therefore is required to be verified. Note that an NCL circuit can be functionally correct and still not be input complete, which could cause the circuit to operate correctly under normal conditions, but malfunction only when the circuit timing is substantially changed (e.g. operating in a very hot or cold environment such as outer space).
登录
查看更多内容
延迟不敏感的门级流水线
DOI：
10.1016/s0167-9260(01)00013-x
发表时间：
2001
期刊：
Integr.
影响因子：
--
作者：
S. Smith;R. Demara;Jiann;M. Hagedorn;D. Ferguson
通讯作者：
D. Ferguson
提高 NCL 电路等效验证可扩展性的抽象技术
影响因子：
1.1
作者：
Vidura Wijayasekara;A. T. Rollie;R. G. Hodges;S. Srinivasan;S. Smith
通讯作者：
S. Smith
系统时序
影响因子：
3.3
作者：
I. Kourtev;E. Friedman
通讯作者：
E. Friedman
DOI：
--
发表时间：
2012
期刊：
影响因子：
--
作者：
J. Di;S. Smith
通讯作者：
S. Smith
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