Formal Modeling and Verification of PCHB Asynchronous Circuits Academic Article uri icon

published proceedings

  • IEEE Transactions on Very Large Scale Integration (VLSI) Systems

author list (cited authors)

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

complete list of authors

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

publication date

  • January 1, 2019 11:11 AM