Verissimo SystemVerilog Testbench Linter User Guide
Rev. 23.1.12, 23 May 2023
- > 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
A list of available rules can be obtained by running Verissimo in batch mode with the following command:
$DVT_HOME/bin/verissimo.sh -gen_rulepool_doc
This will dump an HTML file with all available rules:
To see the new rules added to Verissimo starting with a specific date you can run the following command:
$DVT_HOME/bin/verissimo.sh -gen_rulepool_doc -since <yyyy-MM-dd>
The date format must have the format yyyy-MM-dd, for example for 20th of January, 2019 use 2019-01-20