loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Second International Symposium on Parallel and Distributed Computing
Fault Injection into Verilog Models for Dependability Evaluation of Digital Systems
Ljubljana, Slovenia
October 13-October 14
ISBN: 0-7695-2069-3
Hamid R. Zarandi, Sharif University of Technology, Tehran, Iran
Seyed Ghassem Miremadi, Sharif University of Technology, Tehran, Iran
Alireza Ejlali, Sharif University of Technology, Tehran, Iran
This paper presents transient and permanent fault injection into Verilog models of digital systems during the design phase by a developed simulation-based fault injection tool called INJECT. With this fault injection tool, it is possible to inject crucial fault models in all abstraction levels (such as swith-level) supported by Verilog HDL. Several fault models for injecting into Verilog models are specified and described. Analyzing the results obtained from the fault injections, using INJECT enables system designers to inform from dependable parameters, such as fault latency, propagation and coverage. As a case study, a 32-bit processor, namely DP32, has been evaluated and effects of faults on some important observation points have been presented. In this study, recovered errors are distinguished from those that affected the system behavior. The errors that lead to wrong results are separated from those that do not affect the correct results.
Citation:
Hamid R. Zarandi, Seyed Ghassem Miremadi, Alireza Ejlali, "Fault Injection into Verilog Models for Dependability Evaluation of Digital Systems," ispdc, pp.281, Second International Symposium on Parallel and Distributed Computing, 2003
Usage of this product signifies your acceptance of the Terms of Use.