Board_signal_integrity[=on|off, Board_symbol[=on|off, Board_timing[=on|off – Altera Quartus II Scripting User Manual
Page 55: Formal_verification[=on|off, Format=

Chapter 2: Command-line Executables
2–29
quartus_eda
© July 2013
Altera Corporation
Quartus II Scripting Reference Manual
The exact type of output file(s) are specified by the secondary options --format=bsdl, and
--output_directory The --output_directory option is optional.
--board_signal_integrity[=on|off]
A top-level option that indicates that all other options specified on the command line are meant for board
level signal integrity related file generation.
The exact type of output file(s) are specified by the secondary options --format=ibis and --format=hspice,
and --output_directory The --output_directory option is optional.
--board_symbol[=on|off]
A top-level option that indicates that all other options specified on the command line are meant for board
level symbol related file generation.
The exact type of output file(s) are specified by the "--tool=viewdraw" and "--output_directory" options.
The --output_directory option is optional.
--board_timing[=on|off]
A top-level option that indicates that all other options specified on the command line are meant for board
level timing related file generation.
The exact type of output file(s) are specified by the "--format=stamp" and "--output_directory" options.
The --output_directory option is optional.
--formal_verification[=on|off]
A top-level option that indicates that all other options specified on the command line are meant for formal
verification-related file generation.
The exact type of output file(s) are specified by the "--tool" and the "--output_directory" option. The
--output_directory option is optional.
--format=
Option to specify the format of a netlist or a test bench. This option is usually used with the "--tool" option.
The following format values are supported:
■
verilog
■
vhdl
■
ibis
■
hspice
■
stamp
■
psdf
■
bsdl
This option overrides the settings specified in the Quartus II Settings File (.qsf).