Verissimo SystemVerilog Testbench Linter User Guide
Rev. 21.1.2, 18 January 2021
Go to Product Page
Available Rules
Run in Batch Mode
>
Run in GUI Mode
From the Command Line
From the DVT Eclipse IDE
Main Tab
Architecture Tab
Checks Tab
Waivers Tab
Waivers Editor
Pre-Waivers Editor
Inline Waivers
Problems View Integration
Compile Arguments
Auto-config
Emulating compiler invocations
Compatibility Modes
Default DVT Compatibility Mode
vcs.vlogan Compatibility Mode
vcs.vhdlan Compatibility Mode
ius.irun Compatibility Mode
ius.perspec Compatibility Mode
questa.vlog Compatibility Mode
questa.vcom Compatibility Mode
gcc Compatibility Mode
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
Custom Report Examples
Rulesets
Ruleset File Syntax (XML)
Ruleset File Examples
Compilation Rules
Semantic Checks
Non Standard Checks
Lint Waivers
Lint Waivers File Syntax (XML)
Lint Waivers File Example
Lint Waivers GUI
Inline Lint Waivers
Compile Waivers
Report Merging, Diffing and Comparing
Merge Example
Diff Example
Compare Example
Auto-correct
API for Writing Custom Rules
Q & A
How to use special characters in XML?
What regular-expression constructs are supported?
What is New?
Legal Notices
Third Party Licenses
Prev
Home
Next
Chapter 3. Run in GUI Mode
Table of Contents
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