diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-07-09 09:22:12 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-07-09 09:22:12 -0700 |
| commit | bc84f7dd10ad44118fd6d800cb7a896069fd223d (patch) | |
| tree | c50830f9b078025021b175b39fd1d838cbc43bf1 /techlibs/xilinx | |
| parent | 667199d46013d116bdbeb9be8592a77503a470e2 (diff) | |
| download | yosys-bc84f7dd10ad44118fd6d800cb7a896069fd223d.tar.gz yosys-bc84f7dd10ad44118fd6d800cb7a896069fd223d.tar.bz2 yosys-bc84f7dd10ad44118fd6d800cb7a896069fd223d.zip | |
Fix spacing
Diffstat (limited to 'techlibs/xilinx')
| -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 abdf7f9cc..2a77ce397 100644 --- a/techlibs/xilinx/synth_xilinx.cc +++ b/techlibs/xilinx/synth_xilinx.cc @@ -270,7 +270,7 @@ struct SynthXilinxPass : public ScriptPass } if (check_label("fine")) { - if (widemux > 0) + if (widemux > 0) run("opt -fast -mux_bool -undriven -fine"); // Necessary to omit -mux_undef otherwise muxcover // performs less efficiently else |