Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite - Manual (Page 376)

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 376
AXI4-Lite Assertions
April 2014
AXI4-
60095 AXI4_EX_WRITE_OKAY_RESP_
EXPECTED_EXOKAY An AXI4_OKAY response to an
exclusive write occurred but an
AXI4_EXOKAY response had been
expected. If the slave has multiple
interfaces to the system this check
should be disabled as it is possible
for this response to occur as a result
of activity on another port. A7.2.2
AXI4-
60096 AXI4_EX_WR_WHEN_EX_NOT_ENABLED An exclusive write should not be
issued when exclusive transactions
are not enabled.
AXI4-
60097 AXI4_ILLEGAL_ARCACHE_VALUE_FOR_
CACHEABLE_ADDRESS_REGION For a read from a cacheable address
region one of bits 2 or 3 of the cache
parameter must be HIGH. A4.5
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
Table A-1. AXI4 Assertions (cont.)
Error
Code Error Name Description Property
Ref