From b50f4f3d10d95ab065685a7b86c5cd8763b3dd8e Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Mon, 12 Nov 2018 09:36:12 +0100 Subject: [PATCH] Generate AIGERs with -I -B Signed-off-by: Clifford Wolf --- sbysrc/sby_core.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index f2792ad..fa80526 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -346,7 +346,7 @@ class SbyJob: print("abc -g AND -fast", file=f) print("opt_clean", file=f) print("stat", file=f) - print("write_aiger -zinit -map design_aiger.aim design_aiger.aig", file=f) + print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f) task = SbyTask(self, "aig", self.model("nomem"), "cd %s/model; %s -ql design_aiger.log design_aiger.ys" % (self.workdir, self.exe_paths["yosys"])) -- 2.30.2