diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-07-08 23:49:16 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-08 23:49:16 -0700 |
commit | 45da3ada7babc8f2b23a8b23ce25430a98e2e58e (patch) | |
tree | a820f1a936a154113213c5b94b3a8f9c03d85010 /techlibs/xilinx/synth_xilinx.cc | |
parent | d4ab43d9403899dcae74a24e71385fd959de98f8 (diff) | |
download | yosys-45da3ada7babc8f2b23a8b23ce25430a98e2e58e.tar.gz yosys-45da3ada7babc8f2b23a8b23ce25430a98e2e58e.tar.bz2 yosys-45da3ada7babc8f2b23a8b23ce25430a98e2e58e.zip |
Do not call opt -mux_undef (part of -full) before muxcover
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r-- | techlibs/xilinx/synth_xilinx.cc | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc index 15a37a439..6eab74a21 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -270,7 +270,11 @@ struct SynthXilinxPass : public ScriptPass } if (check_label("fine")) { - run("opt -fast -full"); + if (widemux > 0) + run("opt -fast -mux_bool -undriven -fine"); // Necessary to omit -mux_undef otherwise muxcover + // performs less efficiently + else + run("opt -fast -full"); run("memory_map"); run("dffsr2dff"); run("dff2dffe"); |