aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/xilinx/synth_xilinx.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/xilinx/synth_xilinx.cc
parentc39ebe6ae0e41cf9a84da852fa3cf9f71937a9b2 (diff)
downloadyosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.tar.gz
yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.tar.bz2
yosys-9a4f420b4b8285bd05181b6988c35ce45e3c979a.zip
Replace opt_rmdff with opt_dff.
Diffstat (limited to 'techlibs/xilinx/synth_xilinx.cc')
-rw-r--r--techlibs/xilinx/synth_xilinx.cc4
1 files changed, 1 insertions, 3 deletions
diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 970196de9..0adec57a2 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -357,11 +357,9 @@ struct SynthXilinxPass : public ScriptPass
run("opt_expr");
run("opt_clean");
run("check");
- run("opt");
+ run("opt -nodffe -nosdff");
run("fsm");
run("opt");
- run("opt_dff");
- run("opt");
if (help_mode)
run("wreduce [-keepdc]", "(option for '-widemux')");
else