Verissimo SystemVerilog Testbench Linter User Guide
Rev. 21.1.2, 18 January 2021

3.1 From the Command Line

Verissimo can be invoked in GUI mode by running:

$DVT_HOME/bin/ ...

Main Use Cases

  • Run a specific ruleset
  -workspace ~/tmp/my_workspace
  -projectpath ~/tmp/my_project
  -cmd my_compile.args
  -force -start_linting


Argument Description
basic Optional. Run Verissimo basic rules instead of all Verissimo rules
cmd <command_file> Mandatory. Compile using the specified compilation arguments file.
compile_waivers <XML file>Optional. Waive compilation errors using the waivers specified in the XML file. See Compile Waivers.
compliance Optional. Run XVM compliance rules instead of all Verissimo rules.
forceOptional. Used with -cmd to force updating the top files and waivers (in case the top files and, waivers have already been configured).
heap_size <value>Optional. Set the Java heap size. Default is 3072m.
ovmOptional. Run Verissimo OVM lint or OVM compliance (if not specified UVM will be used).
projectpath <dir> Mandatory. Path to the project DVT project.
ruleset <XML file> Optional. XML ruleset file. See Rulesets.
sourcemap <file>Optional. Map file with directories containing the SystemVerilog source files and the map names.
stack_size <value>Optional. Set the Java thread stack size. Default is 4m.
start_linting Optional. Start Verissimo after Eclipse is started and the project configured.
vmargs <args>Optional. Custom vmargs for JVM.
waivers <XML file>Optional. XML waivers file. See Lint Waivers.
workspace <dir> Mandatory. Path to the Eclipse workspace.