You can use the protocol checkers that this user guide describes to test the ACE and ACE-Lite protocols that the AMBA® AXI and ACE Protocol Specification - AXI3, AXI4, and AXI4-Lite, ACE, and ACE-Lite defines. See ARM publications.
The behavior of the interface you test is checked against the protocol by a series of assertions.
This guide describes the contents of the SystemVerilog files, and how to integrate them into a design. It also describes the correct use of these assertions with simulators to flag errors, warnings, or both during design simulation.