Verissimo SystemVerilog Testbench Linter User Guide
Rev. 20.1.41, 20 November 2020
- 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
- Custom Report
- Rulesets
- Lint Waivers
- Compile Waivers
- Report Merging, Diffing and Comparing
- Auto-correct
- API for Writing Custom Rules
- Q & A
- What is New?
- Legal Notices
- Third Party Licenses
Table of Contents
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.
