Browsing Electrical & Computer Engineering by Subject "equivalence checking"
Now showing items 1-1 of 1
-
Formal Verification Methodologies for NULL Convention Logic Circuits
(North Dakota State University, 2020)NULL Convention Logic (NCL) is a Quasi-Delay Insensitive (QDI) asynchronous design paradigm that aims to tackle some of the major problems synchronous designs are facing as the industry trend of increased clock rates and ...