aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-06-21 11:15:23 -0700
committerEddie Hung <eddie@fpgeh.com>2019-06-21 11:15:23 -0700
commitf433a523742350b4bb9291ad65299015e2c81f05 (patch)
tree2231b01f0b419f65f25da8e494eac65a08af1b23 /techlibs
parentc6b4653ebe83fc5bacaeb92fe7c63a8d52bd523e (diff)
downloadyosys-f433a523742350b4bb9291ad65299015e2c81f05.tar.gz
yosys-f433a523742350b4bb9291ad65299015e2c81f05.tar.bz2
yosys-f433a523742350b4bb9291ad65299015e2c81f05.zip
Add FIXME about need for -mux4
Diffstat (limited to 'techlibs')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc2
1 files changed, 2 insertions, 0 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index ede2bda10..db3f5b7e4 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -275,6 +275,8 @@ struct SynthXilinxPass : public ScriptPass
run("dff2dffe");
if (!nomux || help_mode) {
run("simplemap t:$mux", " (skip if -nomux)");
+ // FIXME: Must specify mux4, even if we don't need it,
+ // otherwise it will use mux8 as mux4
run("muxcover -mux4=150 -mux8=200 -mux16=250 -dmux=0", "(skip if -nomux)");
}
run("opt -full");