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
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.
-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.
<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
verify_hw_devices [current_hw_device]