An Assembler Driven Verification Methodology (ADVM).

John S. MacBeth Dietmar Heinz Ken Gray

Published in: DATE (2004)

Keyphrases

data driven
neural network
machine learning
model checking
data sets
learning environment