From 2efa7c2b906acfc12e76d6bd5e472cfaf2dbe557 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Tue, 6 Mar 2018 23:38:05 +0100 Subject: [PATCH] Use memory_nordff in postprocess script Signed-off-by: Clifford Wolf --- sbysrc/demo1.sby | 2 +- sbysrc/sby_core.py | 3 +++ 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/sbysrc/demo1.sby b/sbysrc/demo1.sby index cfd67cc..62ec7ef 100644 --- a/sbysrc/demo1.sby +++ b/sbysrc/demo1.sby @@ -13,7 +13,7 @@ abc bmc3 [script] read_verilog -formal -norestrict -assume-asserts picorv32.v read_verilog -formal axicheck.v -prep -nordff -top testbench +prep -top testbench [files] picorv32.v ~/Work/picorv32/picorv32.v diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 73dd7e1..989c6cf 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -407,6 +407,7 @@ class SbyJob: print("# running in %s/src/" % self.workdir, file=f) for cmd in self.script: print(cmd, file=f) + print("memory_nordff", file=f) if self.opt_multiclock: print("clk2fflogic", file=f) else: @@ -421,6 +422,8 @@ class SbyJob: print("chformal -cover -remove", file=f) print("opt_clean", file=f) print("setundef -anyseq", file=f) + print("opt -keepdc -fast", file=f) + print("check", file=f) print("write_ilang ../model/design.il", file=f) task = SbyTask(self, "script", [], -- 2.30.2