From: Irides <irides@irides.network>
Date: Sat, 11 Dec 2021 12:02:39 +0000 (-0600)
Subject: vendor.xilinx: support setting options on synth_design Closes #606.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=18b1ace1855557bc69414dddd7554f6c3b5f9ed9;p=nmigen.git

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

diff --git a/nmigen/vendor/xilinx.py b/nmigen/vendor/xilinx.py
index f332a93..9a1e6a8 100644
--- 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
             }