tools: workaround of yosys-abc bug

pulp-platform · Sep 26, 2024 · 8092c21 · 8092c21
1 parent bef7095
commit 8092c21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/yosys/scripts/abc-opt.script b/yosys/scripts/abc-opt.script
@@ -17,7 +17,7 @@ strash
 rec_start3 {REC_AIG}
 
 # main optimization iteration:
-alias &opt_iter "&st; &if -y -K 6; &syn2; &if -K 6; &st; &b -d"
+alias &opt_iter "&st; &if -y -K 6; &syn2; &if -K 6; &st; &b"
 # &if -y -K 6; &syn2; &if -K 6, see LMS paper
 # &dc2 AIG rewriting (greedy minimization)
 # &b   balance structure for depth