mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-10-31 04:52:30 +00:00
Code Activity

Add aigbmc support

Browse source
This commit is contained in:
Clifford Wolf 2017-02-25 23:50:33 +01:00
parent eb83a1b90e
commit 94260e01b8
2 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
sbysrc/sby_core.py
View file

@ -141,6 +141,7 @@ class SbyJob:
"abc": "yosys-abc", "abc": "yosys-abc",
"smtbmc": "yosys-smtbmc", "smtbmc": "yosys-smtbmc",
"suprove": "super_prove", "suprove": "super_prove",
"aigbmc": "aigbmc",
"avy": "avy", "avy": "avy",
} }

3
sbysrc/sby_engine_aiger.py
View file

@ -32,6 +32,9 @@ def run(mode, job, engine_idx, engine):
elif solver_args[0] == "avy": elif solver_args[0] == "avy":
solver_cmd = " ".join([job.exe_paths["avy"], "--cex", "-"] + solver_args[1:]) solver_cmd = " ".join([job.exe_paths["avy"], "--cex", "-"] + solver_args[1:])
elif solver_args[0] == "aigbmc":
solver_cmd = " ".join([job.exe_paths["aigbmc"]] + solver_args[1:])
else: else:
assert False assert False