Skip to content

Commit 7799486

Browse files
committed
vendor._xilinx: fix FFSynchronizer with custom shapes.
Fixes amaranth-lang#1544.
1 parent 590cba1 commit 7799486

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

amaranth/vendor/_xilinx.py

+2-2
Original file line numberDiff line numberDiff line change
@@ -1241,9 +1241,9 @@ def get_ff_sync(self, ff_sync):
12411241
for index in range(ff_sync._stages)]
12421242
if self.toolchain == "Vivado":
12431243
if ff_sync._max_input_delay is None:
1244-
flops[0].attrs["amaranth.vivado.false_path"] = "TRUE"
1244+
Value.cast(flops[0]).attrs["amaranth.vivado.false_path"] = "TRUE"
12451245
else:
1246-
flops[0].attrs["amaranth.vivado.max_delay"] = str(ff_sync._max_input_delay * 1e9)
1246+
Value.cast(flops[0]).attrs["amaranth.vivado.max_delay"] = str(ff_sync._max_input_delay * 1e9)
12471247
elif ff_sync._max_input_delay is not None:
12481248
raise NotImplementedError("Platform '{}' does not support constraining input delay "
12491249
"for FFSynchronizer"

0 commit comments

Comments
 (0)