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

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 378
AXI4-Lite Assertions
April 2014
AXI4-
60123 AXI4_READ_ALLOCATE_WHEN_NON_
MODIFIABLE_8 The RA of the cache parameter bit
should not be HIGH when the
Modifiable bit is LOW. A4.4
AXI4-
60124 AXI4_READ_ALLOCATE_WHEN_NON_
MODIFIABLE_9 The RA of the cache parameter bit
should not be HIGH when the
Modifiable bit is LOW. A4.4
AXI4-
60125 AXI4_READ_BURST_LENGTH_
VIOLATION The burst_length implied by the
number of beats actually read does
not match the burst_length defined
by the
master_read_addr_channel_phase.
AXI4-
60126 AXI4_READ_BURST_MAXIMUM_
LENGTH_VIOLATION 256 read data beats were seen
without RLAST. A3.4.1
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
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref