diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index e1ee51c..b78ef85 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -503,7 +503,7 @@ class SbyTask: print("abc -g AND -fast", file=f) print("opt_clean", file=f) print("stat", file=f) - print("write_aiger -I -B -zinit -map design_aiger.aim design_aiger.aig", file=f) + print("write_aiger -I -B -zinit -no-startoffset -map design_aiger.aim design_aiger.aig", file=f) proc = SbyProc( self,