• 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