VIPACES, Verification Interface Primitives for the Development of AXI Compliant Elements and Systems. - Armando Sánchez-Peña; Pedro P. Carballo; Luz García 001; Antonio Núñez (DSD, 2006)