Verissimo SystemVerilog Testbench Linter User Guide
Rev. 23.1.13, 8 June 2023
By default Verissimo lints all the files specified for compilation. Pre-waivers allow you to limit the linting to a subset of relevant files. For example, you would typically use pre-waivers to skip third party IPs.
To get a linted files report you can use Verissimo's LINTED_FILES_TEXT custom report template:
verissimo.sh [...] -gen_custom_report LINTED_FILES_TEXT
When linting is done, Verissimo will generate a file named linted_files_custom_report.txt, containing a list of all the files that have been linted by at least one rule. You can specify the location where you want to generate the report by adding ''-gen_custom_report_location'' on the Verissimo command line.
To further customize the report, you can generate the template file with the following command:
verissimo.sh -gen_custom_report_ftl LINTED_FILES_TEXT
The contents of the predefined template are the following:
<#list linter.getFiles() as file>
After changing the template to match your desired format, pass the modified template file on the Verissimo command line:
verissimo.sh [...] -gen_custom_report /path/to/linted_files_custom_report.txt.ftl