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

Mentor VIP AE AXI3/4 User Guide, V10.2b 686
Assertions
AXI4 Assertions
September 2013
AXI4-
60098 AXI4_ILLEGAL_ARCACHE_VALUE_FOR_
NON_CACHEABLE_ADDRESS_REGION For a read from a non-cacheable
address region bits 2 and 3 of the
cache parameter must be LOW. A4.5
AXI4-
60099 AXI4_ILLEGAL_AWCACHE_VALUE_FOR_
CACHEABLE_ADDRESS_REGION For a write to a cacheable address
region one of bits 2 or 3 of the cache
parameter must be HIGH. A4.5
AXI4-
60100 AXI4_ILLEGAL_AWCACHE_VALUE_FOR_
NON_CACHEABLE_ADDRESS_
REGION For a write to a non-cacheable
address region bits 2 and 3 of the
cache parameter must be LOW. A4.5
AXI4-
60101 AXI4_ILLEGAL_LENGTH_FIXED_READ_
BURST In the last read address phase
burst_length has an illegal value for
a burst of type AXI4_FIXED A3.4.1
AXI4-
60102 AXI4_ILLEGAL_LENGTH_FIXED_WRITE_
BURST In the last write address phase
burst_length has an illegal value for
a burst of type AXI4_FIXED A3.4.1
AXI4-
60103 AXI4_ILLEGAL_LENGTH_WRAPPING_READ_
BURST In the last read address phase
burst_length has an illegal value for
a burst of type AXI4_WRAP A3.4.1
AXI4-
60104 AXI4_ILLEGAL_LENGTH_WRAPPING_
WRITE_BURST In the last write address phase
burst_length has an illegal value for
a burst of type AXI4_WRAP A3.4.1
AXI4-
60105 AXI4_ILLEGAL_RESPONSE_
EXCLUSIVE_READ Response for an exclusive read
should be either AXI4_OKAY or
AXI4_EXOKAY.
AXI4-
60106 AXI4_ILLEGAL_RESPONSE_
EXCLUSIVE_WRITE Response for an exclusive write
should be either AXI4_OKAY or
AXI4_EXOKAY.
AXI4-
60107 AXI4_INVALID_REGION_CARDINALITY The configuration parameter
config_slave_regions does not lie in
the range 1-16 inclusive A8.2.1.
AXI4-
60108 AXI4_INVALID_WRITE_STROBES_ON_
ALIGNED_WRITE_TRANSFER Write strobe(s) incorrect for
address/size of an aligned
transaction A3.4.3
AXI4-
60109 AXI4_INVALID_WRITE_STROBES_ON_
UNALIGNED_WRITE_TRANSFER Write strobe(s) incorrect for
address/size of an unaligned
transaction A3.4.3
AXI4-
60110 AXI4_MINIMUM_SLAVE_ADDRESS_
SPACE_VIOLATION The minimum address space
occupied by a single slave device is
4 kilobytes A10.3.2
AXI4-
60111 AXI4_NON_INCREASING_REGION_
SPECIFICATION A region address-range has an
upper bound smaller than the lower
bound.
AXI4-
60112 AXI4_NON_ZERO_ARQOS The master is configured to not
participate in the Quality-of-Service
scheme but ARQOS is not 4'b0000
as it should be A8.1.2
Table A-2. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref