After synthesis and implementation are complete, a device image must be
created for the design to run on the target device.
Versal®
ACAP architectures use a device image in the programmable device
image (.pdi) file format. You can create the device image using the write_device_image Tcl command or by clicking Generate Device Image in the Vivado IDE. Prior to device image creation, a DRC is run and any Critical
Warnings generated during early design stages are elevated to Errors, preventing device
image creation. For more information on creating a device image, see the
Vivado Design Suite User Guide:
Programming and Debugging (UG908).
For DFX designs, the write_device_image
command supports a -cell switch, which accepts the
reconfigurable module name as an argument. If -cell is
not specified, write_device_image generates both full
and partial PDI files. If partial PDI files are not required, you can use the -no_partial_pdifile switch to generate only the full PDI
file. For Versal devices, file compression and
per-frame cyclic redundancy checks (CRCs) are enabled by default for partial PDI files.
For details regarding different partial PDI delivery mechanism to hardware, see the
Vivado
Design Suite User Guide: Dynamic Function eXchange (UG909).