Verissimo SystemVerilog Testbench Linter User Guide
Rev. 20.1.33, 28 September 2020
Go to Product Page
Prev  Home Next Up 

3.1 From the Command Line

Verissimo can be invoked in GUI mode by running:

$DVT_HOME/bin/dvt_sv_lint_gui.sh ...

Main Use Cases

  • Run a specific ruleset

dvt_sv_lint_gui.sh
  -workspace ~/tmp/my_workspace
  -projectpath ~/tmp/my_project
  -cmd my_compile.args
  -force -start_linting

Arguments

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.
Prev  Home Next Up