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

  • Herunterladen
  • Zu meinen Handbüchern hinzufügen
  • Drucken
  • Seite
    / 231
  • Inhaltsverzeichnis
  • LESEZEICHEN
  • Bewertet. / 5. Basierend auf Kundenbewertungen
Seitenansicht 33
Mentor Verification IP AE AMBA AXI4-Stream User Guide, V10.3
34
SystemVerilog Master BFM
Master Assertions
April 2014
Master Assertions
The master BFM performs protocol error checking using 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 master BFM. To globally disable them in the
master BFM, use the set_config() command as shown in Example 3-2.
Example 3-2. Master BFM Disable All Assertions
set_config(AXI4STREAM_CONFIG_ENABLE_ALL_ASSERTIONS,0)
Alternatively, you can disable individual built-in assertions by using a sequence of get_config()
and set_config() commands on the respective assertion. Example 3-3 shows how to disable
assertion checking for the TLAST signal changing between the TVALID and TREADY
handshake signals.
Example 3-3. Master BFM Individual Assertion Enable/Disable
// 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(AXI4STREAM_CONFIG_ENABLE_ASSERTION);
// Assign the AXI4STREAM_TLAST_CHANGED_BEFORE_TREADY assertion bit to 0
config_assert_bitvector[AXI4STREAM_TLAST_CHANGED_BEFORE_TREADY] = 0;
// Set the new value of the assertion bit vector
bfm.set_config(AXI4STREAM_CONFIG_ENABLE_ASSERTION,
config_assert_bitvector);
Note
Do not confuse the AXI4STREAM_CONFIG_ENABLE_ASSERTION bit vector with
the AXI4STREAM_CONFIG_ENABLE_ALL_ASSERTIONS global enable/disable.
To re-enable the AXI4STREAM_TLAST_CHANGED_BEFORE_TREADY assertion, follow
the code sequence in Example 3-3 and assign the assertion enable within the
AXI4STREAM_CONFIG_ENABLE_ASSERTION bit vector to 1.
For a complete listing of AXI4-Stream assertions, refer to “Assertions” on page 205.
Seitenansicht 33
1 2 ... 29 30 31 32 33 34 35 36 37 38 39 ... 230 231

Kommentare zu diesen Handbüchern

Keine Kommentare