Merge pull request #1862 from boqwxp/cleanup_techmap

[yosys.git] / techlibs / greenpak4 / synth_greenpak4.cc

diff --git a/techlibs/greenpak4/synth_greenpak4.cc b/techlibs/greenpak4/synth_greenpak4.cc
index b91d5273a96b24000dfac1998d108537074a5967..bfbb56d15d129f2a4aec0ebd4eacc778ff118ba3 100644 (file)
--- a/techlibs/greenpak4/synth_greenpak4.cc
+++ b/techlibs/greenpak4/synth_greenpak4.cc
@@ -59,7 +59,7 @@ struct SynthGreenPAK4Pass : public ScriptPass
                log("        do not flatten design before synthesis\n");
                log("\n");
                log("    -retime\n");
-               log("        run 'abc' with -dff option\n");
+               log("        run 'abc' with '-dff -D 1' options\n");
                log("\n");
                log("\n");
                log("The following commands are executed by this synthesis command:\n");
@@ -120,7 +120,7 @@ struct SynthGreenPAK4Pass : public ScriptPass
                extra_args(args, argidx, design);
 
                if (!design->full_selection())
-                       log_cmd_error("This comannd only operates on fully selected designs!\n");
+                       log_cmd_error("This command only operates on fully selected designs!\n");
 
                if (part != "SLG46140V" && part != "SLG46620V" && part != "SLG46621V")
                        log_cmd_error("Invalid part name: '%s'\n", part.c_str());
@@ -160,12 +160,11 @@ struct SynthGreenPAK4Pass : public ScriptPass
                        run("opt -fast -mux_undef -undriven -fine");
                        run("memory_map");
                        run("opt -undriven -fine");
-                       run("techmap");
-                       run("techmap -map +/greenpak4/cells_latch.v");
+                       run("techmap -map +/techmap.v -map +/greenpak4/cells_latch.v");
                        run("dfflibmap -prepare -liberty +/greenpak4/gp_dff.lib");
                        run("opt -fast");
                        if (retime || help_mode)
-                               run("abc -dff", "(only if -retime)");
+                               run("abc -dff -D 1", "(only if -retime)");
                }
 
                if (check_label("map_luts"))