| dc.contributor.author | Hossain, Mousam | |
| dc.description.abstract | Sleep Convention Logic (SCL) is an emerging ultra-low power Quasi-Delay Insensitive (QDI) asynchronous design paradigm with enormous potential for industrial applications. Design validation is a critical concern before commercialization. Unlike other QDI paradigms, such as NULL Convention Logic (NCL) and Pre-Charge Half Buffers (PCHB), there exists no formal verification methods for SCL. In this thesis, a unified formal verification scheme for combinational as well as sequential SCL circuits is proposed based on equivalence checking, which verifies both safety and liveness. The method is demonstrated using several multipliers, MACs, and ISCAS benchmarks. | en_US |
| dc.publisher | North Dakota State University | en_US |
| dc.rights | NDSU policy 190.6.2 | en_US |
| dc.title | Formal Verification Methodology for Asynchronous Sleep Convention Logic Circuits Based on Equivalence Verification | en_US |
| dc.type | Thesis | en_US |
| dc.date.accessioned | 2020-10-12T15:34:02Z | |
| dc.date.available | 2020-10-12T15:34:02Z | |
| dc.date.issued | 2019 | |
| dc.identifier.uri | https://hdl.handle.net/10365/31574 | |
| dc.subject | asynchronous | en_US |
| dc.subject | equivalence verification | en_US |
| dc.subject | formal verification | en_US |
| dc.subject | multi-threshold null convention logic | en_US |
| dc.subject | QDI | en_US |
| dc.subject | sleep convention logic | en_US |
| dc.rights.uri | https://www.ndsu.edu/fileadmin/policy/190.pdf | en_US |
| ndsu.degree | Master of Science (MS) | en_US |
| ndsu.college | Engineering | en_US |
| ndsu.department | Electrical and Computer Engineering | en_US |
| ndsu.program | Electrical and Computer Engineering | en_US |
| ndsu.advisor | Srinivasan, Sudarshan | |
