Verissimo SystemVerilog Testbench Linter User Guide
Rev. 19.1.24, 11 July 2019

3.6.3 Inline Waivers

Inline waivers can be inserted in code as comments with the following syntax:

// @DVT_LINTER_WAIVER_START ["NAME"] STATUS [CHECK_1, CHECK_2]
code line
...
code line
// @DVT_LINTER_WAIVER_END ["NAME"]

Where:

  • NAME: is the waiver unique name (optional) and must be enclosed within quotation marks

  • STATUS: is the status applied to the hits (mandatory) and must be one of the valid status values (DISABLE, ERROR, WARNING, INFO)

  • CHECK_1, CHECK_2: is a list of check names (optional) this waiver applies to, if it's not defined the waiver applies to all checks