diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-02-05 18:39:01 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-02-05 18:39:01 -0800 |
| commit | 0b0148399c81dc8c0297d8eac3b2638ed272ba58 (patch) | |
| tree | ea3552e89f8e14a0e2b2443342f914033bb3099a /techlibs/efinix/synth_efinix.cc | |
| parent | 4c1d3a126d3978aeacbab623532c0ec9400b8959 (diff) | |
| download | yosys-0b0148399c81dc8c0297d8eac3b2638ed272ba58.tar.gz yosys-0b0148399c81dc8c0297d8eac3b2638ed272ba58.tar.bz2 yosys-0b0148399c81dc8c0297d8eac3b2638ed272ba58.zip | |
synth_*: call 'opt -fast' after 'techmap'
Diffstat (limited to 'techlibs/efinix/synth_efinix.cc')
| -rw-r--r-- | techlibs/efinix/synth_efinix.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/techlibs/efinix/synth_efinix.cc b/techlibs/efinix/synth_efinix.cc index 0efd91708..637d7c00d 100644 --- a/techlibs/efinix/synth_efinix.cc +++ b/techlibs/efinix/synth_efinix.cc @@ -175,6 +175,7 @@ struct SynthEfinixPass : public ScriptPass if (check_label("map_gates")) { run("techmap -map +/techmap.v -map +/efinix/arith_map.v"); + run("opt -fast"); if (retime || help_mode) run("abc -dff -D 1", "(only if -retime)"); } |