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
Link To Document :
بازگشت