Verissimo SystemVerilog Testbench Linter User Guide
Rev. 21.1.2, 18 January 2021
| 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:
![]()
To see the new rules added to Verissimo starting with a specific date you can run the following command: $DVT_HOME/bin/verissimo.sh -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 |