Write a checkpoint of the current design
Syntax
write_checkpoint [‑force] [‑cell <arg>] [‑logic_function_stripped]
[‑encrypt] [‑key <arg>] [‑quiet] [‑verbose] [<file>]
Returns
The name of the checkpoint file.
Usage
Name | Description |
---|---|
[-force]
|
Overwrite existing checkpoint file |
[-cell]
|
Write a checkpoint of this cell |
[-logic_function_stripped]
|
Convert INIT strings on LUTs & RAMBs to fixed values. Note that the resulting netlist will be nonfunctional. |
[-encrypt]
|
Encrypt unprotected modules using IEEE 1735 IP security version 2 |
[-key]
|
Key file to be used with -encrypt option; Otherwise, use Xilinx public key |
[-quiet]
|
Ignore command errors |
[-verbose]
|
Suspend message limits during command execution |
[<file>]
|
Design checkpoint file Values: A filename with alphanumeric characters and .dcp extension. |
Categories
Description
Saves the design at any point in the design process so that you can quickly import it back into the tool as needed. A design checkpoint (DCP) can contain the netlist, the constraints, and any placement and routing information from the implemented design.
open_run
or link_design
commands, or when launching an implementation run. To create a DCP with timing constraints, create the design checkpoint after opt_design
, or after the implementation run completes.Use the read_checkpoint
command to import a checkpoint file.
Arguments
-force
- (Optional) Overwrite an existing checkpoint file of the same name if it already exists.
-cell <arg>
- (Optional) Instructs the tool to output the contents of the specified hierarchical cell into a checkpoint file. Only one cell can be specified for output.
-logic_function_stripped
- (Optional) Hides the INIT values for LUTs & RAMs by converting them to fixed values in order to create a checkpoint for debug purposes that will not behave properly in simulation or synthesis.
-encrypt
- (Optional) Encrypt the checkpoint netlist.
-key <arg>
- (Optional) Specify the key to use in encrypting and decrypting the checkpoint. If not specified, the Xilinx public key is used by default.
-incremental_synth
- (Optional) Enable the synthesis checkpoint to be used for incremental synthesis. The checkpoint must be enabled for incremental synthesis to be used for subsequent incremental synthesis runs.
-quiet
- (Optional) Execute the command quietly, returning no messages from the command. The command also returns TCL_OK regardless of any errors encountered during execution.
-verbose
- (Optional) Temporarily override any message limits and return all messages from this command.
set_msg_config
command.<file>
- (Required) The name of the checkpoint file to be created. A .dcp extension will be added if no extension is specified.
Examples
write_checkpoint C:/Data/checkpoint1 -force