From nobody Thu Jan 11 05:09:42 2024 X-Original-To: dev-commits-ports-all@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4T9Xlp4bTjz56RYN; Thu, 11 Jan 2024 05:09:42 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from mxrelay.nyi.freebsd.org (mxrelay.nyi.freebsd.org [IPv6:2610:1c1:1:606c::19:3]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature RSA-PSS (4096 bits) client-digest SHA256) (Client CN "mxrelay.nyi.freebsd.org", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4T9Xlp43g7z44Vs; Thu, 11 Jan 2024 05:09:42 +0000 (UTC) (envelope-from git@FreeBSD.org) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1704949782; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=/H84Bjex2fuBBqoZrHdXCUXwh+njwzJZ4i+UCqX3FY0=; b=oIQWoesM/unoU3UZlAgB/MrZZ1EGGbkPWt5vpfjbTCiYf0GGx/2huG6bwAssvrGMzacEw3 IBGiw1f+fS5/l/Cgk/BUm4J31j9RbUkfQn0m+UN/R58xxiULh+5kKSWcaebkQI/8oXNBEf djY3Zb4ij8ph+QAzlMQQH2sXpDV/g/Q6MBHYjSiAnD7gmTjTOBvlJgafCcT+GMh0ch+ZPy 8U6kai3O9sYn8evhpsydwvK1+Ove2ZNwM/qaabODWkpTbdUp2YWCNVqB20nBUgsIqIzGQ9 npLOGVB39/J3AJjJBtonC2ch0c9n7U5dz+HZLemHsMTMZMhKFnKIqpoQM8PxMQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=freebsd.org; s=dkim; t=1704949782; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding; bh=/H84Bjex2fuBBqoZrHdXCUXwh+njwzJZ4i+UCqX3FY0=; b=OVscBuk49v29iCwRA8fQrddiutGimcfNoSAXZVbS7JXAhYoutP6QaxljjJaprFlwDOnxK4 Yj09nQ4FOaiLmY4tWIA/61GH2XBOlq+YM/vvlwwGT9xFFWnyNL3dgON+RjhrYeVyMEZzOI fRjvNxZkFMhq1qQn3B2hSbrdXIh2M2RY3ZO6xvDa4L7Ig4CZ4Nmnr6eijPkItDL0mVG3cw w/SOXk6ZlrqkiQ69DtGiIsWxIq8aWMrwX2RpoCYU5xRbu4V6MM+PmvFlZ+NlSAgF7IQn9v 14Vyazkz20QLX95laFawMUaZv8PQgSBgC1RZvCDggQgKO00E37PsHaxNA975Tw== ARC-Authentication-Results: i=1; mx1.freebsd.org; none ARC-Seal: i=1; s=dkim; d=freebsd.org; t=1704949782; a=rsa-sha256; cv=none; b=MrUVU+eDAOerInxkFFr2sCuF1RQuUO9loLKR2tsrkLrCua7Xs1yJhjjOkb5plCcVPZj3KH fQtDzH+XtpMf5njxg4odDanlXT4pinCORDwXK0ok71Xior8ofxEu1Vp0flZYnyAKw0AzCZ y+1hT8ucxjR/pwuSn2KEY2rEZrUECAoBv2DSkFninxP4q0J1ysDxZMOcmDbdRBVC2h1g26 DNOhAMq6e7J3uEc4tqmXW0pPBvYW7xmxQlSIbhT6Pqx66X5jjLvHovVPwVdoyauR3PvWER 5iIfifKSVDiHwVI2zwtXHsu1ga9IK0l761Ve5mAEN6NhhAGkbmMau3tgQg9vhw== Received: from gitrepo.freebsd.org (gitrepo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:5]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256) (Client did not present a certificate) by mxrelay.nyi.freebsd.org (Postfix) with ESMTPS id 4T9Xlp2pMFz15Qn; Thu, 11 Jan 2024 05:09:42 +0000 (UTC) (envelope-from git@FreeBSD.org) Received: from gitrepo.freebsd.org ([127.0.1.44]) by gitrepo.freebsd.org (8.17.1/8.17.1) with ESMTP id 40B59gol060290; Thu, 11 Jan 2024 05:09:42 GMT (envelope-from git@gitrepo.freebsd.org) Received: (from git@localhost) by gitrepo.freebsd.org (8.17.1/8.17.1/Submit) id 40B59gad060287; Thu, 11 Jan 2024 05:09:42 GMT (envelope-from git) Date: Thu, 11 Jan 2024 05:09:42 GMT Message-Id: <202401110509.40B59gad060287@gitrepo.freebsd.org> To: ports-committers@FreeBSD.org, dev-commits-ports-all@FreeBSD.org, dev-commits-ports-main@FreeBSD.org From: Yuri Victorovich Subject: git: 45581a7943c6 - main - cad/symbiyosys: New port: SymbiYosys (sby): Front-end for Yosys-based formal verification flows List-Id: Commit messages for all branches of the ports repository List-Archive: https://lists.freebsd.org/archives/dev-commits-ports-all List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-dev-commits-ports-all@freebsd.org X-BeenThere: dev-commits-ports-all@freebsd.org MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Git-Committer: yuri X-Git-Repository: ports X-Git-Refname: refs/heads/main X-Git-Reftype: branch X-Git-Commit: 45581a7943c643952ad7535e1a740ba749a12b4f Auto-Submitted: auto-generated The branch main has been updated by yuri: URL: https://cgit.FreeBSD.org/ports/commit/?id=45581a7943c643952ad7535e1a740ba749a12b4f commit 45581a7943c643952ad7535e1a740ba749a12b4f Author: Yuri Victorovich AuthorDate: 2024-01-11 05:05:15 +0000 Commit: Yuri Victorovich CommitDate: 2024-01-11 05:09:39 +0000 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(+) 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