Verissimo SystemVerilog Testbench Linter - How to Use Lint Waivers

Description

This video shows you how to use Verissimo lint waivers: how to waive a particular failure, all failures in a file or a check altogether.

Explore the design and verification tools: https://www.dvteclipse.com
Or request a license: https://www.dvteclipse.com/request-license

Transcript

Introduction

Lint waivers allow you to disable specific checks or change the severity of failures. You can easily create a lint waivers XML file from the DVT Eclipse IDE.

Disabling Specific Checks

In the Verissimo lint report, go to the Checks tab, right-click on a check in the Checks tree, and choose Add Waiver for Check. Click OK and notice that the check status has changed to Disabled. Checks disabled this way will not be executed during linting.

Waiving a Particular Failure

To waive a particular failure, simply right-click on it in the Failures table and choose Add Code Waiver for Failure. Let's turn this into a warning. Click OK and notice that a pragma comment has been embedded next to the faulty code. Reapply linting and notice that the severity of this particular failure is now warning.

Waiving All Failures in a File

To waive all failures in a file, right-click and choose Add Waiver for Failure. The file, check, message pattern, and line number are automatically filled in. Simply delete the pattern and line ranges, and the waiver will match all failures of this check in the same file.

If multiple matching criteria are specified, all of them have to match the failure for the waiving to be applied. However, if unspecified, they do not count against the matching algorithm. Click OK and notice the waiving effect.

Storing and Using Waivers

All the waivers we created are stored in the Verissimo Waivers XML file. You can also use this waivers file when running Verissimo in batch mode.