The AXI Protocol Checker core monitors AXI interfaces. When attached to an interface, it actively checks for protocol violations and provides an indication of which violation occurred.
The checks are synthesizable versions of the System Verilog protocol assertions provided by Arm® in the AMBA 4 AXI4, AXI4-Lite, and AXI4-Stream Protocol Assertions User Guide.