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. In, IOLTS 2008

Download

[img] PDF (Formal Methods Based Fault Injection for SEUs) - Accepted Version
Restricted to Registered users only

Download (783Kb) | Request a copy

Description/Abstract

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)
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 265848
Date Deposited: 05 Jun 2008 09:52
Last Modified: 28 Mar 2014 15:12
Projects:
Reliable Low Power Embedded Computing Systems (ROPEUST)
Funded by: EPSRC (EP/D057663/1)
Led by: Bashir M. Al-Hashimi
1 June 2006 to 30 November 2008
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/265848

Actions (login required)

View Item View Item

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics