vendor._xilinx: fix FFSynchronizer with custom shapes.

amaranth-lang · Jan 25, 2025 · 8fde7ed · 8fde7ed
1 parent 8f6ca5a
commit 8fde7ed
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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"