Verissimo SystemVerilog Testbench Linter User Guide
Rev. 21.1.8, 1 March 2021

Verissimo SystemVerilog Testbench Linter User Guide

Table of Contents

1. Available Rules
2. Run in Batch Mode
3. Run in GUI Mode
3.1. From the Command Line
3.2. From the DVT Eclipse IDE
3.3. Main Tab
3.4. Architecture Tab
3.5. Checks Tab
3.6. Waivers Tab
3.6.1. Waivers Editor
3.6.2. Pre-Waivers Editor
3.6.3. Inline Waivers
3.7. Problems View Integration
4. Compile Arguments
4.1. Auto-config
4.2. Emulating compiler invocations
4.3. Compatibility Modes
4.3.1. Default DVT Compatibility Mode
4.3.2. gcc Compatibility Mode
4.3.3. ius.irun Compatibility Mode
4.3.4. ius.perspec Compatibility Mode
4.3.5. questa.vcom Compatibility Mode
4.3.6. questa.vlog Compatibility Mode
4.3.7. vcs.vhdlan Compatibility Mode
4.3.8. vcs.vlogan Compatibility Mode
4.3.9. xcelium.xrun Compatibility Mode
4.4. Paths
4.5. Strings
4.6. Comments
4.7. Environment Variables
4.8. Including Other Argument Files
4.9. All Build Directives
4.10. SystemVerilog OVM or UVM Library Compilation
4.11. Xilinx Libraries Compilation
4.12. Intel(Altera) Quartus Libraries Compilation
4.13. Questa Libraries Compilation
4.14. Use of External Programs
5. HTML Report
6. HTML Progress Report
7. Custom Report
7.1. Custom Report Examples
8. Rulesets
8.1. Ruleset File Syntax (XML)
8.2. Ruleset File Examples
8.3. Compilation Rules
8.3.1. Semantic Checks
8.3.2. Non Standard Checks
9. Lint Waivers
9.1. Lint Waivers File Syntax (XML)
9.2. Lint Waivers File Example
9.3. Lint Waivers GUI
9.4. Inline Lint Waivers
10. Compile Waivers
11. Report Merging, Diffing and Comparing
11.1. Merge Example
11.2. Diff Example
11.3. Compare Example
12. Auto-correct
13. API for Writing Custom Rules
14. Q & A
14.1. How to use special characters in XML?
14.2. What regular-expression constructs are supported?
15. What is New?
16. Legal Notices
17. Third Party Licenses