Reference model based RTL verification: an integrated approach.

William N. N. Hung Naren Narasimhan

Published in: HLDVT (2004)

Keyphrases

model checking
case study
data driven
data sets
database
formal verification
functional verification
person identification
signature verification
formal analysis
face verification
face recognition
decision trees
e learning
information systems
social networks
real world