FreeBSD.software
Home/cad/symbiyosys

symbiyosys

0.60

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

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

Origin: cad/symbiyosys
Category: cad
Size: 213KiB
License: ISCL
Maintainer: yuri@FreeBSD.org
Dependencies: 2 packages
Required by: 0 packages
Website: yosyshq.readthedocs.io/projects/sby/en/latest
$pkg install symbiyosys

Dependencies (2)

yosyspython311

More in cad

opencascade7.9.3_2
Open CASCADE Technology, 3D modeling & numerical simulation
scotch6.0.4.a7_6
Package for graph and mesh partitioning and sparse matrix ordering
csxcad0.6.3_7
C++ library to describe geometrical objects
kicad9.0.7,2
Schematic and PCB editing software
kicad-develr20251216162640_1
Schematic and PCB editing software
librnd4.4.0
Flexible, modular two-dimensional CAD engine
ngspice_rework-shlib44.2
Mixed-signal circuit simulator derived from Spice and Cider
yosys0.60
Yosys Open SYnthesis Suite
gtkwave3.3.126
Electronic Waveform Viewer
iverilog12.0_2
Verilog simulation and synthesis tool