Sign in

ABC: An Academic Industrial-Strength Verification Tool.

Robert K. BraytonAlan Mishchenko
Published in: CAV (2010)
Keyphrases
  • industrial strength
  • real time
  • model checking
  • software tools
  • asynchronous circuits
  • neural network
  • face verification
  • verification method