The Xilinx Soft Error Mitigation (XilSEM) library is a pre-configured, pre-verified solution to detect and optionally correct soft errors in the configuration memory of Versal devices.
See the BSP and Libraries Document Collection (UG643) for more information.