Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial).

Published in: CAV (2008)

Keyphrases

model checking
case study
formal verification
real world
face verification
database
verification method
data sets
databases
neural network
database systems
knowledge discovery and data mining
invited talk
asynchronous circuits
fastest growing