3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00

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

This commit is contained in:
Jannis Harder 2022-03-25 11:38:22 +01:00
parent fa5d5ad831
commit 079df4d95f

View file

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