Altera Mentor Verification IP Altera Edition AMBA AXI3/4TM - Manual (Page 694)

Mentor VIP AE AXI3/4 User Guide, V10.2b 674
Assertions
AXI3 Assertions
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60130 AXI_WRITE_DATA_UNKN_ON_
INVALID_LANE On a lane whose strobe is 0, WDATA has an
X or Z value. A2.3
AXI3-
60131 AXI_WRITE_DATA_UNKN_ON_
VALID_LANE On a lane whose strobe is 1, WDATA has an
X or Z value. A2.3
AXI3-
60132 AXI_RESERVED_AWLOCK_
ENCODING The reserved encoding of 2'b11 should not
be used for AWLOCK. A7.4
AXI3-
60133 AXI_WRITE_STROBE_ON_INVALID_
BYTE_LANES Write strobe(s) incorrect for the address/size
of a fixed transfer. A2.3
AXI3-
60134 AXI_WSTRB_CHANGED_BEFORE_
WREADY The value of WSTRB has changed from its
initial value between the time WVALID was
asserted, and before WREADY was
asserted. A3.2.1
AXI3-
60135 AXI_WSTRB_UNKN WSTRB has an X or Z value. A2.3
AXI3-
60136 AXI_WUSER_CHANGED_BEFORE_
WREADY The value of WUSER has changed from its
initial value between the time WVALID was
asserted, and before WREADY was
asserted. A3.2.1
AXI3-
60137 AXI_WUSER_UNKN WUSER has an X or Z value. A2.3
AXI3-
60138 AXI_WVALID_DEASSERTED_
BEFORE_WREADY WVALID has been de-asserted before
WREADY was asserted. A3.2.1
AXI3-
60139 AXI_WVALID_HIGH_ON_FIRST_
CLOCK_AFTER_RESET A master interface must begin driving
WVALID high only at a rising clock edge after
ARESETn is HIGH. A3.1.2
AXI3-
60140 AXI_WVALID_UNKN WVALID has an X or Z value. A2.3
AXI3-
60141 AXI_ADDR_ACROSS_4K_WITHIN_
LOCKED_WRITE_TRANSACTION Transactions in a locked write sequence
should be in the same 4K address boundary. A7.3
AXI3-
60142 AXI_ADDR_ACROSS_4K_WITHIN_
LOCKED_READ_TRANSACTION Transactions in a locked read sequence
should be in the same 4K address boundary. A7.3
AXI3-
60143 AXI_AWID_CHANGED_WITHIN_
LOCKED_TRANSACTION Master should not change the AWID signal in
the locked transaction. A7.3
AXI3-
60144 AXI_ARID_CHANGED_WITHIN_
LOCKED_TRANSACTION Master should not change the ARID signal in
the locked transaction. A7.3
AXI3-
60145 AXI_AWPROT_CHANGED_WITHIN_
LOCKED_TRANSACTION Master should not change the AWPROT
signal in the locked transaction. A7.3
Table A-1. AXI3 Assertions (cont.)