diff --git a/amaranth/vendor/_xilinx.py b/amaranth/vendor/_xilinx.py
index 02adfffcf..1bc454e61 100644
--- a/amaranth/vendor/_xilinx.py
+++ b/amaranth/vendor/_xilinx.py
@@ -1240,9 +1240,9 @@ def get_ff_sync(self, ff_sync):
                  for index in range(ff_sync._stages)]
         if self.toolchain == "Vivado":
             if ff_sync._max_input_delay is None:
-                flops[0].attrs["amaranth.vivado.false_path"] = "TRUE"
+                Value.cast(flops[0]).attrs["amaranth.vivado.false_path"] = "TRUE"
             else:
-                flops[0].attrs["amaranth.vivado.max_delay"] = str(ff_sync._max_input_delay * 1e9)
+                Value.cast(flops[0]).attrs["amaranth.vivado.max_delay"] = str(ff_sync._max_input_delay * 1e9)
         elif ff_sync._max_input_delay is not None:
             raise NotImplementedError("Platform '{}' does not support constraining input delay "
                                       "for FFSynchronizer"