platform_verify - 2023.2 English

Vivado Design Suite Tcl Command Reference Guide (UG835)

Document ID
UG835
Release Date
2023-10-18
Version
2023.2 English

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