Armando Sánchez-Peña, Pedro P. Carballo, Luz García, Antonio Núñez. VIPACES, Verification Interface Primitives for the Development of AXI Compliant Elements and Systems. In Ninth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2006), 30 August - 1 September 2006, Dubrovnik, Croatia. pages 305-312, IEEE Computer Society, 2006. [doi]
Abstract is missing.