You-Sung Chang Seungjong Lee In-Cheol Park Chong-Min Kyung Verification of a Microprocessor Using Real World Applications. 181-184 1999 DAC http://doi.acm.org/10.1145/309847.311478 db/conf/dac/dac99.html#ChangLPK99