Synopsys Verification IP (VIP) for Arm? AMBA? AXI? provides a comprehensive set of protocol, methodology, verification and productivity features. Users are able to achieve rapid verification convergence on their AMBA AXI5, AXI-J/K, AXI4, AXI3, and AXI4-Lite based designs.