Verissimo SystemVerilog Linter - How to Lint Incrementally Using the DVT Eclipse IDE

Overview

This video shows how you can use the integration between DVT Eclipse IDE and Verissimo SystemVerilog Linter to incrementally fix linting failures and achieve nearly instant turnaround time.

The next level for lint failures fixing speed-up is Verissimo auto-correct: https://youtu.be/m4HIsH1uUbQ

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

This video was shot using DVT 21.1.26.

Details

Linting Incrementally Using the DVT Eclipse IDE

Fixing Verissimo failures within the DVT Eclipse IDE is much faster than using a plain text editor and re-running the linter in batch mode. Incremental compilation and the ability to selectively re-run checks significantly cuts down linting time. Furthermore, you benefit from all the advanced code editing, debugging, navigation and visualization capabilities of the IDE.

Running Verissimo with a Custom Ruleset

Now let's run Verissimo with a custom ruleset. Notice the failures in the Checks tab. To fix this failure, let's check the $cast operation result and print an error message. To validate the fix, let's right-click on the check and select Reapply Check. Notice that Verissimo does not recompile the whole project, but relies instead on the incrementally updated project database. Furthermore, a single check is executed, and almost instant turnaround is achieved.

Reapplying All Failed Checks

Similarly, you can reapply all the failed checks; for instance, if you perform several fixes for multiple checks, or reapply all checks. In this particular case, notice that our fix happened to break another check. Let's replace the call to $display with a UVM reporting macro call. ReapplyAll confirms that no other failures have been introduced.

By the way, speaking of lint failures fixing speedup, some of the rules can be automatically corrected by Verissimo.