sby

0.69

Front-end for Yosys-based formal verification flows

Install

brew install sby

Details

Homepage: symbiyosys.readthedocs.io
Type: Formula
License: ISC
Tap: homebrew/core

Sources

Supported platforms

Architecture	Platforms	Version	Download
Intel	All	0.69	File SHA-256 `fa8934c8a308abb661d108a73fde38e039debfc48ceb7ad1058584e85616172e`

Dependencies

python@3.14
yosys

Package data

30-day installs: 7
90-day installs: 68
365-day installs: 349