User Manual

write netlist Chapter 5. Tcl Command Reference
[-flash4x] Optional The optional -flash4x option
may be used to output 4
additional 4x serial flash binary
file format outputs
[-hex] Optional The optional -hex option may be
used to output an additional
raw hex file format output
[-cpu] Optional The optional -cpu option may be
used to output an additional
CPU Mode file format output
[-nocompress] Optional write output as plain-text file
[-compress] Optional compress output-file
[-chainfile <arg>] Optional The optional -chainfile <file>
may be used to override the
chainfile set in the active Impl
[-aeskey <arg>] Optional Key used for encryption. If not
given, key is taken from impl. If
not active in impl, the bitstream
is not encrypted.
[-monitor delay count
<arg>]
Optional CRAM monitor delay count for
RadRunner. If not given, count
is taken from impl. If not active
in impl, the default value is
assumed.
write critical paths script
write critical paths script [-outputfile <arg>]
This command writes a tcl script that may be used for viewing critical paths in the synthesis tool.
Argument Required/Optional Description
[-outputfile <arg>] Optional The optional -outputfile <file>
option may be used to specify an
output file name or file path. If
this option is not present, the
output is written to the default
implementation output
directory and is named
<design name> critical paths.tcl.
write netlist
write netlist [-outputfile <arg>] [-debugdir <arg>] [-final] [-compress]
This command generates a verilog netlist for simulation (same as run generate netlist).
Argument Required/Optional Description
[-outputfile <arg>] Optional Output netlist file name.
371 http://www.achronix.com UG001 Rev. 5.0 - 5th December 2012