Formal Modeling and Verification Methodologies for Quasi-Delay Insensitive Asynchronous Circuits
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 robustness. In industry, QDI circuits are synthesized from their synchronous counter...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
North Dakota State University
2019
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/10365/29896 |