10.2. Avalon-ST Monitor Assertion Checking API
By default all assertions are enabled. However, depending on the parameterization of a the Avalon-ST interface, some assertions are automatically disabled. In some circumstances, you may want to disable assertion checking. For example, when injecting protocol errors to test error handling, you may want to disable assertion checking.
The names of all methods that implement assertions begin with set_enable_a. By default, if your testbench includes the Avalon-ST monitor, the checking function is enabled. You can disable checking with the DISABLE_ALTERA_AVALON_SIM_SVA macro.
Did you find the information on this page useful?