Mechanical Mathematical Methods for Microprocessor Verification.

Warren A. Hunt Jr.

Published in: CAV (2004)

Keyphrases

mathematical methods
functional verification
biomedical image analysis
high speed
model checking
formal verification
face verification
computer vision
signature verification
instruction set
special purpose hardware
genetic algorithm
formal methods
circuit design
verification method