Online Diagnosis of Hard Faults in Microprocessors

Journal Article (Journal Article)

We develop a microprocessor design that tolerates hard faults, including fabrication defects and in-field faults, by leveraging existing microprocessor redundancy. To do this, we must: detect and correct errors, diagnose hard faults at the field deconfigurable unit (FDU) granularity, and deconfigure FDUs with hard faults. In our reliable microprocessor design, we use DIVA dynamic verification to detect and correct errors. Our new scheme for diagnosing hard faults tracks instructions’ core structure occupancy from decode until commit. If a DIVA checker detects an error in an instruction, it increments a small saturating error counter for every FDU used by that instruction, including that DIVA checker. A hard fault in an FDU quickly leads to an above-threshold error counter for that FDU and thus diagnoses the fault. For deconfiguration, we use previously developed schemes for functional units and buffers and present a scheme for deconfiguring DIVA checkers. Experimental results show that our reliable microprocessor quickly and accurately diagnoses each hard fault that is injected and continues to function, albeit with somewhat degraded performance. © 2007, ACM. All rights reserved.

Full Text

Duke Authors

Cited Authors

  • Bower, FA; Sorin, DJ; Ozev, S

Published Date

  • January 1, 2007

Published In

Volume / Issue

  • 4 / 2

Start / End Page

  • 8 -

Electronic International Standard Serial Number (EISSN)

  • 1544-3973

International Standard Serial Number (ISSN)

  • 1544-3566

Digital Object Identifier (DOI)

  • 10.1145/1250727.1250728

Citation Source

  • Scopus