Title :
A loosely coupled C/Verilog environment for system level verification
Author :
Meyer, Andreas S.
Author_Institution :
ASIC Alliance Corp., USA
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;
Conference_Titel :
Verilog HDL Conference and VHDL International Users Forum, 1998. IVC/VIUF. Proceedings., 1998 International
Conference_Location :
Santa Clara, CA
Print_ISBN :
0-8186-8415-1
DOI :
10.1109/IVC.1998.660697