Verissimo SystemVerilog Testbench Linter User Guide
Rev. 19.1.7, 25 March 2019

Chapter 8. Lint Waivers

Lint waivers are used to demote or promote linting hits or to exclude known linting hits from the report.

Lint 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.

Lint pre-waivers can be used to exclude from linting parts of the code based on the source file path. Using them on internal or 3rd party IPs or libraries will reduce the total linting time without affecting the correcteness of the results on the non-waived code.


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.