aboutsummaryrefslogtreecommitdiffstats
path: root/passes
diff options
context:
space:
mode:
authorDavid Shah <dave@ds0.me>2019-06-14 12:02:12 +0100
committerDavid Shah <dave@ds0.me>2019-06-14 17:15:02 +0100
commit95665730540c0fd7c76690f28d0fd6b5f13f2223 (patch)
tree91907bc7387e194d64d5503dec4bf4c7987593ae /passes
parentbc22e2e3ee120aeb84323ce52031b895f9f62f54 (diff)
downloadyosys-95665730540c0fd7c76690f28d0fd6b5f13f2223.tar.gz
yosys-95665730540c0fd7c76690f28d0fd6b5f13f2223.tar.bz2
yosys-95665730540c0fd7c76690f28d0fd6b5f13f2223.zip
ecp5: Add abc9 option
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'passes')
-rw-r--r--passes/techmap/abc9.cc9
1 files changed, 9 insertions, 0 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index a6ec4a6fb..d4f5c5238 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -22,7 +22,16 @@
// Berkeley Logic Synthesis and Verification Group, ABC: A System for Sequential Synthesis and Verification
// http://www.eecs.berkeley.edu/~alanmi/abc/
+#if 0
+// Based on &flow3 - better QoR but more experimental
+#define ABC_COMMAND_LUT "&st; &ps -l; "/*"&sweep -v;"*/" &scorr; " \
+ "&st; &if {W}; &save; &st; &syn2; &if {W}; &save; &load; "\
+ "&st; &if -g -K 6; &dch -f; &if {W}; &save; &load; "\
+ "&st; &if -g -K 6; &synch2; &if {W}; &save; &load"
+#else
#define ABC_COMMAND_LUT "&st; &sweep; &scorr; "/*"&dc2; "*/"&retime; &dch -f; &ps -l; &if {W} -v; "/*"&mfs; "*/"&ps -l"
+#endif
+
#define ABC_FAST_COMMAND_LUT "&st; &retime; &if {W}"