
SystemVerilog Slave BFM
Slave BFM Configuration
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3
45
April 2014
A slave BFM has configuration fields that you can set using the set_config() function to
configure timeout factors, setup and hold times, and so on. You can also get the value of a
configuration field with the get_config() function. Table 4-2 lists the configuration fields.
1.
Refer to Slave Timing and Events for details of simulator time-steps.
Table 4-2. Slave BFM Configuration
Configuration Field Description
Timing Variables
AXI4STREAM_CONFIG_SETUP_TIME The setup-time prior to the active
edge of ACLK, in units of
simulator time-steps for all
signals.
1
Default: 0.
AXI4STREAM_CONFIG_HOLD_TIME The hold-time after the active
edge of ACLK, in units of
simulator time-steps for all
signals.
1
Default: 0.
AXI4STREAM_CONFIG_BURST_TIMEOUT_FACTOR The maximum delay permitted
between the individual transfer
transactions in clock cycles.
Default: 10000.
AXI4STREAM_CONFIG_MAX_LATENCY_TVALID_
ASSERTION_TO_TREADY
The maximum delay permitted
between the assertion of
TVALID to the assertion of
TREADY. Default: 10000.
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 Slave Assertions for
details
0 = disabled
1 = enabled (default)
Comentarios a estos manuales