Avalon Verification IP Suite: User Guide

ID 683439
Date 2/17/2022
Document Table of Contents

10.2. Avalon-ST Monitor Assertion Checking API

Assertion checking methods enable and disable protocol assertions to ensure protocol compliance. For example, the enable_a_no_data_outside_packet method enables the assertion that verifies that no data is transmitted between the assertion of the endofpacket and the next startofpacket signals. If a violation is found, an error message is displayed on the console running the simulation. Error flags also are displayed in the waveform viewer.

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.