Altera Mentor Verification IP Altera Edition AMBA AXI3/4T Bedienungsanleitung PDF herunterladen (Seite 56)

100

101

Mentor VIP AE AXI3/4 User Guide, V10.2b

SystemVerilog AXI3 and AXI4 Master BFMs

Master Assertions

September 2013

set_config(AXI_CONFIG_ENABLE_ALL_ASSERTIONS,0)

Alternatively, individual built-in assertions can be disabled by using a sequence of get_config()

and set_config() commands on the respective assertion. For example, to disable assertion

checking for the AWLOCK signal changing between the AWVALID and AWREADY handshake

signals, use the following sequence of commands:

// Define a local bit vector to hold the value of the assertion bit vector

bit [255:0] config_assert_bitvector;

// Get the current value of the assertion bit vector

config_assert_bitvector = bfm.get_config(AXI_CONFIG_ENABLE_ASSERTION);

// Assign the AXI_LOCK_CHANGED_BEFORE_AWREADY assertion bit to 0

config_assert_bitvector[AXI_LOCK_CHANGED_BEFORE_AWREADY] = 0;

// Set the new value of the assertion bit vector

bfm.set_config(AXI_CONFIG_ENABLE_ASSERTION, config_assert_bitvector);

Note

Do not confuse the AXI_CONFIG_ENABLE_ASSERTION bit vector with the

AXI_CONFIG_ENABLE_ALL_ASSERTIONS global enable/disable.

To re-enable the AXI_LOCK_CHANGED_BEFORE_AWREADY assertion, follow the above

code sequence and assign the assertion in the AXI_CONFIG_ENABLE_ASSERTION bit vector

to 1.

For a complete listing of AXI3 assertions, refer to “AXI3 Assertions” on page 665.

1 2 ... 51 52 53 54 55 56 57 58 59 60 61 ... 782 783

Kommentare zu diesen Handbüchern

Keine Kommentare

Altera Mentor Verification IP Altera Edition AMBA AXI3/4T Bedienungsanleitung Seite 56

Kommentare zu diesen Handbüchern

Verwandte Produkte und Handbücher für Messgeräte Altera Mentor Verification IP Altera Edition AMBA AXI3/4T