Merge pull request #1897 from YosysHQ/dave/bram-rejection-fix

[yosys.git] / techlibs / efinix / synth_efinix.cc

diff --git a/techlibs/efinix/synth_efinix.cc b/techlibs/efinix/synth_efinix.cc
index 0efd917089e824e0566f13d5593f18273045359a..f9a7ef8654bdb8e06cccf2b9a56a5af77a0a02ac 100644 (file)
--- a/techlibs/efinix/synth_efinix.cc
+++ b/techlibs/efinix/synth_efinix.cc
@@ -175,13 +175,13 @@ 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)");
                }
 
                if (check_label("map_ffs"))
                {
-                       run("dffsr2dff");
                        run("techmap -D NO_LUT -map +/efinix/cells_map.v");
                        run("dffinit -strinit SET RESET -ff AL_MAP_SEQ q REGSET -noreinit");
                        run("opt_expr -mux_undef");