Altera Mentor Verification IP Altera Edition AMBA AXI4-Stream - Manual (Page 125)

VHDL Slave BFM
Slave Assertions
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3 125
April 2014
1.
Refer to Slave Timing and Events for details of simulator time-steps.
Slave Assertions
The slave BFM performs protocol error checking via built-in assertions.
Note
The built-in BFM assertions are independent of programming language and simulator.
By default, all built-in assertions are enabled in the slave BFM. To globally disable them in the
slave BFM, use the
set_config() command as shown in Example 9-1 .
Example 9-1. Slave BFM Disable All Assertions
set_config(AXI4STREAM_CONFIG_ENABLE_ALL_ASSERTIONS, 0, bfm_index,
axi4stream_tr_if_0(bfm_index));
Alternatively, you can disable individual built-in assertions by using a sequence of get_config()
and set_config() commands on the respective assertion. Example 9-2 shows how to disable
assertion checking for the TLAST signal changing between the TVALID and TREADY
handshake signals.
Error Detection
AXI4STREAM_CONFIG_ENABLE_ALL_ASSERTIONS Global enable/disable of all
assertion checks in the BFM.
0 = disabled
1 = enabled (default)
AXI4STREAM_CONFIG_ENABLE_ASSERTION Individual enable/disable of an
assertion check in the BFM.
Refer to
Slave Assertions chapter
for details.
0 = disabled
1 = enabled (default)
Table 9-2. Slave BFM Configuration (cont.)
Configuration Field Description