diff --git a/sbysrc/sby_core.py b/sbysrc/sby_core.py index 7eab277..366817f 100644 --- a/sbysrc/sby_core.py +++ b/sbysrc/sby_core.py @@ -726,8 +726,6 @@ class SbyTask(SbyConfig): print(f"# running in {self.workdir}/model/", file=f) print("read_ilang design_prep.il", file=f) print("hierarchy -simcheck", file=f) - print("memory_map -formal", file=f) - print("formalff -setundef -clk2ff -ff2anyinit", file=f) print("flatten", file=f) print("setundef -undriven -anyseq", file=f) print("setattr -unset keep", file=f) @@ -735,6 +733,9 @@ class SbyTask(SbyConfig): print("opt -full", file=f) print("techmap", file=f) print("opt -fast", file=f) + print("memory_map -formal", file=f) + print("formalff -clk2ff -ff2anyinit", file=f) + print("simplemap", file=f) print("dffunmap", file=f) print("abc -g AND -fast", file=f) print("opt_clean", file=f)