ABC: An Academic Industrial-Strength Verification Tool.

Robert K. Brayton Alan Mishchenko

Published in: CAV (2010)

Keyphrases

industrial strength
real time
model checking
software tools
asynchronous circuits
neural network
face verification
verification method