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 cfd67cc90f3c3b4daa9df1970795e2d118a61645..62ec7ef608358c9930688fd4df28fc5f7f660f6e 100644 (file)
--- 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 73dd7e10c91e1d35bbe54c7a8c66223c1ae0fb0c..989c6cf267a5e4749eca79addb1c98aa62a3901f 100644 (file)
--- 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", [],