Search
Now showing items 11-11 of 11
Formal Modeling and Verification Methodologies for Quasi-Delay Insensitive Asynchronous Circuits
(North Dakota State University, 2019)
Pre-Charge Half Buffers (PCHB) and NULL convention Logic (NCL) are two major commercially successful Quasi-Delay Insensitive (QDI) asynchronous paradigms, which are known for their low-power performance and inherent ...