Login / Signup

Formal Modeling and Verification of PCHB Asynchronous Circuits.

Ashiq A. SakibScott C. SmithSudarshan K. Srinivasan
Published in: IEEE Trans. Very Large Scale Integr. Syst. (2019)
Keyphrases
  • asynchronous circuits
  • process algebra
  • model checking
  • delay insensitive
  • formal methods
  • artificial intelligence
  • modeling language
  • information retrieval
  • modeling method
  • formal models
  • reactive systems