Verissimo SystemVerilog Testbench Linter User Guide
Rev. 19.1.20, 7 June 2019
- Available Rules
- Run in Batch Mode
- > Run in GUI Mode
- Compile Arguments
- HTML Report
- Custom Report
- Rulesets
- Lint Waivers
- Compile Waivers
- Report Merging and Diffing
- 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.
