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

Mentor Verification IP AE AXI4-Lite User Guide, V10.3 369
April 2014
Appendix A
AXI4-Lite Assertions
The AXI4-Lite master, slave, and monitor BFMs all support error checking with the firing of
one or more assertions when a property defined in the AMBA AXI Protocol Specification has
been violated. Each assertion can be individually enabled/disabled using the set_config()
function for a particular BFM. The property covered for each assertion is noted in under the
Property Reference column. The reference number refers to the section number in the AMBA
AXI Protocol Specification.
Note
The AXI4-Lite BFM assertions cover the full AXI4 protocol.
Table A-1. 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.