Command-line tool

sby

brew/sby

Checked 25 Oct 2026, 21:09 UTC · Listing refreshed from Homebrew, winget, npm, Scoop and cargo; npm packages checked against OSV.dev

Front-end for Yosys-based formal verification flows

Website Source

At a glance

Type

Command-line tool

Install on

macOS

Last checked

25 Oct 2026, 21:09 UTC

Install it

macOS

brew install sby

Related command-line tools

• yosys
  Framework for Verilog RTL synthesis
• netlistsvg
  Draws an SVG schematic from a yosys JSON netlist
• coq
  A formal proof management system. It provides a formal language to write mathematical definitions, executable…
• ats2-postiats
  Programming language with formal specification features
• fvim
  Neovim front-end UI
• fizsh
  Fish-like front end for ZSH
• ddd
  Graphical front-end for command-line debuggers
• nvui
  Fast and feature-rich front-end for neovim

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents