From b172357161ea16a0734be6782b0744cf6b7108b6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marcelina=20Ko=C5=9Bcielnicka?= Date: Fri, 31 Jul 2020 13:10:13 +0200 Subject: [PATCH] Run dffunmap before writing the design with aiger/btor/smt2 backends. --- sbysrc/sby_core.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 4ec2ab36..a23ebf09 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -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) @@ -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) @@ -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)