mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-27 23:45:50 +00:00
Code Activity

Use "hierarchy -simcheck" in default script

Browse source 
Signed-off-by: Clifford Wolf <clifford@clifford.at>
This commit is contained in:
Clifford Wolf 2018-05-12 14:03:37 +02:00
parent 35d956c7bb
commit d24d7e1aef
2 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
sbysrc/sby_core.py
View file

@ -300,6 +300,7 @@ class SbyJob:
print("setundef -anyseq", file=f)
print("opt -keepdc -fast", file=f)
print("check", file=f)
print("hierarchy -simcheck", file=f)
print("write_ilang ../model/design%s.il" % ("" if model_name == "base" else "_nomem"), file=f)
task = SbyTask(self, model_name, [],

3
sbysrc/sby_engine_smtbmc.py
View file

@ -146,7 +146,8 @@ def run(mode, job, engine_idx, engine):
return line
def exit_callback(retcode):
assert task_status is not None
if task_status is None:
job.error("engine_%d: Engine terminated without status." % engine_idx)
if mode == "bmc" or mode == "cover":
job.update_status(task_status)