Kypros Constantinides, Onur Mutlu, Todd M. Austin. Online design bug detection: RTL analysis, flexible mechanisms, and evaluation. In 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy. pages 282-293, IEEE Computer Society, 2008. [doi]
Abstract is missing.