Altera Mentor Verification IP Altera Edition AMBA AXI4-Li Manual de usuario Pagina 68

  • Descarga
  • Añadir a mis manuales
  • Imprimir
  • Pagina
    / 413
  • Tabla de contenidos
  • MARCADORES
  • Valorado. / 5. Basado en revisión del cliente
Vista de pagina 67
Mentor Verification IP AE AXI4-Lite User Guide, V10.3
68
SystemVerilog Slave BFM
SystemVerilog Slave API
April 2014
// Get the current value of the assertion bit vector
config_assert_bitvector = bfm.get_config(AXI4_CONFIG_ENABLE_ASSERTION);
// Assign the AXI4_AWADDR_CHANGED_BEFORE_AWREADY assertion bit to 0
config_assert_bitvector[AXI4_AWADDR_CHANGED_BEFORE_AWREADY] = 0;
// Set the new value of the assertion bit vector
bfm.set_config(AXI4_CONFIG_ENABLE_ASSERTION, config_assert_bitvector);
Note
Do not confuse the AXI4_CONFIG_ENABLE_ASSERTION bit vector with the
AXI4_CONFIG_ENABLE_ALL_ASSERTIONS global enable/disable.
To re-enable the AXI4_AWADDR_CHANGED_BEFORE_AWREADY assertion, follow the
above code sequence and assign the assertion within the
AXI4_CONFIG_ENABLE_ASSERTION bit vector to 1. For a complete listing of AXI4-Lite
assertions, refer to “AXI4-Lite Assertions” on page 369.
SystemVerilog Slave API
This section describes the SystemVerilog Slave API.
Vista de pagina 67
1 2 ... 63 64 65 66 67 68 69 70 71 72 73 ... 412 413

Comentarios a estos manuales

Sin comentarios