verify_hw_devices - 2023.1 English

Vivado Design Suite Tcl Command Reference Guide (UG835)

Document ID
UG835
Release Date
2023-05-16
Version
2023.1 English

Verify hardware devices

Syntax

verify_hw_devices [‑key <arg>] [‑user_efuse <arg>] [‑control_efuse <arg>]
    [‑security_efuse <arg>] [‑verbose] [‑quiet] [<hw_device>...]

Returns

Hardware devices

Usage

Name Description
[-key] option value for key verification: efuse
[-user_efuse] hex user fuse value for verification
[-control_efuse] hex control fuse value for verification
[-security_efuse] hex security fuse value for verification
[-verbose] Shows fuse values during verification
[-quiet] Ignore command errors
[<hw_device>] list of hardware devices Default: current hardware device

Categories

Hardware

Description

For EFUSE encrypted devices, this command compares the bitstream assigned to the PROGRAM.FILE property on the specified hw_device with the bitstream programmed into the device with the program_hw_devices command.

Filtered through a required mask file, associated with the hw_device, the verify_hw_devices command uses both the bitstream and mask file to compare only the bits that are marked as important in the mask file. A mask file can be created along with the bitstream using the write_bitstream command, and is associated with the hw_device using the create_hw_bitstream command.

Important: Verification cannot be performed on devices programmed with encrypted bitstreams, other than to verify that the -key has been programmed.

The verify_hw_devices command reports that the readback data matches the programmed bitstream if successful, or returns an error if it fails.

Arguments

-key efuse - (Optional) Verify the encryption key is programmed on the specified hw_device in eFUSE registers.

-user_efuse <arg> - (Optional) Verify the provided HEX value is programmed into the FUSE_USER register on the hw_device.

-control_efuse <arg> - (Optional) Verify the provided HEX value is programmed into the FUSE_CNTL register on the hw_device.

-security_efuse <arg> - (Optional) Verify the provided HEX value is programmed into the FUSE_SEC register on the hw_device.

-verbose - (Optional) Report eFUSE register values when verifying the device.

-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.

<hw_device> - (Optional) Specify one or more hw_device objects to verify. The hw_device must be specified as an object as returned by the get_hw_devices command. If the device is not specified, the current_hw_device will be verified.

Example

The following example verifies the bitstream on current hardware device:

verify_hw_devices [current_hw_device]