Verissimo SystemVerilog Testbench Linter
Thorough audit of your test benches
Verissimo SystemVerilog Testbench Linter is a static code analysis tool that allows engineers to perform a thorough audit of their testbenches. It enables users to easily identify improper SystemVerilog language, semantics, and styling usage, as well as verification methodology violations.
Verissimo offers a comprehensive library of generic SystemVerilog and Universal Verification Methodology (UVM) rules. In addition, users can customize the existing rules by tuning their parameters or can create custom rule sets by selecting those that correspond to their particular requirements. Verification groups that need their own rules can use the dedicated Java application programming interface (API) delivered with the linter. The API allows users to query the linter’s internal database to find the relevant information and create new rules. A report generator is available to save the results of a linting session as a text or HTML file.
AMIQ’s linter runs both in GUI and batch modes. In the GUI mode, the Verissimo linter integrates with the Design and Verification Tools (DVT) integrated development environment (IDE). Users can perform linting and then visualize the results on the DVT GUI, which offers an effective way to read and understand the error and warning messages.
With the DVT IDE, the messages can also be easily sorted and filtered by category, severity, and source location. In addition, DVT’s code navigation features such as hyperlinks, allow users to jump directly to the problematic source line to fix the issue flagged by the linter. Users can also annotate rules and share the notes with the team.
In short, the Verissimo linter enables verification engineers to improve testbench code reliability and maintainability and implement best coding practices.
- Comprehensive library of generic SystemVerilog and UVM built-in checks
- Custom rule set configuration
- API for creating new custom checks
- Rule severity adjustment
- Waivers for exceptions and irrelevant failures
- Rule annotation
- Message filtering by source, category, and severity
- Text or HTML analysis reports
- Batch or GUI mode
- Integration with the DVT Eclipse IDE (GUI mode)