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

Mentor VIP AE AXI3/4 User Guide, V10.2b 688
Assertions
AXI4 Assertions
September 2013
AXI4-
60127 AXI4_READ_BURST_SIZE_VIOLATION In this read transaction, size has
been set too high for the defined
data buswidth.
AXI4-
60128 AXI4_READ_DATA_BEFORE_ADDRESS An unexpected read response has
occurred (there are no outstanding
read transactions with this id). A3.3.1
AXI4-
60129 AXI4_READ_DATA_CHANGED_
BEFORE_RREADY The value of RDATA has changed
from its initial value between the time
RVALID was asserted and before
RREADY was asserted. A3.2.1
AXI4-
60130 AXI4_READ_DATA_UNKN RDATA has an X value/RDATA has
a Z value.
AXI4-
60131 AXI4_READ_EXCLUSIVE_ENCODING_
VIOLATION. A read-only interface does not
support exclusive accesses. A10.2.2
AXI4-
60132 AXI4_READ_REORDERING_VIOLATION The arrival of a read response has
exceeded the read reordering depth. A5.3.1
AXI4-
60133 AXI4_READ_RESP_CHANGED_
BEFORE_RREADY The value of RRESP has changed
from its initial value between the time
RVALID was asserted and before
RREADY was asserted. A3.2.1
AXI4-
60134 AXI4_READ_TRANSFER_EXCEEDS_
ADDRESS_SPACE This read transfer runs off the edge
of the address space defined by
AXI4_ADDRESS_WIDTH. A10.3.1
AXI4-
60135 AXI4_REGION_SMALLER_THAN_4KB An address-range in the region map
is smaller than 4kB. A8.2.1
AXI4-
60136 AXI4_RESERVED_ARBURST_
ENCODING The reserved encoding of 2'b11
should not be used for ARBURST. A3.4.1
AXI4-
60137 AXI4_RESERVED_AWBURST_
ENCODING The reserved encoding of 2'b11
should not be used for AWBURST. A3.4.1
AXI4-
60138 AXI4_RID_CHANGED_BEFORE_
RREADY The value of RID has changed from
its initial value between the time
RVALID was asserted and before
RREADY was asserted. A3.2.1
AXI4-
60139 AXI4_RID_UNKN RID has an X value/RID has a Z
value.
AXI4-
60140 AXI4_RLAST_CHANGED_BEFORE_
RREADY The value of RLAST has changed
from its initial value between the time
RVALID was asserted and before
RREADY was asserted. A3.2.1
AXI4-
60141 AXI4_RLAST_UNKN RLAST has an X value/RLAST has a
Z value.
AXI4-
60142 AXI4_RREADY_NOT_ASSERTED_
AFTER_RVALID Once RVALID has been asserted
RREADY should be asserted in
config_max_latency_RVALID_assert
ion_to_RREADY clock periods.
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref