yosys-bin Documentation
=======================

**yosys-bin** is a portable, pre-built distribution of the
`Yosys Open Synthesis Suite <https://yosyshq.net/yosys/>`_ 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.

.. toctree::
   :maxdepth: 2
   :caption: Contents

   overview
   installation
   components
   dvflow
   building

Indices and tables
==================

* :ref:`genindex`
* :ref:`search`