Verissimo SystemVerilog Testbench Linter - How to Run Verissimo From the Terminal
Description
The Verissimo SystemVerilog Testbench Linter is a coding guideline and verification methodology compliance checker.
This video shows you how to run Verissimo from the terminal, using built-in or custom rulesets, how to create a custom ruleset and how to generate documentation for a ruleset in HTML format.
Explore the design and verification tools: https://www.dvteclipse.com
Or request a license: https://www.dvteclipse.com/request-license
Transcript
Introduction
The Verissimo SystemVerilog Testbench Linter is a coding guideline and verification methodology compliance checker.
Basic Invocation
A simple Verissimo invocation needs a single argument: the actual compilation arguments you would pass to any simulator. Use -cmd to pass the compilation arguments.
Generating Reports
By default, Verissimo runs all available rules and it reports all failures in the console. To generate the report in HTML format, simply add -gen_html_report to the command.
Running a Basic Set of Rules
To run only a basic set of rules, use -basic.
Generating Rule Documentation and Custom Rulesets
To see the HTML documentation for all available rules, use -gen_rulepool_doc. To generate a ruleset containing all available rules, use -gen_rulepool_xml.
You can use the generated ruleset as a basis for your custom ruleset:
- Remove unnecessary rules
- Tune parameterizable rules
- Multiply rules with different parameter values
Running Custom Rulesets
To run your custom ruleset, use -ruleset followed by the path to the ruleset file.
Handling Compilation Errors
If your code doesn't compile without errors, Verissimo stops in order to prevent inaccurate linting. You can use -ignore_compile_errors to force linting even if there are compilation errors.