yosys-bin Documentation

yosys-bin is a portable, pre-built distribution of the Yosys Open Synthesis Suite for Linux (manylinux 2.34 / glibc 2.34+). It bundles everything needed for RTL synthesis, formal verification preparation, and Python-driven EDA flows in a single self-contained tarball.

Contents

• Overview
  • Why yosys-bin?
  • Bundled components
  • Release naming
• Installation
  • From a GitHub Release tarball
  • With IVPM
  • Using pyosys
  • Loading the yosys-slang plugin
  • System requirements
• Components
  • Yosys
  • pyosys — Python Bindings
  • yosys-slang Plugin
  • Boolector SMT Solver
  • sby — SymbiYosys
  • mcy — Mutation Cover with Yosys
  • eqy — Equivalence Check with Yosys
  • dv-flow-libyosys
• DV Flow Task Reference
  • File types
  • Synthesis tasks
  • Formal verification
  • Utility tasks
• Building from Source
  • Prerequisites
  • Build script
  • Environment variables
  • CI / GitHub Actions
  • Release layout

Indices and tables

• Index

• Search Page