mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-05 22:14:08 +00:00
Code Activity

Use memory_nordff in postprocess script

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-03-06 23:38:05 +01:00
parent fbd5ddb615
commit 2efa7c2b90
2 changed files with 4 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
sbysrc/demo1.sby
View file

@ -13,7 +13,7 @@ abc bmc3
[script] [script]
read_verilog -formal -norestrict -assume-asserts picorv32.v read_verilog -formal -norestrict -assume-asserts picorv32.v
read_verilog -formal axicheck.v read_verilog -formal axicheck.v
prep -nordff -top testbench prep -top testbench
[files] [files]
picorv32.v ~/Work/picorv32/picorv32.v picorv32.v ~/Work/picorv32/picorv32.v

3
sbysrc/sby_core.py
View file

@ -407,6 +407,7 @@ class SbyJob:
print("# running in %s/src/" % self.workdir, file=f) print("# running in %s/src/" % self.workdir, file=f)
for cmd in self.script: for cmd in self.script:
print(cmd, file=f) print(cmd, file=f)
print("memory_nordff", file=f)
if self.opt_multiclock: if self.opt_multiclock:
print("clk2fflogic", file=f) print("clk2fflogic", file=f)
else: else:
@ -421,6 +422,8 @@ class SbyJob:
print("chformal -cover -remove", file=f) print("chformal -cover -remove", file=f)
print("opt_clean", file=f) print("opt_clean", file=f)
print("setundef -anyseq", 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) print("write_ilang ../model/design.il", file=f)
task = SbyTask(self, "script", [], task = SbyTask(self, "script", [],