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

Assertions
AXI4 Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 679
September 2013
a particular BFM. The property covered for each assertion is noted in Table A-2 under the
Property Reference column. The reference number refers to the section number in the AMBA
AXI Protocol Specification.
Note
Table A-2. AXI4 Assertions
Error
Code Error Name Description Property
Ref
AXI4-
60000 AXI4_ADDRESS_WIDTH_EXCEEDS_64 AXI4 supports up to 64-bit
addressing. A10.3.1
AXI4-
60001 AXI4_ADDR_FOR_READ_BURST_
ACROSS_4K_BOUNDARY This read transaction has crossed a
4KB boundary. A3.4.1
AXI4-
60002 AXI4_ADDR_FOR_WRITE_BURST_
ACROSS_4K_BOUNDARY This write transaction has crossed a
4KB boundary. A3.4.1
AXI4-
60003 AXI4_ARADDR_CHANGED_BEFORE_
ARREADY The value of ARADDR has changed
from its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60004 AXI4_ARADDR_FALLS_IN_REGION_
HOLE The ARADDR value cannot be
decoded to a region in the region
map. A8.2.1
AXI4-
60005 AXI4_ARADDR_UNKN ARADDR has an X value/ARADDR
has a Z value.
AXI4-
60006 AXI4_ARBURST_CHANGED_BEFORE_
ARREADY The value of ARBURST has
changed from its initial value
between the time ARVALID was
asserted and before ARREADY was
asserted. A3.2.1
AXI4-
60007 AXI4_ARBURST_UNKN ARBURST has an X
value/ARBURST has a Z value.
AXI4-
60008 AXI4_ARCACHE_CHANGED_BEFORE_
ARREADY The value of ARCACHE has
changed from its initial value
between the time ARVALID was
asserted and before ARREADY was
asserted. A3.2.1
AXI4-
60009 AXI4_ARCACHE_UNKN ARCACHE has an X
value/ARCACHE has a Z value.
AXI4-
60010 AXI4_ARID_CHANGED_BEFORE_ARREADY The value of ARID has changed from
its initial value between the time
ARVALID was asserted and before
ARREADY was asserted. A3.2.1
AXI4-
60011 AXI4_ARID_UNKN ARID has an X value/ARID has a Z
value.