Kypros Constantinides Onur Mutlu Todd M. Austin Online design bug detection: RTL analysis, flexible mechanisms, and evaluation. 282-293 2008 MICRO http://dx.doi.org/10.1109/MICRO.2008.4771798 conf/micro/2008 db/conf/micro/micro2008.html#ConstantinidesMA08