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

Add "mode live" support

Browse source
This commit is contained in:
Clifford Wolf 2017-03-01 11:09:14 +01:00
parent 6e03f1d895
commit 774849a6ed
3 changed files with 54 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

13
sbysrc/sby_core.py
View file

@ -330,6 +330,13 @@ class SbyJob:
print("# running in %s/src/" % self.workdir, file=f)
for cmd in self.script:
print(cmd, file=f)
if self.opt_mode in ["bmc", "prove"]:
print("chformal -live -fair -cover -remove", file=f)
if self.opt_mode == "cover":
print("chformal -live -fair -remove", file=f)
if self.opt_mode == "live":
print("chformal -assert2assume", file=f)
print("chformal -cover -remove", file=f)
print("opt_clean", file=f)
print("write_ilang ../model/design.il", file=f)
@ -422,7 +429,7 @@ class SbyJob:
def run(self):
self.handle_str_option("mode", None)
assert self.opt_mode in ["bmc", "prove", "cover"]
assert self.opt_mode in ["bmc", "prove", "cover", "live"]
self.expect = ["PASS"]
if "expect" in self.options:
@ -451,6 +458,10 @@ class SbyJob:
import sby_mode_prove
sby_mode_prove.run(self)
elif self.opt_mode == "live":
import sby_mode_live
sby_mode_live.run(self)
elif self.opt_mode == "cover":
import sby_mode_cover
sby_mode_cover.run(self)