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 switch
to generate only the full PDI file. For Versal devices, 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).