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

SystemVerilog AXI3 and AXI4 Slave BFMs
SystemVerilog Slave API
Mentor VIP AE AXI3/4 User Guide, V10.2b 75
September 2013
Note
Do not confuse the AXI4_CONFIG_ENABLE_ASSERTION bit vector with the
AXI4_CONFIG_ENABLE_ALL_ASSERTIONS global enable/disable.
To re-enable the AXI4_LOCK_CHANGED_BEFORE_AWREADY assertion, follow the above
code sequence and assign the assertion in the AXI4_CONFIG_ENABLE_ASSERTION bit vector
to 1.
For a complete listing of AXI4 assertions, refer to “AXI4 Assertions” on page 678 .
SystemVerilog Slave API
This section describes the SystemVerilog Slave API.