From 6d855c1090a17dbb140cdada881b256e1be7e6aa Mon Sep 17 00:00:00 2001 From: Lofty Date: Mon, 23 Mar 2026 11:40:18 +0100 Subject: [PATCH] use aigmap instead of abc for AIG mapping --- sbysrc/sby_core.py | 2 +- tools/cexenum/cexenum.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 7a67cd3..1800fef 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -1269,7 +1269,7 @@ class SbyTask(SbyConfig): print("formalff -clk2ff -ff2anyinit", file=f) print("simplemap", file=f) print("dffunmap", file=f) - print("abc -g AND -fast", file=f) + print("aigmap", file=f) print("opt_clean", file=f) print("stat", file=f) print(f"write_aiger -I -B -zinit -no-startoffset {'-vmap' if self.opt_aigvmap else '-map'} design_aiger.aim" + diff --git a/tools/cexenum/cexenum.py b/tools/cexenum/cexenum.py index d180835..40a571d 100755 --- a/tools/cexenum/cexenum.py +++ b/tools/cexenum/cexenum.py @@ -289,7 +289,7 @@ class AigModel(tl.process.Process): "formalff -clk2ff -ff2anyinit", "simplemap", "dffunmap", - "abc -g AND -fast", + "aigmap", "opt_clean", "stat", "write_rtlil design_aiger.il",