Verissimo SystemVerilog Testbench Linter User Guide
Rev. 24.1.12, 12 June 2024

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/ -gen_rulepool_doc

This will dump an HTML file with all available rules:

To see the new rules added to Verissimo starting with a specific date you can run the following command:

$DVT_HOME/bin/ -gen_rulepool_doc -since <yyyy-MM-dd>

The date format must have the format yyyy-MM-dd, for example for 20th of January, 2019 use 2019-01-20