DocumentCode :
3034710
Title :
Testbench components verification using fault injection techniques
Author :
Banciu, N.A. ; Toacse, G.
Author_Institution :
Corp. Technol. Central Eastern Eur. Dept., Siemens Program & Syst. Eng. Brasov, Brasov, Romania
fYear :
2010
fDate :
20-22 May 2010
Firstpage :
997
Lastpage :
1003
Abstract :
New methodologies for digital designs verification make use of SystemVerilog´s object-oriented mechanisms to speed-up the verification environment development. Yet, undetected testbench errors can slow down or even compromise the overall verification process. This paper concentrates on fault injection technique applied to different SystemVerilog testbench components. By altering functionality in different places of the testbench, potential hidden errors can be detected, improving the testbench capacity to detect design misbehavior. The fault injection in SystemVerilog testbench components may be used in addition to existing methods of functional verification analysis, for testbench validation. Modalities to alter the main testbench components are presented, highlighting the effects on the testbench behavior.
Keywords :
fault diagnosis; formal verification; hardware description languages; object-oriented programming; program testing; SystemVerilog; design misbehavior; digital designs verification; fault injection techniques; functional verification analysis; object-oriented mechanisms; testbench capacity; testbench components verification; testbench validation; verification environment development; Circuit faults; Circuit testing; Design engineering; Design optimization; Electronic equipment; Electronic equipment testing; Hardware design languages; Object oriented modeling; System testing; Systems engineering and theory;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Optimization of Electrical and Electronic Equipment (OPTIM), 2010 12th International Conference on
Conference_Location :
Basov
ISSN :
1842-0133
Print_ISBN :
978-1-4244-7019-8
Type :
conf
DOI :
10.1109/OPTIM.2010.5510515
Filename :
5510515
Link To Document :
بازگشت