Formal Modeling and Verification of Delay-Insensitive Circuits

Formal Modeling and Verification of Delay-Insensitive Circuits

Einstein's relativity theory tells us that the notion of simultaneity can only be approximated for events distributed over space. As a result, the use of asynchronous techniques is unavoidable in systems larger than a certain physical size. Traditional design techniques that use global clocks f...

Full description

Bibliographic Details
Main Author: Park, Hoon
Format: Others
Published: PDXScholar 2015
Subjects:
Asynchronous circuits > Design and construction
Integrated circuits > Very large scale integration > Design and construction
Digital Circuits
Electrical and Computer Engineering
Online Access:https://pdxscholar.library.pdx.edu/open_access_etds/2639
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=3644&context=open_access_etds

Internet

https://pdxscholar.library.pdx.edu/open_access_etds/2639
https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=3644&context=open_access_etds

Similar Items