An Assembler Driven Verification Methodology (ADVM)

John S. MacBeth Dietmar Heinz Ken Gray

Published in: CoRR (2007)

Keyphrases

data driven
model checking
machine learning
information retrieval
computer vision
theoretical framework
design methodology
formal verification
genetic algorithm
clustering algorithm
multiresolution
face verification
evaluation methodology
formal analysis
asynchronous circuits