Altera Mentor Verification IP Altera Edition AMBA AXI4-St Bedienungsanleitung PDF herunterladen (Seite 125)

VHDL Slave BFM

Slave Assertions

Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3

125

April 2014

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

1 2 ... 120 121 122 123 124 125 126 127 128 129 130 ... 230 231

Keine Kommentare

Altera Mentor Verification IP Altera Edition AMBA AXI4-St Bedienungsanleitung Seite 125