Write a checkpoint of the current design
Syntax
write_checkpoint [‑force] [‑cell <arg>] [‑logic_function_stripped]
[‑encrypt] [‑key <arg>] [‑incremental_synth] [‑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 |
[-incremental_synth]
|
export synthesis archive file to be used for re-using implementation. |
[-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.Examples
write_checkpoint C:/Data/checkpoint1 -force