• 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