High-Level Test Generation for Design Verification of Pipelined Microprocessors.

David Van Campenhout Trevor N. Mudge John P. Hayes

Published in: DAC (1999)

Keyphrases

test generation
high level
design automation
test cases
software testing
symbolic execution
low level
test sequences
case study
databases
semantic information
query evaluation