July 7, 2008 to July 9, 2008
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/IOLTS.2008.59
One effective fault injection approach involves??instrumenting the RTL in a controlled manner to incorporate fault injection, and evaluating the behaviour of the faulty RTL whilst running some benchmark programs. This approach relies on checking the effects of faults whilst the design is executing a specific binary image, and therefore the true impact of the fault is limited bythe shadow of the program image. Another limitation of this approach is the use of extra hardware for fault injection which is not needed during the fault-free running of the design. The aim of this paper is to propose a new approach for transient fault injection based on symbolic simulation and model checking that circumvents the problems experienced due to application dependent fault injection and RTL modification. In this paper we present our approach and analyse the effect of transient faults on the fetch unit of a 32-bit multi-cycle RISC processor. Our approach can be applied generally??to any faulty design, not necessarily a processor.
Transient Fault, Fault Injection, Symbolic Simulation, Model Checking
Ashish Darbari, Bashir Al Hashimi, Peter Harrod, Daryl Bradley, "A New Approach for Transient Fault Injection Using Symbolic Simulation", IOLTS, 2008, 14th IEEE International On-Line Testing Symposium, 14th IEEE International On-Line Testing Symposium 2008, pp. 93-98, doi:10.1109/IOLTS.2008.59