Verissimo SystemVerilog Testbench Linter User Guide
Rev. 24.1.7, 9 April 2024

15.3 Export list of Linted Files

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>
<#if file.isPreWaivedFor("ALL_CHECKS") != "true" && file != "none">
${file.getName()}
</#if>
</#list>

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