synth_xilinx's muxcover call to be very conservative -- -nodecode

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index c3f434c511ad1c333ffd9703c49aa4e5968c08fb..2f3dfb012063200011f76e8ef75c9ebf486c22ac 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -282,7 +282,7 @@ struct SynthXilinxPass : public ScriptPass
                        }
                        else if (widemux > 0) {
                                run("simplemap t:$mux");
-                               std::string muxcover_args = " -dmux=0";
+                               std::string muxcover_args = " -nodecode";
                                switch (widemux) {
                                        // NB: Cost of mux2 is 100; mux8 should cost between 3 and 4
                                        //     of those so that 4:1 muxes and below are implemented