diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 11:15:23 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 11:15:23 -0700 |
| commit | f433a523742350b4bb9291ad65299015e2c81f05 (patch) | |
| tree | 2231b01f0b419f65f25da8e494eac65a08af1b23 | |
| parent | c6b4653ebe83fc5bacaeb92fe7c63a8d52bd523e (diff) | |
| download | yosys-f433a523742350b4bb9291ad65299015e2c81f05.tar.gz yosys-f433a523742350b4bb9291ad65299015e2c81f05.tar.bz2 yosys-f433a523742350b4bb9291ad65299015e2c81f05.zip | |
Add FIXME about need for -mux4
| -rw-r--r-- | Makefile | 4 | ||||
| -rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 2 |
2 files changed, 4 insertions, 2 deletions
@@ -1,6 +1,6 @@ -CONFIG := clang -# CONFIG := gcc +# CONFIG := clang +CONFIG := gcc # CONFIG := gcc-4.8 # CONFIG := afl-gcc # CONFIG := emcc 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"); |