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

Assertions
AXI3 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 669
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60054 AXI_BRESP_UNKN BRESP has an X or Z value. A2.4
AXI3-
60055 AXI_BUSER_CHANGED_
BEFORE_BREADY The value of BUSER has changed from its
initial value between the time BVALID was
asserted, and before BREADY was asserted. A3.2.1
AXI3-
60056 AXI_BUSER_UNKN BUSER has an X or Z value. A2.4
AXI3-
60057 AXI_BVALID_DEASSERTED_
BEFORE_BREADY BVALID has been de-asserted before
BREADY was asserted. A3.2.1
AXI3-
60058 AXI_BVALID_HIGH_ON_FIRST_
CLOCK_AFTER_RESET A slave interface must begin driving BVALID
high only at a rising clock edge after
ARESETn is HIGH. A3.1.2
AXI3-
60059 AXI_BVALID_UNKN BVALID has an X or Z value. A2.4
AXI3-
60060 AXI_EXCLUSIVE_READ_
ACCESS_MODIFIABLE The modifiable bit (bit 1 of the cache
transaction field) should not be set for an
exclusive read access. A7.2.4
AXI3-
60061 AXI_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
AXI3-
60062 AXI_EXCLUSIVE_WRITE_BYTES_
TRANSFER_EXCEEDS_128 Number of bytes in an exclusive write
transaction must be less than or equal to
128. A7.2.4
AXI3-
60063 AXI_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
AXI3-
60064 AXI_EXCLUSIVE_WRITE_BYTES_
TRANSFER_NOT_POWER_OF_2 Number of bytes of an exclusive write
transaction is not a power of 2. A7.2.4
AXI3-
60065 AXI_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
AXI3-
60066 AXI_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
AXI3-
60067 AXI_EXCLUSIVE_WR_CACHE_
NOT_SAME_AS_RD Exclusive write does not match the cache
setting of the previous exclusive read to this
id. A7.2.4
Table A-1. AXI3 Assertions (cont.)