diff --git a/amaranth/vendor/xilinx.py b/amaranth/vendor/xilinx.py
index 96632a8..57bbb60 100644
--- a/amaranth/vendor/xilinx.py
+++ b/amaranth/vendor/xilinx.py
@@ -21,6 +21,7 @@ class XilinxPlatform(TemplatedPlatform):
 
     Available overrides:
         * ``script_after_read``: inserts commands after ``read_xdc`` in Tcl script.
+        * ``synth_design_opts``: sets options for ``synth_design``.
         * ``script_after_synth``: inserts commands after ``synth_design`` in Tcl script.
         * ``script_after_place``: inserts commands after ``place_design`` in Tcl script.
         * ``script_after_route``: inserts commands after ``route_design`` in Tcl script.
@@ -151,7 +152,7 @@ class XilinxPlatform(TemplatedPlatform):
                 read_xdc {{file|tcl_escape}}
             {% endfor %}
             {{get_override("script_after_read")|default("# (script_after_read placeholder)")}}
-            synth_design -top {{name}}
+            synth_design -top {{name}} {{get_override("synth_design_opts")}}
             foreach cell [get_cells -quiet -hier -filter {amaranth.vivado.false_path == "TRUE"}] {
                 set_false_path -to $cell
             }