The following table lists signal checks required by AXI protocol that are checked
only during simulation. These checks appear only as assertion messages and do not
appear in the pc_status
output signal.
Name of Protocol Check | Protocol Support | Description |
---|---|---|
AXI_ERRM_ARADDR_X | AXI4/AXI3/Lite | When ARVALID is high, a value of X on ARADDR is not permitted. |
AXI_ERRM_ARBURST_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARBURST is not permitted. |
AXI_ERRM_ARCACHE_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARCACHE is not permitted. |
AXI_ERRM_ARID_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARID is not permitted. |
AXI_ERRM_ARLEN_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARLEN is not permitted. |
AXI_ERRM_ARLOCK_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARLOCK is not permitted. |
AXI_ERRM_ARPROT_X | AXI4/AXI3/Lite | When ARVALID is high, a value of X on ARPROT is not permitted. |
AXI_ERRM_ARQOS_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARQOS is not permitted. |
AXI_ERRM_ARREGION_X | AXI4 | When ARVALID is high, a value of X on ARREGION is not permitted. |
AXI_ERRM_ARSIZE_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARSIZE is not permitted. |
AXI_ERRM_ARUSER_X | AXI4/AXI3 | When ARVALID is high, a value of X on ARUSER is not permitted. |
AXI_ERRM_ARVALID_X | AXI4/AXI3/Lite | When not in reset, a value of X on ARVALID is not permitted. |
AXI_ERRM_AWADDR_X | AXI4/AXI3/Lite | When AWVALID is high, a value of X on AWADDR is not permitted. |
AXI_ERRM_AWBURST_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWBURST is not permitted. |
AXI_ERRM_AWCACHE_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWCACHE is not permitted. |
AXI_ERRM_AWID_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWID is not permitted. |
AXI_ERRM_AWLEN_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWLEN is not permitted. |
AXI_ERRM_AWLOCK_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWLOCK is not permitted. |
AXI_ERRM_AWPROT_X | AXI4/AXI3/Lite | When AWVALID is high, a value of X on AWPROT is not permitted. |
AXI_ERRM_AWQOS_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWQOS is not permitted. |
AXI_ERRM_AWREGION_X | AXI4 | When AWVALID is high, a value of X on AWREGION is not permitted. |
AXI_ERRM_AWSIZE_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWSIZE is not permitted. |
AXI_ERRM_AWUSER_X | AXI4/AXI3 | When AWVALID is high, a value of X on AWUSER is not permitted. |
AXI_ERRM_AWVALID_X | AXI4/AXI3/Lite | When not in reset, a value of X on AWVALID is not permitted. |
AXI_ERRM_BREADY_X | AXI4/AXI3/Lite | When not in reset, a value of X on BREADY is not permitted. |
AXI_ERRM_RREADY_X | AXI4/AXI3/Lite | When not in reset, a value of X on RREADY is not permitted. |
AXI_ERRM_WDATA_X | AXI4/AXI3/Lite | When WVALID is high, a value of X on active byte lanes of WDATA is not permitted. |
AXI_ERRM_WLAST_X | AXI4/AXI3 | When WVALID is high, a value of X on WLAST is not permitted. |
AXI_ERRM_WSTRB_X | AXI4/AXI3/Lite | When WVALID is high, a value of X on WSTRB is not permitted. |
AXI_ERRM_WUSER_X | AXI4/AXI3 | When WVALID is high, a value of X on WUSER is not permitted. |
AXI_ERRM_WVALID_X | AXI4/AXI3/Lite | When not in reset, a value of X on WVALID is not permitted. |
AXI_ERRS_ARREADY_X | AXI4/AXI3/Lite | When not in reset, a value of X on ARREADY is not permitted. |
AXI_ERRS_AWREADY_X | AXI4/AXI3/Lite | When not in reset, a value of X on AWREADY is not permitted. |
AXI_ERRS_BID_X | AXI4/AXI3 | When BVALID is high, a value of X on BID is not permitted. |
AXI_ERRS_BRESP_X | AXI4/AXI3/Lite | When BVALID is high, a value of X on BRESP is not permitted. |
AXI_ERRS_BUSER_X | AXI4/AXI3 | When BVALID is high, a value of X on BUSER is not permitted. |
AXI_ERRS_BVALID_X | AXI4/AXI3/Lite | When not in reset, a value of X on BVALID is not permitted. |
AXI_ERRS_RDATA_X | AXI4/AXI3/Lite | When RVALID is high, a value of X on RDATA valid byte lanes is not permitted. |
AXI_ERRS_RID_X | AXI4/AXI3 | When RVALID is high, a value of X on RID is not permitted. |
AXI_ERRS_RLAST_X | AXI4/AXI3 | When RVALID is high, a value of X on RLAST is not permitted. |
AXI_ERRS_RRESP_X | AXI4/AXI3/Lite | When RVALID is high, a value of X on RRESP is not permitted. |
AXI_ERRS_RUSER_X | AXI4/AXI3 | When RVALID is high, a value of X on RUSER is not permitted. |
AXI_ERRS_RVALID_X | AXI4/AXI3/Lite | When not in reset, a value of X on RVALID is not permitted. |
AXI_ERRS_WREADY_X | AXI4/AXI3/Lite | When not in reset, a value of X on WREADY is not permitted. |