Darbari, Ashish, Al-Hashimi, Bashir, Harrod, Peter and Bradley, Daryl
A New Approach for Transient Fault Injection using Symbolic Simulation
At IOLTS 2008.
- Accepted Manuscript
Restricted to Registered users only
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 by the 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.
Conference or Workshop Item
|Venue - Dates:
||IOLTS 2008, 2008-05-01
||Electronic & Software Systems
||05 Jun 2008 09:52
||17 Apr 2017 19:13
|Further Information:||Google Scholar|
Actions (login required)