Verissimo SystemVerilog Testbench Linter User Guide
Rev. 23.1.3, 31 January 2023

3.7.2 Pre-Waivers Editor

Manually defined pre-waivers can be created using New... button from the Waivers tab and setting the Waiver Type to PRE-WAIVER. The parameters that can be configured are:

  • Waiver Name: an unique name for the pre-waiver

  • Waiver File: the file where the pre-waiver will be saved (from the waivers include tree)

  • Apply on: the scope of the pre-waiver (it applies on matched or non matched paths)

  • Paths: the paths on which this waiver applies to

  • Elements: the elements used to obtain a set of files that will be pre-waived; files containing only such elements and all the files included in the scope of those elements will be pre-waived