IEEE Transactions on Computers · 2010 · 61 citations · 14 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureFault ToleranceFault-tolerant ComputingDesign For TestabilityFault InjectionFault ModelingHardware Fault ToleranceInstruction-level ParallelismTransient Fault HandlingError Detection And CorrectionError ResilienceFault Injection In MicroprocessorsFault Injection MethodologyFault Injection TestbedsFault SimulationHardware Fault DetectionTestability
We investigate the correlation between low-level faults in the control logic of a modern microprocessor and their instruction-level impact on the execution of typical workload. Such information can prove immensely useful in accurately assessing and prioritizing faults with regards to their criticality, as well as commensurately allocating resources to enhance online testability and error/fault resilience through concurrent error detection/correction methods. To this end, we developed an extensive fault simulation infrastructure which allows injection of stuck-at faults and transient errors of arbitrary starting time and duration, as well as cost-effective simulation and classification of their repercussions into various instruction-level error types. As a test vehicle for our study, we employ a superscalar, dynamically-scheduled, out-of-order, Alpha-like microprocessor, on which we execute SPEC2000 integer benchmarks. Extensive fault injection campaigns in control modules of this microprocessor facilitate valuable observations regarding the distribution of low-level faults into the instruction-level error types that they cause. Experimentation with both Register Transfer (RT-) and Gate-Level faults, as well as with both stuck-at faults and transient errors, confirms the validity and corroborates the utility of these observations.
14
The SimpleScalar tool set, version 2.0
Doug Burger, Todd Austin · ACM SIGARCH Computer Architecture News · 1997 · 3.1K citations · Full text
Characterizing the effects of transient faults on a high-performance processor pipeline
Nachuan Wang, J. Quek, Todd Rafacz et al. · 2004 · 396 citations
Fault injection into VHDL models: the MEFISTO tool
Éric Jenn, Jean Arlat, M. Rimen et al. · 2002 · 296 citations
Which concurrent error detection scheme to choose ?
Subhasish Mitra, E.J. McCluskey · 2002 · 296 citations