One simple test to check to see if the AXI Protocol Checker is
correctly connected to the interface is to not connect the pc_axi_arready
or the pc_axi_awready
input
into the protocol checker and to tie those ports to 0. This causes the pc_asserted
output and multiple bits in the pc_status
vector to be asserted when AXI traffic begins
because this will violate all the AXI_ERRS_A*_STABLE protocol checks (bits 46 - 56). See
AXI Protocol Checks and Descriptions for the descriptions of these
checks.