A generic micro-architectural test plan approach for microprocessor verification.

Allon Adir Hezi Azatchi Eyal Bin Ofer Peled Kirill Shoikhet

Published in: DAC (2005)

Keyphrases

functional verification
model checking
high speed
face verification
special purpose hardware
databases
high level
domain specific
decision theoretic
plan recognition
test generation
genetic algorithm
artificial intelligence
statistical tests
test suite
architectural design