• DocumentCode
    2494517
  • Title

    VIPACES, Verification Interface Primitives for the Development of AXI Compliant Elements and Systems

  • Author

    Sánchez-Pena, Armando ; Carballo, Pedro P. ; García, Luz ; Núnez, Antonio

  • Author_Institution
    Inst. for Appl. Microelectron., Univ. of Las Palmas de Gran Canaria
  • fYear
    0
  • fDate
    0-0 0
  • Firstpage
    305
  • Lastpage
    312
  • Abstract
    This paper presents VIPACES (verification interface primitives for the development of AXI compliant elements and systems), a simple environment for the verification of AMBA 3 AXI systems in verification IP (VIP) production. The elements come from the necessity of creating generic modules, in the verification phase, for this widely used protocol. These primitives are presented as a not compiled library written in SystemC where interfaces are the core of the library. The definition of interfaces instead of generic modules let the user construct custom modules improving the resources spent during the verification phase as well as easily adapting his own modules to the AMBA 3 AXI protocol. As validation scenario, results obtained for an AXI bus connecting IDCT and other processing resources for MPEG4 video decoding are presented
  • Keywords
    formal verification; protocols; system-on-chip; AMBA 3 AXI protocol; IDCT; MPEG4 video decoding; SystemC; generic modules; user construct custom modules; verification IP production; verification interface primitives for the development of AXI compliant element; Decoding; Discrete cosine transforms; Emulation; Joining processes; MPEG 4 Standard; Production systems; Protocols; Software libraries; System testing; System-on-a-chip; (SoC); AMBA 3 AXI; DCT; Emulation; Environment; IDCT; IP; System-on-Chip; SystemC; TLM; Test; VIP; VIPACES; Verification; Virtual Components.;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital System Design: Architectures, Methods and Tools, 2006. DSD 2006. 9th EUROMICRO Conference on
  • Conference_Location
    Dubrovnik
  • Print_ISBN
    0-7695-2609-8
  • Type

    conf

  • DOI
    10.1109/DSD.2006.93
  • Filename
    1690055