Monitor assertions, Example 5-2. monitor bfm disable all assertions – Altera Mentor Verification IP Altera Edition AMBA AXI4-Stream User Manual
Page 58
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3
58
SystemVerilog Monitor BFM
Monitor Assertions
April 2014
1.
Refer to
for details of simulator time-steps.
Monitor Assertions
The monitor BFM performs protocol error checking using 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 monitor BFM. To globally disable them in
the monitor BFM, use the
Example 5-2. Monitor BFM Disable All Assertions
set_config(AXI4STREAM_CONFIG_ENABLE_ALL_ASSERTIONS,0)
Alternatively, you can disable individual built-in assertions by using a sequence of
and
commands on the respective assertion.
assertion checking for the TLAST signal changing between the TVALID and TREADY
handshake signals.
Master Attributes
AXI4STREAM_LAST_DURING_IDLE
Controls the value of TLAST
during idle.
0 = TLAST driven to 0 during
idle (default)
1 = TLAST driven to 1 during
idle
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 Monitor Assertions for
details
0 = disabled
1 = enabled (default)
Table 5-2. Monitor BFM Configuration (cont.)
Configuration Field
Description