aboutsummaryrefslogtreecommitdiffstats
path: root/techlibs/coolrunner2/synth_coolrunner2.cc
diff options
context:
space:
mode:
authorClaire Wolf <clifford@clifford.at>2020-02-27 19:05:56 +0100
committerGitHub <noreply@github.com>2020-02-27 19:05:56 +0100
commitab8826ae36890fd01c7897f7800854c01c5bc267 (patch)
tree8c22ad7803bea6b72d4d303743b428ebf927d40f /techlibs/coolrunner2/synth_coolrunner2.cc
parent47228feb7741aeead951891063670dc46af36dc7 (diff)
parent13d0ff4a5fb8caac3a9d3619921a3c4d315fd8f3 (diff)
downloadyosys-ab8826ae36890fd01c7897f7800854c01c5bc267.tar.gz
yosys-ab8826ae36890fd01c7897f7800854c01c5bc267.tar.bz2
yosys-ab8826ae36890fd01c7897f7800854c01c5bc267.zip
Merge pull request #1709 from rqou/coolrunner2_counter
Improve CoolRunner-II optimization by using extract_counter pass
Diffstat (limited to 'techlibs/coolrunner2/synth_coolrunner2.cc')
-rw-r--r--techlibs/coolrunner2/synth_coolrunner2.cc3
1 files changed, 3 insertions, 0 deletions
diff --git a/techlibs/coolrunner2/synth_coolrunner2.cc b/techlibs/coolrunner2/synth_coolrunner2.cc
index b30b3775b..d940e5ac7 100644
--- a/techlibs/coolrunner2/synth_coolrunner2.cc
+++ b/techlibs/coolrunner2/synth_coolrunner2.cc
@@ -143,6 +143,9 @@ struct SynthCoolrunner2Pass : public ScriptPass
if (check_label("fine"))
{
+ run("extract_counter -dir up -allow_arst no");
+ run("techmap -map +/coolrunner2/cells_counter_map.v");
+ run("clean");
run("opt -fast -full");
run("techmap -map +/techmap.v -map +/coolrunner2/cells_latch.v");
run("opt -fast");