aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-21 16:18:29 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-21 16:18:29 -0700
commit11886c874c6655bf635655324faa3af31f1c5cf7 (patch)
tree4934bdda1d12f6179e74f96f258f974223ad7427 /techlibs/xilinx/synth_xilinx.cc
parent44fc616fc701d698564d68a7facf210947b8bd9e (diff)
downloadyosys-11886c874c6655bf635655324faa3af31f1c5cf7.tar.gz
yosys-11886c874c6655bf635655324faa3af31f1c5cf7.tar.bz2
yosys-11886c874c6655bf635655324faa3af31f1c5cf7.zip
Restore wreduce to synth_xilinx, after muxcover
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 170b3fb07..174138e6a 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -279,6 +279,7 @@ struct SynthXilinxPass : public ScriptPass
// otherwise it will use mux8 as mux4
run("muxcover -mux4=150 -mux8=200 -mux16=250 -dmux=0", "(skip if -nomux)");
}
+ run("wreduce"); // FIXME: Moved until after muxcover from 'coarse'
run("opt -full");
if (!nosrl || help_mode) {