IDE can verify and/or readback the
configuration data (that is, .bit file) downloaded into an
FPGA/MPSoC. When using write_bitstream to generate the .bit file, use the
-mask_file option to
create a corresponding mask (.msk) file. Run
-help in the Vivado IDE Tcl Console for details on bitstream generation options.
When performing a verify operation, the
verify_hw_devices Tcl command reads data back from the FPGA/MPSoC and uses the .msk file to determine which readback data bits to skip and which ones to
compare against the corresponding bits in the .bit file.
Following is an example of a bitstream verify Tcl command sequence (the .bit and .msk files were generated by a previous call to
create_hw_bitstream -hw_device [current_hw_device] \ -mask kcu105_cnt_ila_uncmpr.msk kcu105_cnt_ila_uncmpr.bit verify_hw_devices [current_hw_device]
You can use the Vivado Hardware Manager to verify the configuration data. Right-click the device, select Verify Device as follows:
This opens up the Verify Device dialog box.
You need to enter the bit file and corresponding mask (.msk) file. Click Verify to execute the verification.
readback_hw_device Tcl command with at
least one of the following options to read back the FPGA/MPSoC configuration data:
- To save readback data in ASCII format:
- To saves readback data in binary format:
Example: Readback FPGA/MPSoC configuration data in both ASCII and binary formats:
readback_hw_device [current_hw_device] \ -readback_file kcu105_cnt_ila_uncmpr_rb.rbd \ -bin_file kcu105_cnt_ila_uncmpr_rb.bin
- Bitstream and readback operations are done through the Tcl Console.
- Verify and readback operations do not work for FPGAs or MPSoCs programmed with encrypted bitstreams. Encrypted bitstreams contain commands that disable readback. Readback is re-enabled by pulsing the device's PROG pin, or if the device/board is powered down and powered back up again.
- The data readback using
readback_hw_devicecontains configuration data only (no configuration commands are included).
For more information on the readback and mask files, see the "Verifying Readback Data" section in the UltraScale Architecture Configuration User Guide (UG570) or the 7 Series FPGAs Configuration User Guide (UG470).