From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 22 Mar 2019 12:40:50 +0000 (+0100)
Subject: Add extra "setundef -anyseq" to aiger script
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f918e2369a6c9f67ef86ce063d677d778aef5c30;p=SymbiYosys.git

Add extra "setundef -anyseq" to aiger script

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---

diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py
index b0698d2..7d8cf0f 100644
--- a/sbysrc/sby_core.py
+++ b/sbysrc/sby_core.py
@@ -419,6 +419,8 @@ class SbyJob:
                 print("opt -fast", file=f)
                 print("abc -g AND -fast", file=f)
                 print("opt_clean", file=f)
+                print("setundef -anyseq", 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)