DocumentCode
397164
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
Volume
1
fYear
2003
fDate
4-7 May 2003
Firstpage
97
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Electrical and Computer Engineering, 2003. IEEE CCECE 2003. Canadian Conference on
ISSN
0840-7789
Print_ISBN
0-7803-7781-8
Type
conf
DOI
10.1109/CCECE.2003.1226353
Filename
1226353
Link To Document