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

Assertions
AXI4 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 685
September 2013
AXI4-
60086 AXI4_EXOKAY_RESPONSE_NORMAL_READ Slave has responded
AXI4_EXOKAY to a non exclusive
read transfer.
AXI4-
60087 AXI4_EXOKAY_RESPONSE_NORMAL_
WRITE Slave has responded
AXI4_EXOKAY to a non exclusive
write transfer.
AXI4-
60088 AXI4_EX_RD_EXOKAY_RESP_
EXPECTED_OKAY Expected AXI4_OKAY response to
this exclusive read (because the
parameters did not meet the the
restrictions) but got AXI4_EXOKAY. A7.2.4
AXI4-
60089 AXI4_EX_RD_EXOKAY_RESP_SLAVE_
WITHOUT_EXCLUSIVE_ACCESS Response for an exclusive read to a
slave which does not support
exclusive access should be
AXI4_OKAY but it returned
AXI4_EXOKAY. A7.2.5
AXI4-
60090 AXI4_EX_RD_OKAY_RESP_
EXPECTED_EXOKAY Expected AXI4_EXOKAY response
to this exclusive read (because the
parameters met the restrictions) but
got AXI4_OKAY. A7.2.4
AXI4-
60091 AXI4_EX_RD_WHEN_EX_NOT_
ENABLED An exclusive read should not be
issued when exclusive transactions
are not enabled.
AXI4-
60092 AXI4_EX_WRITE_BEFORE_EX_READ_
RESPONSE Exclusive write has occurred with no
previous exclusive read.
AXI4-
60093 AXI4_EX_WRITE_EXOKAY_RESP_
EXPECTED_OKAY Exclusive write has not been
successful but slave has responded
with AXI4_EXOKAY. A7.2.2
AXI4-
60094 AXI4_EX_WRITE_EXOKAY_RESP_SLAVE_
WITHOUT_EXCLUSIVE_ACCESS Response for an exclusive write to a
slave which does not support
exclusive access should be
AXI4_OKAY but it returned
AXI4_EXOKAY. A7.2.5
AXI4-
60095 AXI4_EX_WRITE_OKAY_RESP_
EXPECTED_EXOKAY An AXI4_OKAY response to an
exclusive write occurred but an
AXI4_EXOKAY response had been
expected. If the slave has multiple
interfaces to the system this check
should be disabled as it is possible
for this response to occur as a result
of activity on another port. A7.2.2
AXI4-
60096 AXI4_EX_WR_WHEN_EX_NOT_ENABLED An exclusive write should not be
issued when exclusive transactions
are not enabled.
AXI4-
60097 AXI4_ILLEGAL_ARCACHE_VALUE_FOR_
CACHEABLE_ADDRESS_REGION For a read from a cacheable address
region one of bits 2 or 3 of the cache
parameter must be HIGH. A4.5
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref