Generator-based Verification.

Yunshan Zhu James H. Kukula

Published in: ICCAD (2003)

Keyphrases

model checking
formal verification
functional verification
verification method
data sets
formal analysis
face verification
learning environment
real world
neural network
database
multiscale
video sequences
three dimensional
search engine
asynchronous circuits
databases
multimodal biometrics