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

Assertions
AXI3 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 675
September 2013
Error
Code Error Name Description Property
Ref
AXI3-
60146 AXI_ARPROT_CHANGED_WITHIN_
LOCKED_TRANSACTION Master should not change the ARPROT
signal in the locked transaction. A7.3
AXI3-
60147 AXI_AWCACHE_CHANGED_
WITHIN_LOCKED_TRANSACTION Master should not change the AWCACHE
signal in the locked transaction. A7.3
AXI3-
60148 AXI_ARCACHE_CHANGED_
WITHIN_LOCKED_TRANSACTION Master should not change the ARCACHE
signal in the locked transaction. A7.3
AXI3-
60149 AXI_NUMBER_OF_LOCKED_
SEQUENCES_EXCEEDS_2 Number of accesses in a locked sequence
should not be more than 2. A7.3
AXI3-
60150 AXI_LOCKED_WRITE_BEFORE_
COMPLETION_OF_PREVIOUS_
WRITE_TRANSACTIONS A locked write sequence should not
commence before completion of all
previously issued write addresses. A7.3
AXI3-
60151 AXI_LOCKED_WRITE_BEFORE_
COMPLETION_OF_PREVIOUS_
READ_TRANSACTIONS A locked write sequence should not
commence before completion of all
previously issued read addresses. A7.3
AXI3-
60152 AXI_LOCKED_READ_BEFORE_
COMPLETION_OF_PREVIOUS_
WRITE_TRANSACTIONS A locked read sequence should not
commence before completion of all
previously issued write addresses. A7.3
AXI3-
60153 AXI_LOCKED_READ_BEFORE_
COMPLETION_OF_PREVIOUS_
READ_TRANSACTIONS A locked read sequence should not
commence before completion of all
previously issued read addresses. A7.3
AXI3-
60154 AXI_NEW_BURST_BEFORE_
COMPLETION_OF_UNLOCK_
TRANSACTION The unlocking transaction should be
completed before further any transactions
are initiated. A7.3
AXI3-
60155 AXI_UNLOCKED_WRITE_WHILE_
OUTSTANDING_LOCKED_WRITES Unlocking write transaction started while
outstanding locked write transaction has not
completed. A7.3
AXI3-
60156 AXI_UNLOCKED_WRITE_WHILE_
OUTSTANDING_LOCKED_READS Unlocking write transaction started while
outstanding locked read transaction has not
completed. A7.3
AXI3-
60157 AXI_UNLOCKED_READ_WHILE_
OUTSTANDING_LOCKED_WRITES Unlocking read transaction started while
outstanding locked write transaction has not
completed. A7.3
AXI3-
60158 AXI_UNLOCKED_READ_WHILE_
OUTSTANDING_LOCKED_READS Unlocking read transaction started while
outstanding locked read transaction has not
completed. A7.3
AXI3-
60159 AXI_UNLOCKING_TRANSACTION_
WITH_AN_EXCLUSIVE_ACCESS Unlocking transaction cannot be an exclusive
access transaction. A7.3
Table A-1. AXI3 Assertions (cont.)