Simulation-Only Assertions - 2.0 English

AXI Protocol Checker LogiCORE IP Product Guide (PG101)

Document ID
PG101
Release Date
2023-06-21
Version
2.0 English

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.

Table 1. Simulation-Only Assertions
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.