From 0a7013017f9d583ef6cc8d10712f4bf11cf6e024 Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Tue, 11 Feb 2020 17:33:46 +0100 Subject: [PATCH] Improve BTOR and AIG yosys scripts Signed-off-by: Claire Wolf --- sbysrc/sby_core.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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) -- 2.30.2