Now showing items 1-1 of 1

    • Formal Verification Methodologies for NULL Convention Logic Circuits 

      Le, Son Ngoc (North Dakota State University, 2020)
      NULL Convention Logic (NCL) is a Quasi-Delay Insensitive (QDI) asynchronous design paradigm that aims to tackle some of the major problems synchronous designs are facing as the industry trend of increased clock rates and ...