Simulated fault injections and their acceleration in SystemC

Microprocessors and Microsystems

Volumn 32, Issue 5-6, 2008, Pages 270-278

  Misera, Silvio ^a   Vierhaus, Heinrich Theodor ^a   Sieber, André ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Accelarated simulation; Simulated fault injection; Switch level; SystemC

Indexed keywords

CODE SIMULATION; ELECTRONIC SYSTEMS (ES); ELSEVIER (CO); FAULT CONDITIONS; FUNCTIONAL SIMULATIONS; GATE LEVELS; HARDWARE DESIGNS; IN ORDER; NOVEL METHODS; PARALLEL COMPUTING; SIMULATION RESULTS; SYSTEM BEHAVIORS; SYSTEMC;

PARALLEL PROCESSING SYSTEMS;

EID: 50949121237     PISSN: 01419331     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.micpro.2008.03.013     Document Type: Article

References (26)

1. Baldez et al., LINXS: Using SystemC to Enable HW/SW Co-Simulation in the Real World, ESCUG, September 2005.
2. H.K. Lee, D.S. Ha, HOPE: an efficient parallel fault simulator for synchronous sequential circuits, in: Proceedings of the ACM-IEEE Design Automation Conference (DAC), 1992, pp. 336-340.
3. SystemC: , November 10, 2006.
4. Modelsim Designer: , October 1, 2006.
5. Bruschi F., Ferrandi F., and Sciuto D. A framework for functional verification of systemc models. International Journal of Parallel Programming 33 6 (2005)
6. F. Bruschi, M. Chiamenti, F. Ferrandi, D. Sciuto, Error Simulation Based on the SystemC Design Description Language, Automation and Test in Europe Conference and Exhibition (DATE'02), 2002, pp. 1135.
7. J. Gracia, J.C. Baraza, D. Gil, P.J. Gil: Comparison and Application of Different VHDL-Based Fault Injection Techniques, IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT'01), October 2001, pp. 0233.
8. Müller W., Rosenstiel W., and Ruf J. (Hrsg.): SystemC - Methodologies and Applications (2003), Kluwer Academic Publishers pp. 127-156
9. Aldec Inc., Active-HDL und Riveria, , November 1, 2005.
10. B. Parrotta, M. Rebaudengo, M. Sonza Reorda, M. Violante, New Techniques for Accelerating Fault Injection in VHDL Descriptions, July 2000, pp. 61.
11. Seward, Lala, Fault injection for verifying testability at the VHDL level, Proceedings of the ITC IEEE, 2003.
12. Neirmann T.M., Cheng W.-T., and Patel J.H. PROOFS: a fast, memory-efficient sequential circuit fault simulator. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 11 2 (1992)
13. Benso, and Prinetto. Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation (2003), Kluwer Academic Publishers
14. Bhasker J. A SystemC Primer (2002), Star Galaxy Publishing, Allentown
15. M. Rimén, J. Ohlsson, J. Karlsson, et al., Design Guidelines of a VHDL-based Simulation Tool for the Validation of Fault Tolerance, 1997.
16. Misera, Vierhaus, FIT - A Parallel Hierarchical Fault Simulation Environment, Parelec, Dresden, 2004, pp. 289-294.
17. E. Jenn, J. Arlat, M. Rimen. J. Ohlsson, J. Karlsson, Fault injection into VHDL models: the MEFISTO tool, in: Proceedings of the 24th International Symposium Fault-Tolerant Computimg, IEEE, 1994, pp. 66-75.
18. SystemC-AMS study group: SystemC-AMS, , February 26, 2007.
19. IEEE Package 1164, , January 29, 2007.
20. Alessandro Fin, Franco Fummi, Graziano Pravadelli, AMLETO: a multi-language environment for functional test generation, in: Proceedings of the International Test Conference, 2001, pp. 821.
21. Black, and Donovan. SystemC: From The Ground Up (2004), Kluwer Academic Publishers, Boston
22. ® Language Reference Manual, , October 10, 2006.
23. K. Rothbart, U. Neffe, Ch. Steger, R. Weiss, E. Rieger, A. Muehlberger, High level fault injection for attack simulation in smart cards, Found in: 13th Asian Test Symposium (ATS'04), 2004.
24. OpenMP, , January 10, 2007.
25. Kung, and Lin. Parallel sequence fault simulation for synchronous sequential circuits. Journal of Electronic Testing (1996) 267-277
26. Nikolaus Goders, Reinard Kaibel, PARIS: a parallel pattern fault simulator for synchronous sequential circuits, in: Proceedings of the International Conference on Computer-Aided Design, 1991, pp. 542-545.