How to Run in Batch Mode

Specador can be invoked in batch mode using the specador.sh script from the DVT (Design and Verification Tools) distro.

Examples

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

$ $DVT_HOME/bin/specador.sh -lang vhdl -cmd /path/to/file_list.f -preferences /path/to/specador_preferences.xml

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

Code	Description
0	Execution completed successfully.
1	A compilation failure or internal error occurred.
2	Invalid usage or unsupported/incorrect arguments were provided.
3	A required external dependency is missing (e.g., `make` or `latexmk` for PDF generation).

-cmd FILE: Compile using the specified compilation arguments file. If not specified, compilation arguments are automatically detected by scanning the current working directory for source files.

-lang (vlog|vhdl|elang): Specify the language of your project. This argument can be specified multiple times for mixed-language projects.

-gen_preferences_xml: Generate an XML file with all supported preferences and their default value.

-preferences FILE: Use the preferences specified in the XML file to customize the generated documentation.

-title TITLE: Use specified title. It has precedence over the title specified by preferences.

-pdf: Set the output format to PDF.

Note

When generating documentation in PDF format, latexmk, texlive-luatex and texlive-formats-extra packages are required as dependencies.

-attach DIR: Provide a path containing files to be included in the generation process.

-diagram_generation_timeout SECONDS: Increase the timeout when generating a diagram (default: 30 seconds).

-diagram_layout_attempts ATTEMPTS: Increase the layout attempts when generating a diagram (default: 3 attempts).

-compile_waivers FILE: Waive compilation errors using the waivers specified in the XML file.

-print_all_compile_problems: Print all compile problems. Include waived problems if used with -print_compile_waivers_info.

-print_compile_waivers_info: Prints how many problems each compile waiver has matched.

-stack_size SIZE: Set the Java thread stack size (syntax is <N>[g|G|m|M|k|K]). Default is 4m.

-heap_size SIZE: Set the Java heap size (syntax is <N>[g|G|m|M|k|K]) (default is 3072m).

-license_queue_timeout TIMEOUT: Maximum time in seconds to wait in queue for a license when one is not available.