• DocumentCode
    3146296
  • Title

    A loosely coupled C/Verilog environment for system level verification

  • Author

    Meyer, Andreas S.

  • Author_Institution
    ASIC Alliance Corp., USA
  • fYear
    1998
  • fDate
    16-19 Mar 1998
  • Firstpage
    165
  • Lastpage
    170
  • Abstract
    TestBenchPlus is a high-level system verification software tool and methodology which focuses on using diagnostic code and application software together with specialized verification code to provide a verification environment which carries through from subsystem testing to a fully integrated system-level verification test. The major goals of TestBenchPlus are to exercise the system in a manner similar to how it will actually be used, to minimize throwaway verification code, and to provide an environment which fosters reuse of verification and diagnostic code within a project as the level of integration increases, and between projects that have some level of architectural similarity. In this paper, we present some of the basic concepts of this method, and results from a variety of projects in which we have successfully utilized this approach
  • Keywords
    C language; computer testing; formal verification; hardware description languages; software tools; TestBenchPlus; application software; architectural similarity; code reuse; diagnostic code; high-level system verification software tool; integration level; loosely-coupled C/Verilog environment; specialized verification code; subsystem testing; system-level verification; throwaway verification code minimization; verification environment; Application software; Application specific integrated circuits; Field programmable gate arrays; Hardware design languages; Performance analysis; Programming; Software testing; Software tools; System testing; Writing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Verilog HDL Conference and VHDL International Users Forum, 1998. IVC/VIUF. Proceedings., 1998 International
  • Conference_Location
    Santa Clara, CA
  • ISSN
    1085-9403
  • Print_ISBN
    0-8186-8415-1
  • Type

    conf

  • DOI
    10.1109/IVC.1998.660697
  • Filename
    660697