From: Marcelina Kościelnicka <mwk@0x04.net>
Date: Fri, 31 Jul 2020 11:10:13 +0000 (+0200)
Subject: Run dffunmap before writing the design with aiger/btor/smt2 backends.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b172357161ea16a0734be6782b0744cf6b7108b6;p=SymbiYosys.git

Run dffunmap before writing the design with aiger/btor/smt2 backends.
---

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index 4ec2ab3..a23ebf0 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -401,6 +401,7 @@ class SbyJob:
                     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 @@ class SbyJob:
                 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 @@ class SbyJob:
                 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)