aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/coolrunner2/synth_coolrunner2.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2020-01-27 10:34:10 -0800
committerEddie Hung <eddie@fpgeh.com>2020-01-27 10:34:10 -0800
commitf443695a38fbdd8c2ca38cab45ca964a173dc158 (patch)
tree4ac13e4fe8ee5e71f963c4230f9f26f32901c2ba /techlibs/coolrunner2/synth_coolrunner2.cc
parentd730bba6d2847515795c32d3a753320b8b48bee0 (diff)
parentda6abc014987ef562a577dc374bcb03aad9256cd (diff)
downloadyosys-f443695a38fbdd8c2ca38cab45ca964a173dc158.tar.gz
yosys-f443695a38fbdd8c2ca38cab45ca964a173dc158.tar.bz2
yosys-f443695a38fbdd8c2ca38cab45ca964a173dc158.zip
Merge remote-tracking branch 'origin/master' into eddie/verific_help
Diffstat (limited to 'techlibs/coolrunner2/synth_coolrunner2.cc')
-rw-r--r--techlibs/coolrunner2/synth_coolrunner2.cc6
1 files changed, 2 insertions, 4 deletions
diff --git a/techlibs/coolrunner2/synth_coolrunner2.cc b/techlibs/coolrunner2/synth_coolrunner2.cc
index 21bbcaef4..388e2b792 100644
--- a/techlibs/coolrunner2/synth_coolrunner2.cc
+++ b/techlibs/coolrunner2/synth_coolrunner2.cc
@@ -55,7 +55,7 @@ struct SynthCoolrunner2Pass : 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");
@@ -161,7 +161,7 @@ struct SynthCoolrunner2Pass : public ScriptPass
if (check_label("map_pla"))
{
- run("abc -sop -I 40 -P 56");
+ run("abc -sop -I 40 -P 56" + string(retime ? " -dff -D 1" : ""));
run("clean");
}
@@ -194,8 +194,6 @@ struct SynthCoolrunner2Pass : public ScriptPass
if (!json_file.empty() || help_mode)
run(stringf("write_json %s", help_mode ? "<file-name>" : json_file.c_str()));
}
-
- log_pop();
}
} SynthCoolrunner2Pass;