VIPACES, Verification Interface Primitives for the Development of AXI Compliant Elements and Systems | IEEE Conference Publication | IEEE Xplore