FreeBSD.software
Home/cad/symbiyosys

symbiyosys

0.60cad

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.

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

Dependencies (2)

yosyspython311