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

Mentor VIP AE AXI3/4 User Guide, V10.2b 665
September 2013
Appendix A
Assertions
AXI3 Assertions
The AXI3 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
Table A-1 under the
Property Reference column. The reference number refers to the section number in the AMBA
AXI Protocol Specification.
Table A-1. AXI3 Assertions
Error
Code Error Name Description Property
Ref
AXI3-
60000 AXI_ARESETn_SIGNAL_Z ARESETn has a Z value.
AXI3-
60001 AXI_ARESETn_SIGNAL_X ARESETn has an X value.
AXI3-
60002 AXI_ACLK_SIGNAL_Z ACLK has a Z value.
AXI3-
60003 AXI_ACLK_SIGNAL_X ACLK has an X value.
AXI3-
60004 AXI_ADDR_FOR_READ_
BURST_ACROSS_4K_BOUNDARY This read transaction has crossed a 4KB
boundary. A3.4.1
AXI3-
60005 AXI_ADDR_FOR_WRITE_
BURST_ACROSS_4K_BOUNDARY This write transaction has crossed a 4KB
boundary. A3.4.1
AXI3-
60006 AXI_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
AXI3-
60007 AXI_ARADDR_UNKN ARADDR has an X or Z value. A2.5
AXI3-
60008 AXI_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
AXI3-
60009 AXI_ARBURST_UNKN ARBURST has an X or Z value. A2.5