aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-07-08 12:03:38 -0700
committerEddie Hung <eddie@fpgeh.com>2019-07-08 12:03:38 -0700
commit895ca501734d2f33b61f118a288832b55a366bd2 (patch)
tree7f1266ba26396eb01f47d1bc80f6f57b2f113fa8 /techlibs/xilinx/synth_xilinx.cc
parent0944acf3affd8c6b161a2381b37eed3931c801a5 (diff)
downloadyosys-895ca501734d2f33b61f118a288832b55a366bd2.tar.gz
yosys-895ca501734d2f33b61f118a288832b55a366bd2.tar.bz2
yosys-895ca501734d2f33b61f118a288832b55a366bd2.zip
Fixes for 2:1 muxes
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc2
1 files changed, 1 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 4f597de4d..62bfaaaf1 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -283,7 +283,7 @@ struct SynthXilinxPass : public ScriptPass
constexpr int cost_mux2 = 100;
std::string muxcover_args = stringf(" -nodecode -mux2=%d", cost_mux2);
switch (widemux) {
- case 2:
+ case 2: muxcover_args += stringf(" -mux4=%d -mux8=%d -mux16=%d", cost_mux2+1, cost_mux2+2, cost_mux2+3); break;
case 3:
case 4: muxcover_args += stringf(" -mux4=%d -mux8=%d -mux16=%d", cost_mux2*(widemux-1)-2, cost_mux2*(widemux-1)-1, cost_mux2*(widemux-1)); break;
case 5: