Verissimo SystemVerilog Testbench Linter User Guide
Rev. 19.1.24, 11 July 2019

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. vcs.vlogan Compatibility Mode
4.3.3. vcs.vhdlan Compatibility Mode
4.3.4. ius.irun Compatibility Mode
4.3.5. ius.perspec Compatibility Mode
4.3.6. questa.vlog Compatibility Mode
4.3.7. questa.vcom Compatibility Mode
4.3.8. gcc 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
5. HTML Report
6. Custom Report
6.1. Custom Report Examples
7. Rulesets
7.1. Ruleset File Syntax (XML)
7.2. Ruleset File Examples
7.3. Compilation Rules
7.3.1. Semantic Checks
7.3.2. Non Standard Checks
8. Lint Waivers
8.1. Lint Waivers File Syntax (XML)
8.2. Lint Waivers File Example
8.3. Lint Waivers GUI
8.4. Inline Lint Waivers
9. Compile Waivers
10. Report Merging and Diffing
10.1. Merge Example
10.2. Diff Example
11. Auto-correct
12. API for Writing Custom Rules
13. Q & A
13.1. How to use special characters in XML?
13.2. What regular-expression constructs are supported?
14. What is New?
15. Legal Notices
16. Third Party Licenses