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.
-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.
-verbose
- (Optional) Temporarily override any message limits and return all messages from this command.
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