Formal Modeling and Verification of PCHB Asynchronous Circuits Academic Article

authors

• Smith, Scott

published proceedings

• IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS

author list (cited authors)

• Sakib, A. A., Smith, S. C., & Srinivasan, S. K.

citation count

• 4

complete list of authors

• Sakib, Ashiq A||Smith, Scott C||Srinivasan, Sudarshan K

publication date

• December 2019

publisher

• Institute of Electrical and Electronics Engineers (IEEE)  Publisher

published in

• IEEE Transactions on Very Large Scale Integration Systems  Journal

keywords

• Asynchronous Circuits
• Equivalence Verification
• Formal Methods
• Precharge Half Buffer (pchb)
• Quasi-delay Insensitive (qdi)

Digital Object Identifier (DOI)

• 10.1109/TVLSI.2019.2937087

start page

• 2911

end page

• 2924

volume

• 27

issue

• 12

URL

• http://dx.doi.org/10.1109/tvlsi.2019.2937087