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

Mentor VIP AE AXI3/4 User Guide, V10.2b 670
Assertions
AXI3 Assertions
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60068 AXI_EXCLUSIVE_WRITE_
ACCESS_MODIFIABLE The modifiable bit (bit 1 of the cache
transaction field) should not be set for an
exclusive write access. A7.2.4
AXI3-
60069 AXI_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
AXI3-
60070 AXI_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
AXI3-
60071 AXI_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
AXI3-
60072 AXI_EXOKAY_RESPONSE_
NORMAL_READ Slave has responded AXI_EXOKAY to a
nonexclusive read transfer. -
AXI3-
60073 AXI_EXOKAY_RESPONSE_
NORMAL_WRITE Slave has responded AXI_EXOKAY to a
nonexclusive write transfer. -
AXI3-
60074 AXI_EX_RD_RESP_MISMATCHED_
WITH_EXPECTED_RESP Expected response to this exclusive read did
not matched with the actual response. A7.2.3
AXI3-
60075 AXI_EX_WR_RESP_MISMATCHED_
WITH_EXPECTED_RESP Expected response to this exclusive write did
not matched with the actual response. A7.2.3
AXI3-
60076 AXI_EX_RD_EXOKAY_RESP_
SLAVE_WITHOUT_EXCLUSIVE_
ACCESS Response for an exclusive read to a slave
which does not support exclusive access
should be AXI_OKAY, but it returned
AXI_EXOKAY. A7.2.3
AXI3-
60077 AXI_EX_WRITE_BEFORE_EX_
READ_RESPONSE Exclusive write has occurred, with no
previous exclusive read. A7.2.2
AXI3-
60078 AXI_EX_WRITE_EXOKAY_RESP_
SLAVE_WITHOUT_EXCLUSIVE_
ACCESS Response for an exclusive write to a slave
which does not support exclusive access
should be AXI_OKAY, but it returned
AXI_EXOKAY. A7.2.3
AXI3-
60079 AXI_ILLEGAL_LENGTH_
WRAPPING_READ_BURST In the last read address phase burst_length
has an illegal value for a burst of type
AXI_WRAP. A3.4.1
AXI3-
60080 AXI_ILLEGAL_LENGTH_
WRAPPING_WRITE_BURST In the last write address phase burst_length
has an illegal value for a burst of type
AXI_WRAP. A3.4.1
AXI3-
60081 AXI_ILLEGAL_RESPONSE_
EXCLUSIVE_READ Response for an exclusive read should be
either AXI_OKAY or AXI_EXOKAY. A7.2.3
AXI3-
60082 AXI_ILLEGAL_RESPONSE_
EXCLUSIVE_WRITE Response for an exclusive write should be
either AXI_OKAY or AXI_EXOKAY. A7.2.3
AXI3-
60083 AXI_PARAM_READ_DATA_BUS_
WIDTH The value of AXI_RDATA_WIDTH must be
one of 8,16,32,64,128,256,512,1024. A1.3.1
AXI3-
60084 AXI_PARAM_WRITE_DATA_BUS_
WIDTH The value of AXI_WDATA_WIDTH must be
one of 8,16,32,64,128,256,512,1024. A1.3.1
Table A-1. AXI3 Assertions (cont.)