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