Slave assertions – Altera Mentor Verification IP Altera Edition AMBA AXI4-Lite User Manual
Page 216

Mentor Verification IP AE AXI4-Lite User Guide, V10.3
216
VHDL Slave BFM
Slave Assertions
April 2014
1.
Refer to
for details of simulator time-steps.
Slave Assertions
The slave BFM performs protocol error checking via built-in assertions.
AXI4
_
CONFIG_MAX_OUTSTANDING_WR
Configures the maximum number of
outstanding write requests from the
master that can be processed by the
slave. The slave back-pressures the
master by setting the signal
AWREADY=0b0 if this value is
exceeded.
Default = 0.
AXI4
_
CONFIG_MAX_OUTSTANDING_RD
Configures the maximum number of
outstanding read requests from the
master that can be processed by the
slave. The slave back-pressures the
master by setting the signal
ARREADY=0b0 if this value is
exceeded.
Default = 0.
AXI4
_
CONFIG_NUM_OUTSTANDING_WR_
PHASE
Holds the number of outstanding write
phases from the master that can be
processed by the slave.
Default = 0.
AXI4
_
CONFIG_NUM_OUTSTANDING_RD_
PHASE
Holds the number of outstanding read
phases to the master that can be
processed by the slave.
Default = 0.
Error Detection
AXI4_CONFIG_ENABLE_ALL_
ASSERTIONS
Global enable/disable of all assertion
checks in the BFM.
0 = disabled
1 = enabled (default)
AXI_CONFIG_ENABLE_ASSERTION
Individual enable/disable of assertion
check in the BFM.
0 = disabled
1 = enabled (default)
Table 9-2. Slave BFM Configuration (cont.)
Configuration Field
Description