Verissimo SystemVerilog Testbench Linter User Guide
Rev. 23.1.12, 23 May 2023

3.2.5 Generate and Open Resources

As soon as linting is done, you can generate a HTML Report, a Ruleset Documentation or a Rulepool Documentation.

Use the "DVT: Verissimo Linter..." command and select one of the following:

  1. (Generate and) Open HTML Report.

  2. Generate and Open Ruleset Documentation. Generates the documentation of the currently used ruleset.

  3. Generate and Open Rulepool Documentation. Generates the documentation of all the available Verissimo rules.

To inspect and change the current Ruleset XML or Waivers XML files, use the "DVT: Verissimo Linter..." command and select one of the following:

  1. Open Ruleset File.

  2. Open Waivers File.

Note: Whenever the current ruleset/waivers file is modified, a notification will be displayed in the status bar.