Improve BTOR and AIG yosys scripts

Signed-off-by: Claire Wolf <clifford@clifford.at>

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 5fbc308458e4a1cad30fd09d4aa91fe3dc4a5027..2a6977ca3095cae78bc211381c6e6b215dc0557c 100644 (file)
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -407,6 +407,7 @@ class SbyJob:
                 print("# running in %s/model/" % (self.workdir), file=f)
                 print("read_ilang design%s.il" % ("_nomem" if "_nomem" in model_name else ""), file=f)
                 print("flatten", file=f)
+                print("setundef -undriven -anyseq", file=f)
                 print("setattr -unset keep", file=f)
                 print("delete -output", file=f)
                 print("opt -full", file=f)
@@ -429,6 +430,7 @@ class SbyJob:
                 print("# running in %s/model/" % (self.workdir), file=f)
                 print("read_ilang design_nomem.il", file=f)
                 print("flatten", file=f)
+                print("setundef -undriven -anyseq", file=f)
                 print("setattr -unset keep", file=f)
                 print("delete -output", file=f)
                 print("opt -full", file=f)
@@ -436,8 +438,6 @@ class SbyJob:
                 print("opt -fast", file=f)
                 print("abc -g AND -fast", file=f)
                 print("opt_clean", file=f)
-                print("setundef -anyseq", file=f)
-                print("opt_clean", file=f)
                 print("stat", file=f)
                 print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f)