Fred A. Bower, Daniel J. Sorin, Sule Ozev: A Mechanism for Online Diagnosis of Hard Faults in Microprocessors. MICRO 2005: 197-208