Fulvio Corno Matteo Sonza Reorda Giovanni Squillero Massimo Violante On the test of microprocessor IP cores. 209-213 2001 DATE http://doi.acm.org/10.1145/367072.367156 db/conf/date/date2001.html#CornoRSV01