From 655d9c6bcd7f3df80b1a94161517c20985bf294f Mon Sep 17 00:00:00 2001 From: Claire Wolf Date: Tue, 23 Jun 2020 14:32:59 +0200 Subject: [PATCH] Be more conservative in btor ys script Signed-off-by: Claire Wolf --- sbysrc/sby_core.py | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 972e047..961d7f0 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -418,13 +418,14 @@ class SbyJob: print("read_ilang design{}.il".format("_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("opt -full", file=f) if "_syn" in model_name: + print("opt -full", file=f) print("techmap", file=f) print("opt -fast", file=f) print("abc", file=f) print("opt_clean", file=f) + else: + print("opt -fast", file=f) print("delete -output", file=f) print("stat", file=f) print("write_btor {}-i design_{m}.info design_{m}.btor".format("-c " if self.opt_mode == "cover" else "", m=model_name), file=f) -- 2.30.2