Automatic functional test program generation for microprocessor verification.

Tun Li Dan Zhu Lei Liang Yang Guo Sikun Li

Published in: ASP-DAC (2005)

Keyphrases

functional verification
test cases
test generation
symbolic execution
semi automatic
fully automatic
multiple choice
special purpose hardware
hardware designs
formal verification
case study
java programs
flight test
generation method
software testing
test data
object oriented