Chapter 2. How to Run

Specador can be invoked in batch mode by running:

$DVT_HOME/bin/specador.sh ...

Examples:

$> specador.sh -lang vlog -cmd /path/to/simulation.f -title "MY CHIP"

$> specador.sh -lang vhdl -cmd /path/to/file_list.f -preferences /path/to/dvt_export_html.xml

$> specador.sh -lang e -ignore_compile_errors -cmd irun.args -title "USB 3.0 uVC"

Arguments

-lang e|vlog|vhdl
The source code language: e Language, SystemVerilog or VHDL.
-cmd <file>
The compilation command file.
[-ignore_compile_errors]
Ignore compile errors and continue.
[-preferences <XML file>]
Use preferences specified in the XML file.
[-gen_preferences_xml]
Generate an XML file with all supported preferences.
[-menu <XML file>]
Use menu specified in the XML file. It has precedence over the html menu specified by preferences.
[-title <title>]
Use specified title. It has precedence over the title specified by preferences.
[-print_compile_waivers_info ]
Optional. Prints how many problems each compile waiver has matched.

NOTE: When generating HTML documentation in GUI mode, a specador_preferences.xml settings file is saved in the project's .dvt directory.