From: Jannis Harder <me@jix.one>
Date: Fri, 25 Mar 2022 10:38:22 +0000 (+0100)
Subject: Use `-no-startoffset`, avoiding index mismatch between aiger and smt2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=079df4d95f6955b9f4dc0b48b8fd282b0c0983ac;p=SymbiYosys.git

Use `-no-startoffset`, avoiding index mismatch between aiger and smt2
---

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,