Online design bug detection: RTL analysis, flexible mechanisms, and evaluation.

Kypros Constantinides, Onur Mutlu, Todd M. Austin

Browse the full MICRO paper archive.