Allon Adir Hezi Azatchi Eyal Bin Ofer Peled Kirill Shoikhet A generic micro-architectural test plan approach for microprocessor verification. 769-774 2005 conf/dac/2005 DAC http://doi.acm.org/10.1145/1065579.1065785 db/conf/dac/dac2005.html#AdirABPS05