Title :
Complex ASICs verification with SystemC
Author :
Randjic, A. ; Ostapcuk, N. ; Soldo, I. ; Markovic, P. ; Mujkovic, V.
Author_Institution :
HDL Design House, Belgrade, Serbia
fDate :
6/24/1905 12:00:00 AM
Abstract :
This paper aims to present a way of complex ASIC verification by C/C++ oriented hardware description language using SystemC libraries. The solution of testbench organization is presented, as a result of complexity of design under verification, network processor PcomP. It is a general solution, new tests and parameter changes are very easy to be added, as is usage of the same testbench concept for other design
Keywords :
C language; C++ language; application specific integrated circuits; formal verification; hardware description languages; integrated circuit design; software libraries; C/C++ oriented hardware description language; PcomP; SystemC libraries; complex ASICs; design under verification; network processor; parameter changes; testbench organization; verification; Algorithm design and analysis; Application specific integrated circuits; Controllability; Design optimization; Emulation; Hardware design languages; Observability; Programming; Software algorithms; Testing;
Conference_Titel :
Microelectronics, 2002. MIEL 2002. 23rd International Conference on
Conference_Location :
Nis
Print_ISBN :
0-7803-7235-2
DOI :
10.1109/MIEL.2002.1003347
