Three Approaches to Hardware Verification: HOL, MDG and VIS Compared.

Sofiène Tahar Paul Curzon Jianping Lu

Published in: FMCAD (1998)

Keyphrases

hardware and software
machine learning
evolutionary algorithm
strengths and weaknesses
information retrieval
genetic algorithm
image processing
significant improvement
model checking
formal methods
computing power
signature verification