- Available Rules
- Run in Batch Mode
- > Run in GUI Mode
- Compile Arguments
- Auto-config
- Emulating compiler invocations
- Compatibility Modes
- Paths
- Strings
- Comments
- Environment Variables
- Including Other Argument Files
- All Build Directives
- SystemVerilog OVM or UVM Library Compilation
- Xilinx Libraries Compilation
- Intel(Altera) Quartus Libraries Compilation
- Questa Libraries Compilation
- Use of External Programs
- HTML Report
- HTML Progress Report
- Custom Report
- Rulesets
- Lint Waivers
- Compile Waivers
- Report Merging, Diffing and Comparing
- Auto-correct
- API for Writing Custom Rules
- Memory Monitor
- Application Notes
- Q & A
- What is New?
- Legal Notices
- Third Party Licenses
To launch a linting session for your project, select a project in the Navigator View then click the SV Lint button in the toolbar of the DVT Perspective, and choose Lint With -> Custom Ruleset
The Edit Lint Configuration dialog will pop-up. You can define as many lint configurations as you need. Chose Lint With -> Lint Configurations... to see all the available lint configurations.
A lint configuration is defined by:
The Linting Mode. Whether you would like to run Verissimo on a project level or just for a file. You also have the ability to select to be asked each time what Verissimo should lint or for it to detect automatically from the current selection.
The Project. It is filled in automatically with the selected project in the Navigator View.
The Ruleset XML. Mandatory for a Custom lint session. Note: The same UI works for defining XVM Compliance or All Rules/Verissimo lint configurations.
The Waivers XML. Optional, by default waivers are serialized in the project's .dvt folder.
The Manual Checks Status XML. Optional, by default notes are serialized in the project's .dvt folder.
If you want to lint only the currently selected file, set the Linting mode dropdown to Lint the current file. Verissimo will define a pre-waiver that will match all the other files and will run with it, in this way only the selected file will be analyzed and the other files from the project will be ignored. When running in this mode Verissimo does not need to perform a full build of the project, instead it does an incremental compilation of the selected file.
When linting only the currently selected file the Verissimo GUI report will not be generated, however the linting failures will be added to the Problems View and the markers for the file will be added in the editor.
Lint configurations can be serialized on the disk and shared with the team. In the snapshot below a MyGuidelines.launch XML file is created in project's .dvt folder.
To generate a HTML Ruleset Doc or a XML Ruleset, go to the Verissimo menu and choose one of the sets of rules for which the document is generated.
