BSD Ports

cad/symbiyosys 0.63_1 MidnightBSD

SymbiYosys (sby): Front-end for Yosys-based formal verification flows

System
MidnightBSD
Repository
mports
Maintainer
[email protected]
License
iscl
Categories
cad

Description

SymbiYosys (sby) is a front-end driver program for Yosys-based formal hardware verification flows.

In the other systems

The newest version among them is 0.69, as upstream numbers it.

SystemPortVersionVulnerabilitiesStatusMaintainerLast update
MidnightBSDcad/symbiyosys0.63_1 behind since 2026-09-15no data-[email protected]-
FreeBSDcad/symbiyosys0.69 newestnone known-[email protected]2026-09-15
GhostBSDcad/symbiyosys0.69 newestno data-[email protected]-

Install

Binary package:

mport install symbiyosys

From mports:

cd /usr/mports/cad/symbiyosys && make install clean

To depend on this port in another port's Makefile:

RUN_DEPENDS=	symbiyosys>0:cad/symbiyosys

Dependency graph

Ports that need it on the left, what it needs to run on the right; at most 8 of each. "Dependencies" below lists them all.

Dependencies

As this port's Makefile names them.

Runtime 1

Run dependencies 1

No port depends on this one.

Configuration

No options to configure.

USES
gmake python shebangfix
Service scripts
none

Files

pkg-plist 16
  • 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
  • share/yosys/python3/sby_status.py
distinfo 1
FileSizeSHA256
YosysHQ-sby-v0.63_GH0.tar.gz17691996ada7fd013a2d6c7381ea75419a00d20b847ab08d56147c3aa66e0ada8ca0d7