diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-11 05:05:15 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-01-11 05:09:39 +0000 |
| commit | 45581a7943c643952ad7535e1a740ba749a12b4f (patch) | |
| tree | 0d933f094ca6c0292658902d5ac772a75f260a06 | |
| parent | e12105436281dc3eb31765886625c666df12e755 (diff) | |
| download | ports-45581a7943c643952ad7535e1a740ba749a12b4f.tar.gz ports-45581a7943c643952ad7535e1a740ba749a12b4f.zip | |
cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal verification flows
| -rw-r--r-- | cad/Makefile | 1 | ||||
| -rw-r--r-- | cad/symbiyosys/Makefile | 27 | ||||
| -rw-r--r-- | cad/symbiyosys/distinfo | 3 | ||||
| -rw-r--r-- | cad/symbiyosys/pkg-descr | 2 | ||||
| -rw-r--r-- | cad/symbiyosys/pkg-plist | 15 |
5 files changed, 48 insertions, 0 deletions
diff --git a/cad/Makefile b/cad/Makefile index d912452c14d8..e85ed462ada0 100644 --- a/cad/Makefile +++ b/cad/Makefile @@ -142,6 +142,7 @@ SUBDIR += svlint SUBDIR += svls SUBDIR += sweethome3d + SUBDIR += symbiyosys SUBDIR += tkgate SUBDIR += tochnog SUBDIR += uhdm diff --git a/cad/symbiyosys/Makefile b/cad/symbiyosys/Makefile new file mode 100644 index 000000000000..c77313b1ff80 --- /dev/null +++ b/cad/symbiyosys/Makefile @@ -0,0 +1,27 @@ +PORTNAME= symbiyosys +DISTVERSIONPREFIX= yosys- +DISTVERSION= 0.36 +CATEGORIES= cad +PKGNAMEPREFIX= + +MAINTAINER= yuri@FreeBSD.org +COMMENT= SymbiYosys (sby): Front-end for Yosys-based formal verification flows +WWW= https://yosyshq.readthedocs.io/projects/sby/en/latest/ + +LICENSE= ISCL +LICENSE_FILE= ${WRKSRC}/COPYING + +RUN_DEPENDS= yosys:cad/yosys + +USES= gmake python shebangfix + +USE_GITHUB= yes +GH_ACCOUNT= YosysHQ +GH_PROJECT= sby + +SHEBANG_FILES= sbysrc/sby.py + +NO_BUILD= yes +NO_ARCH= yes + +.include <bsd.port.mk> diff --git a/cad/symbiyosys/distinfo b/cad/symbiyosys/distinfo new file mode 100644 index 000000000000..a75b96da9de5 --- /dev/null +++ b/cad/symbiyosys/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1704941121 +SHA256 (YosysHQ-sby-yosys-0.36_GH0.tar.gz) = 7750abfada8b70d134f4c65ce7aa2a72f514b625d6786bd77a7a9c4fa68fd418 +SIZE (YosysHQ-sby-yosys-0.36_GH0.tar.gz) = 195263 diff --git a/cad/symbiyosys/pkg-descr b/cad/symbiyosys/pkg-descr new file mode 100644 index 000000000000..f85079cc2669 --- /dev/null +++ b/cad/symbiyosys/pkg-descr @@ -0,0 +1,2 @@ +SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware +verification flows. diff --git a/cad/symbiyosys/pkg-plist b/cad/symbiyosys/pkg-plist new file mode 100644 index 000000000000..53b3868d7279 --- /dev/null +++ b/cad/symbiyosys/pkg-plist @@ -0,0 +1,15 @@ +bin/sby +share/yosys/python3/sby_autotune.py +share/yosys/python3/sby_cmdline.py +share/yosys/python3/sby_core.py +share/yosys/python3/sby_design.py +share/yosys/python3/sby_engine_abc.py +share/yosys/python3/sby_engine_aiger.py +share/yosys/python3/sby_engine_btor.py +share/yosys/python3/sby_engine_smtbmc.py +share/yosys/python3/sby_jobserver.py +share/yosys/python3/sby_mode_bmc.py +share/yosys/python3/sby_mode_cover.py +share/yosys/python3/sby_mode_live.py +share/yosys/python3/sby_mode_prove.py +share/yosys/python3/sby_sim.py |