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

AXI4-Lite Assertions
Mentor Verification IP AE AXI4-Lite User Guide, V10.3 375
April 2014
AXI4-
60082 AXI4_EXCLUSIVE_WR_LENGTH_NOT_
SAME_AS_RD Exclusive write does not match the
length of the previous exclusive read
to this id. A7.2.4
AXI4-
60083 AXI4_EXCLUSIVE_WR_PROT_NOT_
SAME_AS_RD Exclusive write does not match the
prot setting of the previous exclusive
read to this id. A7.2.4
AXI4-
60084 AXI4_EXCLUSIVE_WR_REGION_NOT_
SAME_AS_RD Exclusive write does not match the
region setting of the previous
exclusive read to this id. A7.2.4
AXI4-
60085 AXI4_EXCLUSIVE_WR_SIZE_NOT_
SAME_AS_RD Exclusive write does not match the
size of the previous exclusive read to
this id. A7.2.4
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
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref