A Mathematical Approach to RTL Verification.

David M. Russinoff

Published in: CAV (2007)

Keyphrases

model checking
formal verification
real time
model based diagnosis
artificial intelligence
mathematical expressions
data sets
optimal solution
computer science
mathematical models
face verification
formal methods
person identification