Login / Signup

Automatic Verification of Asynchronous Circuits.

Trevor Wing Sang LeeMark R. GreenstreetCarl-Johan H. Seger
Published in: IEEE Des. Test Comput. (1995)
Keyphrases
  • asynchronous circuits
  • process algebra
  • delay insensitive
  • model checking
  • temporal logic
  • power consumption
  • web service composition