diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 17:57:10 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-26 17:57:10 -0700 |
commit | b9ff0503f39795a1f749c955b129d9972fe03f0a (patch) | |
tree | d11a3741dd42a3658dd6dfa3d8728d2764c8e14d /techlibs/xilinx/synth_xilinx.cc | |
parent | f0a1726a1ad4e14cdee81769565b80bea6cb48ed (diff) | |
download | yosys-b9ff0503f39795a1f749c955b129d9972fe03f0a.tar.gz yosys-b9ff0503f39795a1f749c955b129d9972fe03f0a.tar.bz2 yosys-b9ff0503f39795a1f749c955b129d9972fe03f0a.zip |
synth_xilinx's muxcover call to be very conservative -- -nodecode
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index c3f434c51..2f3dfb012 100644 --- 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 |