Verissimo SystemVerilog Testbench Linter - How to Run Verissimo From the Terminal

Overview

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

Details

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.