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

Mentor VIP AE AXI3/4 User Guide, V10.2b 684
Assertions
AXI4 Assertions
September 2013
AXI4-
60072 AXI4_DEC_ERR_RESP_FOR_READ No slave at the address for this read
transfer (signalled by
AXI4_DECERR).
AXI4-
60073 AXI4_DEC_ERR_RESP_FOR_WRITE No slave at the address for this write
transfer (signalled by
AXI4_DECERR).
AXI4-
60074 AXI4_EXCLUSIVE_READ_ACCESS_
MODIFIABLE The modifiable bit (bit 1 of the cache
parameter) should not be set for an
exclusive read access. A7.2.4
AXI4-
60075 AXI4_EXCLUSIVE_READ_BYTES_
TRANSFER_EXCEEDS_128 Number of bytes in an exclusive read
transaction must be less than or
equal to 128. A7.2.4
AXI4-
60076 AXI4_EXCLUSIVE_READ_BYTES_
TRANSFER_NOT_POWER_OF_2 Number of bytes of an exclusive read
transaction is not a power of 2. A7.2.4
AXI4-
60077 AXI4_EXCLUSIVE_READ_LENGTH_
EXCEEDS_16 Exclusive read accesses are not
permitted to use a burst length
greater than 16. A7.2.4
AXI4-
60078 AXI4_EXCLUSIVE_WR_ADDRESS_NOT_
SAME_AS_RD Exclusive write does not match the
address of the previous exclusive
read to this id. A7.2.4
AXI4-
60079 AXI4_EXCLUSIVE_WR_BURST_NOT_SAME_
AS_RD Exclusive write does not match the
burst setting of the previous
exclusive read to this id. A7.2.4
AXI4-
60080 AXI4_EXCLUSIVE_WR_CACHE_NOT_SAME_
AS_RD Exclusive write does not match the
cache setting of the previous
exclusive read to this id (see the
ARM AXI4 compliance-checker
AXI4_RECM_EXCL_MATCH
assertion code).
AXI4-
60081 AXI4_EXCLUSIVE_WRITE_ACCESS_
MODIFIABLE The modifiable bit (bit 1 of the cache
parameter) should not be set for an
exclusive write access. A7.2.4
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
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref