Automatic functional test program generation for microprocessor verification.

Tun Li, Dan Zhu, Lei Liang, Yang Guo, Sikun Li

Browse the full ASPDAC paper archive.