projects / SymbiYosys.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: fa5d5ad)
Use `-no-startoffset`, avoiding index mismatch between aiger and smt2
authorJannis Harder <me@jix.one>
Fri, 25 Mar 2022 10:38:22 +0000 (11:38 +0100)
committerJannis Harder <me@jix.one>
Fri, 25 Mar 2022 10:41:08 +0000 (11:41 +0100)
sbysrc/sby_core.py patch | blob | history

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index e1ee51c363f38b37175bfd4e71243745feea8faf..b78ef8531d24547d0c022319fa6f8ec6d784dbe4 100644 (file)
--- 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,