sby ☆
« Back to VersTracker
Description:
Front-end for Yosys-based formal verification flows
Type: Formula  |  Latest Version: 0.60@0  |  Tracked Since: Dec 3, 2025
Links: Homepage  |  formulae.brew.sh
Category: Developer tools
Tags: hardware verification formal yosys eda
Install: brew install sby
About:
Sby is a Python-based front-end for the Yosys formal verification suite. It simplifies the process of setting up and running proofs by abstracting the complexities of toolchain configuration. It supports multiple solvers and backends, making it easier to verify hardware designs for logical correctness.
Key Features:
  • Unified front-end for Yosys formal verification tools
  • Supports SMT, ABC, and other solvers
  • Simplifies testbench and proof setup via simple configuration files
  • Automates the execution of complex verification flows
Use Cases:
  • Verifying hardware designs for logical bugs without extensive testbenches
  • Automating formal verification in CI/CD pipelines for digital logic
  • Checking safety and security properties in RTL code
Alternatives:
  • SymbiYosys – Sby is the command-line front-end; SymbiYosys is often used as the underlying engine or suite.
  • Verilator – Verilator is primarily a simulation tool, whereas Sby focuses on formal mathematical proofs.
Version History
Detected Version Rev Change Commit
Dec 3, 2025 11:30am 0 VERSION_BUMP ace7df4a
Oct 8, 2025 11:59am 0 VERSION_BUMP 69fcdcc8
Aug 26, 2025 7:59am 0 VERSION_BUMP 6dec5bb4
« Back to VersTracker  |  Browse Packages  |  About