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

Assertions
AXI3 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 671
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60085 AXI_READ_ALLOCATE_WHEN_
NON_MODIFIABLE_12 The RA bit of the cache transaction field
should not be HIGH when the Modifiable bit
is LOW. A4.4
AXI3-
60086 AXI_READ_ALLOCATE_WHEN_
NON_MODIFIABLE_13 The RA bit of the cache transaction field
should not be HIGH when the Modifiable bit
is LOW. A4.4
AXI3-
60087 AXI_READ_ALLOCATE_WHEN_
NON_MODIFIABLE_4 The RA of the cache transaction field bit
should not be HIGH when the Modifiable bit
is LOW. A4.4
AXI3-
60088 AXI_READ_ALLOCATE_WHEN_
NON_MODIFIABLE_5 The RA of the cache transaction field bit
should not be HIGH when the Modifiable bit
is LOW. A4.4
AXI3-
60089 AXI_READ_ALLOCATE_WHEN_
NON_MODIFIABLE_8 The RA of the cache transaction field bit
should not be HIGH when the Modifiable bit
is LOW. A4.4
AXI3-
60090 AXI_READ_ALLOCATE_WHEN_
NON_MODIFIABLE_9 The RA of the cache transaction field bit
should not be HIGH when the Modifiable bit
is LOW. A4.4
AXI3-
60091 AXI_READ_BURST_LENGTH_
VIOLATION The number of beats actually read does not
match the burst length defined by the
ARLEN. A3.4.1
AXI3-
60092 AXI_READ_BURST_SIZE_
VIOLATION In this read transaction, size has been set
greater than the defined data bus. A3.4.1
AXI3-
60093 AXI_READ_DATA_BEFORE_
ADDRESS An unexpected read response has occurred
(there are no outstanding read transactions
with this id). A3.3.1
AXI3-
60094 AXI_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
AXI3-
60095 AXI_READ_DATA_UNKN RDATA has an X or Z value. A2.6
AXI3-
60096 AXI_RESERVED_ARLOCK_
ENCODING The reserved encoding of 2'b11 should not
be used for ARLOCK. A7.4
AXI3-
60097 AXI_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
AXI3-
60098 AXI_RESERVED_ARBURST_
ENCODING The reserved encoding of 2'b11 should not
be used for ARBURST. A3.4.1
AXI3-
60099 AXI_RESERVED_AWBURST_
ENCODING The reserved encoding of 2'b11 should not
be used for AWBURST. A3.4.1
Table A-1. AXI3 Assertions (cont.)