From 3fb72628de902d16b1f9f721ae56cdc33b5d0d8c Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 28 May 2017 12:32:30 +0200 Subject: [PATCH] Add "setundef -anyseq" to default yosys script --- sbysrc/sby_core.py | 1 + 1 file changed, 1 insertion(+) diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 17c0254..a1039a4 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -357,6 +357,7 @@ class SbyJob: print("chformal -assert2assume", file=f) print("chformal -cover -remove", file=f) print("opt_clean", file=f) + print("setundef -anyseq", file=f) print("write_ilang ../model/design.il", file=f) task = SbyTask(self, "script", [], -- 2.30.2