Added dff2dffe to synth_xilinx

diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 380fdae736eee0ee8781263c1adea77a39f2ec2e..289de439981a0b1d2a9433aa010f2ae23521002b 100644 (file)
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -66,6 +66,7 @@ struct SynthXilinxPass : public Pass {
                log("\n");
                log("    coarse:\n");
                log("        synth -run coarse\n");
+               log("        dff2dffe\n");
                log("\n");
                log("    bram:\n");
                log("        memory_bram -rules +/xilinx/brams.txt\n");
@@ -132,6 +133,7 @@ struct SynthXilinxPass : public Pass {
                if (check_label(active, run_from, run_to, "coarse"))
                {
                        Pass::call(design, "synth -run coarse");
+                       Pass::call(design, "dff2dffe");
                }
 
                if (check_label(active, run_from, run_to, "bram"))