mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-03-28 18:55:51 +00:00
Code Activity

Merge pull request #359 from YosysHQ/aigmap

Browse source 
use aigmap instead of abc for AIG mapping
This commit is contained in:
Miodrag Milanović 2026-03-24 12:57:09 +01:00 • committed by GitHub
commit ab5bf1c10b
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/sby_core.py
View file

@ -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" +

2
tools/cexenum/cexenum.py
View file

@ -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",