Date of Award
2016
Publisher
North Dakota State University
Document Type
Dissertation
Degree Awarded
Doctor of Philosophy (PhD)
Program
Electrical and Computer Engineering
Department
Electrical and Computer Engineering
College
Engineering
Faculty Advisor
Srinivasan, Sudarshan K.
Description
NULL convention logic and latency-insensitive circuits are delay-tolerant circuits that can be synthesized from a synchronous speci cation. These design paradigms can use existing CAD ows to implement circuits that are robust to process variations and wire delays. Veri cation is an indispensable phase of any commercial design cycle, and needs to be addressed in order to exploit the potential advantages of these design paradigms. Delay-tolerant circuits are of asynchronous nature. Therefore, timing behavior of these delay-tolerant circuits are very disparate from the synchronous speci cations, and verifying equivalence of the synthesized circuit to the synchronous speci cation is one of the main challenges. However, there is no existing work in the literature that address this challenge and still remains an open problem. This study makes an initial e ort in developing equivalence veri cation methods and equivalence checking tools for these design paradigms.
Recommended Citation
Wijayasekara, Vidura Manu, "Equivalence Verification for NULL Convention Logic and Latency-Insensitive Circuits" (2016). Electrical and Computer Engineering. 34.
https://digitalcommons.ndsu.edu/elec-comp-eng/34
Rights
NDSU Policy 190.6.2
Rights Link
https://www.ndsu.edu/fileadmin/policy/190.pdf
Handle Identifier
https://hdl.handle.net/10365/27998