From 45581a7943c643952ad7535e1a740ba749a12b4f Mon Sep 17 00:00:00 2001 From: Yuri Victorovich Date: Wed, 10 Jan 2024 21:05:15 -0800 Subject: cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal verification flows --- cad/Makefile | 1 + cad/symbiyosys/Makefile | 27 +++++++++++++++++++++++++++ cad/symbiyosys/distinfo | 3 +++ cad/symbiyosys/pkg-descr | 2 ++ cad/symbiyosys/pkg-plist | 15 +++++++++++++++ 5 files changed, 48 insertions(+) create mode 100644 cad/symbiyosys/Makefile create mode 100644 cad/symbiyosys/distinfo create mode 100644 cad/symbiyosys/pkg-descr create mode 100644 cad/symbiyosys/pkg-plist 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 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 -- cgit v1.2.3