diff options
author | R. Ou <rqou@robertou.com> | 2020-02-17 03:07:16 -0800 |
---|---|---|
committer | R. Ou <rqou@robertou.com> | 2020-02-17 03:09:40 -0800 |
commit | 13d0ff4a5fb8caac3a9d3619921a3c4d315fd8f3 (patch) | |
tree | 25d03aad9709be61b3b00855d97b4662cc4943cc /techlibs/coolrunner2/synth_coolrunner2.cc | |
parent | fec7dc5c9e1e1440b6959b133f505d187acd800e (diff) | |
download | yosys-13d0ff4a5fb8caac3a9d3619921a3c4d315fd8f3.tar.gz yosys-13d0ff4a5fb8caac3a9d3619921a3c4d315fd8f3.tar.bz2 yosys-13d0ff4a5fb8caac3a9d3619921a3c4d315fd8f3.zip |
coolrunner2: Use extract_counter to optimize counters
This tends to make much more efficient pterm usage compared to just
throwing the problem at ABC
Diffstat (limited to 'techlibs/coolrunner2/synth_coolrunner2.cc')
-rw-r--r-- | techlibs/coolrunner2/synth_coolrunner2.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/techlibs/coolrunner2/synth_coolrunner2.cc b/techlibs/coolrunner2/synth_coolrunner2.cc index 3bac8623d..fa9105e34 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"); |