BSD Portscad/symbiyosys 0.69 FreeBSD
SymbiYosys (sby): Front-end for Yosys-based formal verification flows
- System
- FreeBSD
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
4a59fe0686- License
- ISCL
- Categories
- cad
- Package size
- 41.9 KiB, 221.7 KiB installed
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.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| FreeBSD | cad/symbiyosys | 0.69 newest | none known | - | [email protected] | 2026-09-15 |
| MidnightBSD | cad/symbiyosys | 0.63_1 | no data | - | [email protected] | - |
| GhostBSD | cad/symbiyosys | 0.69 newest | no data | - | [email protected] | - |
Install
Binary package:
pkg install symbiyosysFrom the ports tree:
cd /usr/ports/cad/symbiyosys/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= symbiyosys>0:cad/symbiyosysPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | 0.69 | 0.69 | - | - | - |
| FreeBSD:14:quarterly | 0.69 | 0.69 | n/a | - | - |
| FreeBSD:15:latest | 0.69 | 0.69 | n/a | - | 0.52 |
| FreeBSD:15:quarterly | 0.69 | 0.69 | n/a | n/a | n/a |
| FreeBSD:16:latest | 0.69 | 0.69 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
As this port's Makefile names them.
Runtime 1
yosys: cad/yosys
The full lists below include those, and their dependencies in turn.
Build dependencies 8
Run dependencies 124
- accessibility/at-spi2-core
- archivers/brotli
- archivers/libdeflate
- archivers/liblz4
- archivers/lzo2
- archivers/zstd
- cad/gtkwave
- cad/yosys
- converters/fribidi
- converters/libiconv
- databases/gdbm
- databases/sqlite3
- devel/binutils
- devel/boost-libs
- devel/dbus
- devel/dbus-glib
- devel/desktop-file-utils
- devel/gettext-runtime
- devel/glib20
- devel/gobject-introspection
- devel/google-perftools
- devel/gsettings-desktop-schemas
- devel/icu
- devel/json-glib
- devel/libdaemon
- devel/libdatrie
- devel/libedit
- devel/libepoll-shim
- devel/libevent
- devel/libffi
- devel/libgudev
- devel/libgusb
- devel/libinotify
- devel/libltdl
- devel/libthai
- devel/libudev-devd
- devel/libunwind
- devel/pcre2
- devel/py-packaging
- devel/py-pygobject
- devel/py-setuptools
- devel/pygobject-common
- devel/readline
- graphics/cairo
- graphics/colord
- graphics/gd
- graphics/gdk-pixbuf-extra
- graphics/gdk-pixbuf2
- graphics/giflib
- graphics/graphite2
- graphics/graphviz
- graphics/gtk-update-icon-cache
- graphics/jbigkit
- graphics/jpeg-turbo
- graphics/lcms2
- graphics/lerc
- graphics/libepoxy
- graphics/libglvnd
- graphics/librsvg2-rust
- graphics/png
- graphics/py-pycairo
- graphics/tiff
- graphics/wayland
- graphics/webp
- lang/duktape-lib
- lang/gcc14
- lang/python312
- lang/python315
- lang/tcl86
- math/gmp
- math/libtommath
- math/mpc
- math/mpdecimal
- math/mpfr
- math/openblas
- math/py-numpy
- math/yices
- misc/hicolor-icon-theme
- misc/hwdata
- misc/shared-mime-info
- multimedia/dav1d
- net/avahi-app
- print/cups
- print/freetype2
- print/harfbuzz
- print/indexinfo
- print/libpaper
- shells/bash
- sysutils/gnome_subr
- sysutils/polkit
- textproc/expat2
- textproc/libxml2
- x11-fonts/fontconfig
- x11-fonts/libXft
- x11-themes/adwaita-icon-theme
- x11-themes/adwaita-icon-theme-legacy
- x11-toolkits/gtk30
- x11-toolkits/libXaw
- x11-toolkits/libXmu
- x11-toolkits/libXt
The first 100 are listed.
No port depends on this one.
Configuration
No options to configure.
- USES
- gmake python shebangfix
- Service scripts
- none
Files
pkg-plist 17
- 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_itp.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
| File | Size | SHA256 |
|---|---|---|
| YosysHQ-sby-v0.69_GH0.tar.gz | 180502 | 65e1ee7610ade9297a1482a442d0aef79a79f5490229e7899b78747d3ca1ff8e |