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
Link To Document :
بازگشت