VIPACES, verification interface primitives for the development of AXI compliant elements and systems

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 (HP) 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.