Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite - Manual (Page 381)

AXI4-Lite Assertions
Mentor Verification IP AE AXI4-Lite User Guide, V10.3 381
April 2014
AXI4-
60170 AXI4_WRITE_STROBES_LENGTH_
VIOLATION The size of the write_strobes array in
a write transfer should match the
value given by AWLEN.
AXI4-
60171 AXI4_WRITE_USER_DATA_LENGTH_
VIOLATION The size of the wdata_user_data
array in a write transfer should match
the value given by AWLEN.
AXI4-
60172 AXI4_WRITE_BURST_MAXIMUM_
LENGTH_VIOLATION 256 write data beats were seen
without WLAST. A3.4.1
AXI4-
60173 AXI4_WRITE_BURST_SIZE_VIOLATION In this write transaction size has
been set too high for the defined
data buswidth.
AXI4-
60174 AXI4_WRITE_DATA_BEFORE_
ADDRESS A write data beat has occurred
before the corresponding address
phase.
AXI4-
60175 AXI4_WRITE_DATA_UNKN_ON_INVALID_
LANE On a lane whose strobe is 0 WDATA
has an X value/WDATA has a Z
value.
AXI4-
60176 AXI4_WRITE_DATA_UNKN_ON_VALID_LANE On a lane whose strobe is 1 WDATA
has an X value/WDATA has a Z
value.
AXI4-
60177 AXI4_WRITE_EXCLUSIVE_ENCODING_
VIOLATION A write-only interface does not
support exclusive accesses. A10.2.3
AXI4-
60178 AXI4_WRITE_RESPONSE_WITHOUT_
ADDR_DATA An unexpected write response has
occurred (there are no outstanding
write transactions with this id).
AXI4-
60179 AXI4_WRITE_STROBE_FIXED_BURST_
VIOLATION Write strobe(s) incorrect for the
address/size of a fixed transfer.
AXI4-
60180 AXI4_WRITE_TRANSFER_EXCEEDS_
ADDRESS_SPACE This write transfer runs off the edge
of the address space defined by
AXI4_ADDRESS_WIDTH. A10.3.1
AXI4-
60181 AXI4_WRONG_ARREGION_FOR_SLAVE_
WITH_SINGLE_ADDRESS_
DECODE The region value should be 4'b0000
for a read from a slave with a single
address decode in the region map. A8.2.1
AXI4-
60182 AXI4_WRONG_AWREGION_FOR_SLAVE_
WITH_SINGLE_ADDRESS_
DECODE The region value should be 4'b0000
for a write to a slave with a single
address decode in the region map. A8.2.1
AXI4-
60183 AXI4_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
AXI4-
60184 AXI4_WSTRB_UNKN WSTRB has an X value/WSTRB has
a Z value.
AXI4-
60185 AXI4_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
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref