Verissimo SystemVerilog Testbench Linter User Guide
Rev. 19.1.12, 19 April 2019

Chapter 1. Available Rules

A list of available rules can be obtained by running Verissimo in batch mode with the following command:

$DVT_HOME/bin/verissimo.sh -gen_rulepool_doc

This will dump an HTML file with all available rules: