aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs
diff options
context:
space:
mode:
Diffstat (limited to 'techlibs')
-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 877694e8a..c3f434c51 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -281,6 +281,7 @@ struct SynthXilinxPass : public ScriptPass
run("muxcover <internal options>, ('-widemux' only)");
}
else if (widemux > 0) {
+ run("simplemap t:$mux");
std::string muxcover_args = " -dmux=0";
switch (widemux) {
// NB: Cost of mux2 is 100; mux8 should cost between 3 and 4