The AXI Protocol Checker core supports probing using the Vivado ILA 2.0 core and the Vivado Logic Analyzer. All of the protocol checks listed in AXI Protocol Checks and Descriptions and AMD-Specific Configuration Checks and Descriptions are available as Unassigned Debug Nets in the synthesized design. See Vivado Design Suite Tutorial: Programming and Debugging (UG936) .