From: Claire Wolf <clifford@clifford.at>
Date: Tue, 11 Feb 2020 16:33:46 +0000 (+0100)
Subject: Improve BTOR and AIG yosys scripts
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0a7013017f9d583ef6cc8d10712f4bf11cf6e024;p=SymbiYosys.git

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 5fbc308..2a6977c 100644
--- 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)