- Available Rules
- Run in Batch Mode
- > Run in GUI Mode
- Compile Arguments
- Auto-config
- Emulating compiler invocations
- Compatibility Modes
- Paths
- Strings
- Comments
- Environment Variables
- Including Other Argument Files
- All Build Directives
- SystemVerilog OVM or UVM Library Compilation
- Xilinx Libraries Compilation
- Intel(Altera) Quartus Libraries Compilation
- Questa Libraries Compilation
- Use of External Programs
- HTML Report
- HTML Progress Report
- Custom Report
- Rulesets
- Lint Waivers
- Compile Waivers
- Report Merging, Diffing and Comparing
- Auto-correct
- API for Writing Custom Rules
- Memory Monitor
- Application Notes
- Q & A
- What is New?
- Legal Notices
- Third Party Licenses
The waivers tab can be used to add, remove, edit and inspect waivers and pre-waivers.
There are three types of waivers:
Manually defined waivers
Manually defined pre-waivers
Inline waivers (collected from code)
Waivers are used to change the status of the failures or remove the failures that are matched. Pre-waivers are used to exclude files from linting, therefore reducing the total linting time.
Manually defined waivers can be created using New... button from the Waivers tab. The Lint Waivers Editor dialog offers an easy way to configure a waiver. The parameters that can be configured are:
Waiver Name: an unique name for the waiver
Waiver File: the file where the waiver will be saved (from the waivers include tree)
Apply on: the scope of the waiver (it applies on matched or non matched failures)
Status: the status that will be applied to the matched failures
Paths: the file paths on which this waiver applies to
Check Names: the name of the checks this waiver applies to
Line Ranges: the line, or line ranges (StartLine:EndLine) this waiver must match
Message Patterns: the regular expression this waiver must match (Perl-like or simple regular expression)
The status option can be set to:
DISABLED: failures are removed
ERROR: failures are reported as errors
WARNING: failures are reported as warnings
INFO: failures are reported as info
The waiver will match a failure if all defined parameters match the failure properties (the check that generated the failure, line, file, or message). If a parameter is empty (not defined) it will match any value.
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
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
