A New Approach for Transient Fault Injection using Symbolic Simulation

Darbari, Ashish, Al-Hashimi, Bashir, Harrod, Peter and Bradley, Daryl (2008) A New Approach for Transient Fault Injection using Symbolic Simulation At IOLTS 2008.


[img] PDF DarbariA-A_New_Approach.pdf - Accepted Manuscript
Restricted to Registered users only

Download (801kB)


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.

Item Type: Conference or Workshop Item (Paper)
Venue - Dates: IOLTS 2008, 2008-05-01
Organisations: Electronic & Software Systems
ePrint ID: 265848
Date :
Date Event
May 2008Published
Date Deposited: 05 Jun 2008 09:52
Last Modified: 17 Apr 2017 19:13
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265848

Actions (login required)

View Item View Item