vendor.xilinx: support setting options on synth_design Closes #606.

diff --git a/nmigen/vendor/xilinx.py b/nmigen/vendor/xilinx.py
index f332a93230fd3c853e93322f6c11207e0181d94b..9a1e6a8a4013c174f522935ccd345f00be15ee16 100644 (file)
--- a/nmigen/vendor/xilinx.py
+++ b/nmigen/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 {nmigen.vivado.false_path == "TRUE"}] {
                 set_false_path -to $cell
             }