Altera Avalon Verification IP Suite - Manual (Page 67)

5–4 Chapter 5: Avalon-MM Monitor
Application Program Interface
Avalon Verification IP Suite User Guide May 2011 Altera Corporation
Application Program Interface
This section describes the API for the Avalon-MM Monitor.
Assertion Checking
For assertion checking, the enable_waitrequest_timeout method enables the logic
that verifies that the waitrequest signal is asserted for fewer cycles than the
waitrequest timeout period. If the timeout period is violated, an error message
displays on the console running the simulation. Error flags are also displayed in the
waveform viewer. By default all assertions are enabled. However, depending on the
parameterization of the Avalon-MM interface, some assertions are automatically
disabled. For example, you might have to turn off some assertion checking to avoid
the monitors generating error messages when injecting protocol errors to test the
Avalon-MM component’s error handling capability. The names of all methods that
enable assertions begin with
set_enable_a . By default, if your testbench includes the
Avalon-MM monitor, the checking function is enabled. You can disable checking with
the
DISABLE_ALTERA_AVALON_SIM_SVA macro.
set_enable_a_address_align_with_data_width()
set_enable_a_beginbursttransfer_exist()
set_enable_a_beginbursttransfer_legal()
Prototype: set_enable_a_address_align_with_data_width().
Arguments: Boolean .
Returns: void .
Description: Enables an assertion that ensures the byte address that the master uses is
aligned with the data width.
Prototype: set_enable_a_beginbursttransfer_exist().
Arguments: Boolean .
Returns: void .
Description: Enables an assertion that ensures beginbursttransfer is asserted
during a transfer. It is disabled when beginbursttransfer is not used.
Prototype: set_enable_a_beginbursttransfer_legal().
Arguments: Boolean .
Returns: void .
Description: Enables an assertion that ensures beginbursttransfer is asserted with
a read or write signal. It is disabled when beginbursttransfer is not
used.