Title :
Creating a reusable testbench using cadence´s testbuilder and AMBA TVM
Author :
Xu, Susan ; Pollitt-Smith, Hugh
Author_Institution :
Canadian Microelectronics Corp., Ont., Canada
Abstract :
This paper presents a system-level verification methodology to validate complex digital intellectual property (IP) blocks. This methodology, called transaction-based verification (TBV), abstracts operations over a design-under-verification (DUV) interface from the pin-level to the transaction-level, separating the details of the interface from the generation and monitoring of data on those interfaces. This methodology is illustrated by a tutorial delivered as part of the Canadian system-on-chip research network (SOCRN) infrastructure.
Keywords :
circuit CAD; formal verification; industrial property; peripheral interfaces; system-on-chip; Canadian system-on-chip research network; design-under-verification; digital intellectual property blocks; reusable testbench; testbuilder; transaction-based verification; Abstracts; Automatic testing; Bridges; Ethernet networks; Hardware design languages; Microelectronics; Monitoring; Object oriented programming; System testing; System-on-a-chip;
Conference_Titel :
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
Print_ISBN :
0-7803-7781-8
DOI :
10.1109/CCECE.2003.1226353