Verissimo SystemVerilog Testbench Linter User Guide
Rev. 24.1.15, 10 July 2024

Chapter 9. Lint Waivers

Waivers are used to hide, demote or promote linting failures.

Pre-waivers are used to exclude from linting, parts of the code by the path or by the element types (modules, interfaces, ...) contained in the files. They are useful for excluding 3rd party IPs or libraries included in the compilation and will reduce the total linting time without affecting the correctness of the results in the non-waived code. Pre-waivers can also be added on a per-check basis inside the ruleset XML file.

Waivers and pre-waivers can be created using Lint Waivers Editor from the graphical interface or by manually editing a waivers.xml file. Also, inline waivers are supported, by surrounding the part of the code with comments containing a pragma that defines the waiver properties or by adding a single pragma on a specific line.


For editing waivers file it is recommended to use the Lint Waivers Editor.

Hits inside macros are not waived unless the waiver covers the code lines where the macro is used.