mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-07-23 06:38:55 +00:00
Code Activity

btor2aiger: Install btor2aig_yw

Browse source 
Install alongside SBY.
Add env helper to python source.
Fix hardcoded path in `sby_core.py`.
This commit is contained in:
Krystine Sherwin 2024-04-06 13:40:01 +13:00
parent 143d03a66e
commit b68f68d26b
No known key found for this signature in database
3 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Makefile
View file

@ -44,6 +44,8 @@ else
sed 's|##yosys-sys-path##|sys.path += [os.path.dirname(__file__) + p for p in ["/share/python3", "/../share/yosys/python3"]]|;' < sbysrc/sby.py > $(DESTDIR)$(PREFIX)/bin/sby sed 's|##yosys-sys-path##|sys.path += [os.path.dirname(__file__) + p for p in ["/share/python3", "/../share/yosys/python3"]]|;' < sbysrc/sby.py > $(DESTDIR)$(PREFIX)/bin/sby
chmod +x $(DESTDIR)$(PREFIX)/bin/sby chmod +x $(DESTDIR)$(PREFIX)/bin/sby
endif endif
cp tools/btor2aig_yw/btor2aig_yw.py $(DESTDIR)$(PREFIX)/bin/btor2aig_yw
chmod +x $(DESTDIR)$(PREFIX)/bin/btor2aig_yw
.PHONY: check_cad_suite run_ci .PHONY: check_cad_suite run_ci

4
sbysrc/sby_core.py
View file

@ -1154,14 +1154,12 @@ class SbyTask(SbyConfig):
return [proc] return [proc]
if model_name == "aig" and self.opt_btor_aig: if model_name == "aig" and self.opt_btor_aig:
#TODO: aiw2yw doesn't know what to do with the latches
btor_model = "btor_nomem" btor_model = "btor_nomem"
proc = SbyProc( proc = SbyProc(
self, self,
"btor_aig", "btor_aig",
self.model(btor_model), self.model(btor_model),
#TODO: fix hardcoded path f"cd {self.workdir}/model; btor2aig_yw design_{btor_model}.btor"
f"cd {self.workdir}/model; python3 ~/sby/tools/btor2aig_yw/btor2aig_yw.py design_{btor_model}.btor"
) )
proc.checkretcode = True proc.checkretcode = True

1
tools/btor2aig_yw/btor2aig_yw.py
View file

@ -1,3 +1,4 @@
#!/usr/bin/env python3
from __future__ import annotations from __future__ import annotations
import argparse import argparse