From: Clifford Wolf <clifford@clifford.at>
Date: Tue, 6 Mar 2018 22:38:05 +0000 (+0100)
Subject: Use memory_nordff in postprocess script
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2efa7c2b906acfc12e76d6bd5e472cfaf2dbe557;p=SymbiYosys.git

Use memory_nordff in postprocess script

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

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", [],