aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/common/synth.cc
diff options
context:
space:
mode:
authorMarcelina Koƛcielnicka <mwk@0x04.net>2020-07-20 23:19:51 +0200
committerMarcelina Koƛcielnicka <mwk@0x04.net>2020-08-07 13:21:03 +0200
commit9a4f420b4b8285bd05181b6988c35ce45e3c979a (patch)
tree666157812aec1784c97967295716c636b1374d16 /techlibs/common/synth.cc
parentc39ebe6ae0e41cf9a84da852fa3cf9f71937a9b2 (diff)
downloadyosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.tar.gz
yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.tar.bz2
yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.zip
Replace opt_rmdff with opt_dff.
Diffstat (limited to 'techlibs/common/synth.cc')
-rw-r--r--techlibs/common/synth.cc6
1 files changed, 3 insertions, 3 deletions
diff --git a/techlibs/common/synth.cc b/techlibs/common/synth.cc
index b4c65e658..89d6e530e 100644
--- a/techlibs/common/synth.cc
+++ b/techlibs/common/synth.cc
@@ -220,6 +220,9 @@ struct SynthPass : public ScriptPass
run("opt_expr");
run("opt_clean");
run("check");
+ run("opt -nodffe -nosdff");
+ if (!nofsm)
+ run("fsm" + fsm_opts, " (unless -nofsm)");
run("opt");
run("wreduce");
run("peepopt");
@@ -233,9 +236,6 @@ struct SynthPass : public ScriptPass
if (!noshare)
run("share", " (unless -noshare)");
run("opt");
- if (!nofsm)
- run("fsm" + fsm_opts, " (unless -nofsm)");
- run("opt -fast");
run("memory -nomap" + memory_opts);
run("opt_clean");
}