Assertion Based Verification Using HDVL.

Kausik Datta P. P. Das

Published in: VLSI Design (2004)

Keyphrases

formal verification
databases
model checking
face verification
data sets
genetic algorithm
artificial intelligence
search engine
computer vision
information systems
hidden markov models
formal methods
signature verification
person identification
asynchronous circuits