Verissimo SystemVerilog Testbench Linter User Guide
Rev. 18.1.47, 15 February 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: