TCL task to verify platform by comparing files at the bit level
Syntax
platform_verify ‑reference <arg> [‑untrusted <arg>] [‑in_memory]
[‑cell <arg>] [‑quiet] [‑verbose]Usage
| Name | Description |
|---|---|
-reference
|
full path to trusted reference DCP file |
[-untrusted]
|
full path to untrusted DCP file |
[-in_memory]
|
use in-memory design for comparison, when -untrusted option is not specified |
[-cell]
|
Name of reconfigurable cell which will be verified |
[-quiet]
|
Ignore command errors |
[-verbose]
|
Suspend message limits during command execution |
Categories
Description
This command takes two design checkpoint files (DCP) and compares the binary content of the files, comparing them at the bit-level.
Arguments
-reference <arg> - (Required) Specifies the known good DCP as a reference to compare.
-untrusted <arg> - (Optional) Specifies an unqualified DCP as the file to be verified.
Important:
-untrusted and -in_memory are both optional. However, at least one of these options must be specified to indicate the untrusted design source.
-in_memory - (Optional) Use the current_design for comparison, when the -untrusted option is not specified.
-cell <arg> - (Optional) Instructs the tool to compare the specified cell in the two DCP files.
-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.
Note: Any errors encountered on the command-line, while launching the command, will be returned. Only errors occurring inside the command will be trapped.
-verbose - (Optional) Temporarily override any message limits and return all messages from this command.
Note: Message limits can be defined with the
set_msg_config command.Examples
The following command compares the two design checkpoints:
platform_verify -reference C:/Data/design1/routed.dcp -untrusted C:/Data/design2/routed.dcp
The following command compares the current design against the specified design checkpoint in memory:
platform_verify -reference C:/Data/design1/routed.dcp -in_memory