From f49c9ebb290728f9a22943d512123e4ca2485088 Mon Sep 17 00:00:00 2001 From: Claire Xenia Wolf Date: Fri, 2 Jun 2023 13:04:45 +0200 Subject: [PATCH] Make call to "witness -rename" optional (default=on) Signed-off-by: Claire Xenia Wolf --- sbysrc/sby_core.py | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index b27d1a5..820f6fb 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -1002,8 +1002,9 @@ class SbyTask(SbyConfig): print("check", file=f) # can't detect undriven wires past this point print("setundef -undriven -anyseq", file=f) print("opt -fast", file=f) - print("rename -witness", file=f) - print("opt_clean", file=f) + if self.opt_witrename: + print("rename -witness", file=f) + print("opt_clean", file=f) print(f"""write_rtlil ../model/design_prep.il""", file=f) proc = SbyProc( @@ -1233,6 +1234,8 @@ class SbyTask(SbyConfig): self.handle_bool_option("vcd_sim", False) self.handle_bool_option("fst", False) + self.handle_bool_option("witrename", True) + self.handle_str_option("smtc", None) self.handle_int_option("skip", None) self.handle_str_option("tbtop", None)