Altera Mentor Verification IP Altera Edition AMBA AXI3/4TM - Manual (Page 369)

VHDL AXI3 and AXI4 Slave BFMs
Slave Assertions
Mentor VIP AE AXI3/4 User Guide, V10.2b 349
September 2013
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.
AXI_CONFIG_SLAVE_DEFAULT_UNDER_RESET (AXI3) The slave BFM drives the BVALID
and RVALID signals low during reset. Refer
to the AMBA AXI Protocol specification for
more details.
0 = false (default)
1 = true
**_CONFIG_SLAVE_START_ADDR Configures the start address map for the
slave.
**_CONFIG_SLAVE_END_ADDR Configures the end address map for the
slave.
**_CONFIG_READ_DATA_REORDERING_DEPTH The slave read reordering depth. Refer to
the AMBA AXI Protocol specification for
more details. Default: 1.
**_CONFIG_MAX_OUTSTANDING_WR Configures the maximum number of
outstanding write requests from the master
which can be processed by the slave. The
slave will back-pressure the master by
setting the signal AWREADY=0b0 if this
value is exceeded.
**_CONFIG_MAX_OUTSTANDING_RD Configures the maximum number of
outstanding read requests from the master
which can be processed by the slave. The
slave will back-pressure the master by
setting the signal ARREADY=0b0 if this
value is exceeded.
Error Detection
**_CONFIG_ENABLE_ALL_ASSERTIONS Global enable/disable of all assertion checks
in the BFM.
0 = disabled
1 = enabled (default)
**_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
Timing Variables