From 8fde7eda2d26216829f35af3e0fc9ac9d106d9cd Mon Sep 17 00:00:00 2001 From: Wanda Date: Sat, 25 Jan 2025 03:53:31 +0100 Subject: [PATCH] vendor._xilinx: fix FFSynchronizer with custom shapes. --- amaranth/vendor/_xilinx.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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"