Skip to content

Commit

Permalink
Run dffunmap before writing the design with aiger/btor/smt2 backends.
Browse files Browse the repository at this point in the history
  • Loading branch information
mwkmwkmwk committed Jul 31, 2020
1 parent b6dc1c9 commit b172357
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions sbysrc/sby_core.py
Original file line number Diff line number Diff line change
Expand Up @@ -401,6 +401,7 @@ def make_model(self, model_name):
print("opt -fast", file=f)
print("abc", file=f)
print("opt_clean", file=f)
print("dffunmap", file=f)
print("stat", file=f)
if "_stbv" in model_name:
print("write_smt2 -stbv -wires design_{}.smt2".format(model_name), file=f)
Expand Down Expand Up @@ -430,6 +431,7 @@ def make_model(self, model_name):
else:
print("opt -fast", file=f)
print("delete -output", file=f)
print("dffunmap", file=f)
print("stat", file=f)
print("write_btor {}-i design_{m}.info design_{m}.btor".format("-c " if self.opt_mode == "cover" else "", m=model_name), file=f)

Expand All @@ -450,6 +452,7 @@ def make_model(self, model_name):
print("opt -full", file=f)
print("techmap", file=f)
print("opt -fast", file=f)
print("dffunmap", file=f)
print("abc -g AND -fast", file=f)
print("opt_clean", file=f)
print("stat", file=f)
Expand Down

0 comments on commit b172357

Please sign in to comment.