mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-20 03:49:00 +00:00
Code Activity

Made into Python module

Browse source
This commit is contained in:
Chris Pattison 2018-08-01 22:46:49 -07:00
parent 2fef25f93d
commit d249e1f259
14 changed files with 30 additions and 24 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Makefile
View file

@ -15,11 +15,7 @@ help:
@echo ""
install:
mkdir -p $(DESTDIR)$(PREFIX)/bin
mkdir -p $(DESTDIR)$(PREFIX)/share/yosys/python3
cp sbysrc/sby_*.py $(DESTDIR)$(PREFIX)/share/yosys/python3/
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
pip3 install -e .
html:
make -C docs html

2
sbysrc/sby.py → sby/__main__.py
View file

@ -19,7 +19,7 @@
import os, sys, getopt, shutil, tempfile
##yosys-sys-path##
from sby_core import SbyJob, SbyAbort
from sby.sby_core import SbyJob, SbyAbort
from time import localtime
sbyfile = None

0
sbysrc/demo1.sby → sby/demo1.sby
View file

0
sbysrc/demo2.sby → sby/demo2.sby
View file

0
sbysrc/demo3.sby → sby/demo3.sby
View file

8
sbysrc/sby_core.py → sby/sby_core.py
View file

@ -507,19 +507,19 @@ class SbyJob:
self.copy_src()
if self.opt_mode == "bmc":
import sby_mode_bmc
from sby import sby_mode_bmc
sby_mode_bmc.run(self)
elif self.opt_mode == "prove":
import sby_mode_prove
from sby import sby_mode_prove
sby_mode_prove.run(self)
elif self.opt_mode == "live":
import sby_mode_live
from sby import sby_mode_live
sby_mode_live.run(self)
elif self.opt_mode == "cover":
import sby_mode_cover
from sby import sby_mode_cover
sby_mode_cover.run(self)
else:

2
sbysrc/sby_engine_abc.py → sby/sby_engine_abc.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(mode, job, engine_idx, engine):
abc_opts, abc_command = getopt.getopt(engine[1:], "", [])

2
sbysrc/sby_engine_aiger.py → sby/sby_engine_aiger.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(mode, job, engine_idx, engine):
opts, solver_args = getopt.getopt(engine[1:], "", [])

2
sbysrc/sby_engine_smtbmc.py → sby/sby_engine_smtbmc.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(mode, job, engine_idx, engine):
smtbmc_opts = []

6
sbysrc/sby_mode_bmc.py → sby/sby_mode_bmc.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(job):
job.handle_int_option("depth", 20)
@ -32,11 +32,11 @@ def run(job):
os.makedirs("%s/engine_%d" % (job.workdir, engine_idx))
if engine[0] == "smtbmc":
import sby_engine_smtbmc
from sby import sby_engine_smtbmc
sby_engine_smtbmc.run("bmc", job, engine_idx, engine)
elif engine[0] == "abc":
import sby_engine_abc
from sby import sby_engine_abc
sby_engine_abc.run("bmc", job, engine_idx, engine)
else:

4
sbysrc/sby_mode_cover.py → sby/sby_mode_cover.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(job):
job.handle_int_option("depth", 20)
@ -31,7 +31,7 @@ def run(job):
os.makedirs("%s/engine_%d" % (job.workdir, engine_idx))
if engine[0] == "smtbmc":
import sby_engine_smtbmc
from sby import sby_engine_smtbmc
sby_engine_smtbmc.run("cover", job, engine_idx, engine)
else:

4
sbysrc/sby_mode_live.py → sby/sby_mode_live.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(job):
job.handle_str_option("aigsmt", "yices")
@ -32,7 +32,7 @@ def run(job):
os.makedirs("%s/engine_%d" % (job.workdir, engine_idx))
if engine[0] == "aiger":
import sby_engine_aiger
from sby import sby_engine_aiger
sby_engine_aiger.run("live", job, engine_idx, engine)
else:

8
sbysrc/sby_mode_prove.py → sby/sby_mode_prove.py
View file

@ -17,7 +17,7 @@
#
import re, os, getopt
from sby_core import SbyTask
from sby.sby_core import SbyTask
def run(job):
job.handle_int_option("depth", 20)
@ -39,15 +39,15 @@ def run(job):
os.makedirs("%s/engine_%d" % (job.workdir, engine_idx))
if engine[0] == "smtbmc":
import sby_engine_smtbmc
from sby import sby_engine_smtbmc
sby_engine_smtbmc.run("prove", job, engine_idx, engine)
elif engine[0] == "aiger":
import sby_engine_aiger
from sby import sby_engine_aiger
sby_engine_aiger.run("prove", job, engine_idx, engine)
elif engine[0] == "abc":
import sby_engine_abc
from sby import sby_engine_abc
sby_engine_abc.run("prove", job, engine_idx, engine)
else:

10
setup.py Normal file
View file

@ -0,0 +1,10 @@
from setuptools import setup, find_packages
setup(
name='SymbiYosys',
packages=['sby'],
version='0.1',
description='Front-end for Yosys-based formal verification flows',
author='Clifford Wolf',
author_email='clifford@clifford.at',
install_requires=[],
py_modules=find_packages())