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
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;
Conference_Titel :
Optimization of Electrical and Electronic Equipment (OPTIM), 2010 12th International Conference on
Conference_Location :
Basov
Print_ISBN :
978-1-4244-7019-8
DOI :
10.1109/OPTIM.2010.5510515