
SystemVerilog AXI3 and AXI4 Slave BFMs
SystemVerilog Slave API
Mentor VIP AE AXI3/4 User Guide, V10.2b
75
September 2013
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.
Comentarios a estos manuales