From f918e2369a6c9f67ef86ce063d677d778aef5c30 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Fri, 22 Mar 2019 13:40:50 +0100 Subject: [PATCH] Add extra "setundef -anyseq" to aiger script Signed-off-by: Clifford Wolf --- sbysrc/sby_core.py | 2 ++ 1 file changed, 2 insertions(+) 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) -- 2.30.2