From 7d60a3ba349db82f401093e767faa428dd653376 Mon Sep 17 00:00:00 2001 From: Claire Xenia Wolf Date: Sat, 3 Jun 2023 22:16:35 +0200 Subject: [PATCH] Add aigvmap and aigsyms options Signed-off-by: Claire Xenia Wolf --- sbysrc/sby_core.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 820f6fb..1213fb7 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -1136,7 +1136,8 @@ class SbyTask(SbyConfig): print("abc -g AND -fast", file=f) print("opt_clean", file=f) print("stat", file=f) - print("write_aiger -I -B -zinit -no-startoffset -map design_aiger.aim -ywmap design_aiger.ywa design_aiger.aig", file=f) + print(f"write_aiger -I -B -zinit -no-startoffset {'-vmap' if self.opt_aigvmap else '-map'} design_aiger.aim" + + f"{' -symbols' if self.opt_aigsyms else ''} -ywmap design_aiger.ywa design_aiger.aig", file=f) proc = SbyProc( self, @@ -1235,6 +1236,8 @@ class SbyTask(SbyConfig): self.handle_bool_option("fst", False) self.handle_bool_option("witrename", True) + self.handle_bool_option("aigvmap", False) + self.handle_bool_option("aigsyms", False) self.handle_str_option("smtc", None) self.handle_int_option("skip", None)