Show simple item record

dc.contributor.authorSakib, Ashiq Adnan
dc.description.abstractPre-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 counterparts using custom synthesis tools. Validation of the synthesized QDI implementation is a critical design prerequisite before fabrication. At present, validation schemes are mostly extensive simulation based that are good enough to detect shallow bugs, but may fail to detect corner-case bugs. Hence, development of formal verification methods for QDI circuits have been long desired. The very few formal verification methods that exist in the related field have major limiting factors. This dissertation presents different formal verification methodologies applicable to PCHB and NCL circuits, and aims at addressing the limitations of previous verification approaches. The developed methodologies can guarantee both safety (full functional correctness) and liveness (absence of deadlock), and are demonstrated using several increasingly larger sequential and combinational PCHB and NCL circuits, along with various ISCAS benchmarks.en_US
dc.publisherNorth Dakota State Universityen_US
dc.titleFormal Modeling and Verification Methodologies for Quasi-Delay Insensitive Asynchronous Circuitsen_US
dc.typeDissertationen_US
dc.typeVideoen_US
dc.date.accessioned2019-07-05T20:44:17Z
dc.date.available2019-07-05T20:44:17Z
dc.date.issued2019en_US
dc.identifier.urihttps://hdl.handle.net/10365/29896
dc.subjectasynchronous designen_US
dc.subjectequivalence verificationen_US
dc.subjectformal verificationen_US
dc.subjectnull convention logicen_US
dc.subjectpre-charge half buffersen_US
dc.subjectquasi delay insensitiveen_US
dc.identifier.orcid0000-0001-7985-2449
dc.description.sponsorshipNational Science Foundation (Grant No. CCF-1717420)en_US
ndsu.degreeDoctor of Philosophy (PhD)en_US
ndsu.collegeEngineeringen_US
ndsu.departmentElectrical and Computer Engineeringen_US
ndsu.programElectrical and Computer Engineeringen_US
ndsu.advisorSmith, Scott C.


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record