# Install yosys with Homebrew, apk, apt, dnf, Nix, pacman, scoop Framework for Verilog RTL synthesis. Version 0.66 via Homebrew; verified 2026-06-22. ## Install ```sh sudo av install brew:yosys ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install yosys ``` Evidence: local Homebrew formula metadata ### Linux - apk (92%): ```sh sudo apk add py3-yosys ``` Evidence: Alpine Linux edge package indexes: py3-yosys from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz - Debian apt (92%): ```sh sudo apt install yosys ``` Evidence: Debian stable package indexes: yosys from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install yosys ``` Evidence: Fedora Rawhide package metadata: yosys from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst - Nix (92%): ```sh nix profile install nixpkgs#yosys ``` Evidence: nixpkgs package indexes: pkgs/by-name/yo/yosys/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S yosys ``` Evidence: Arch Linux sync databases: yosys from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz ### Windows - Scoop (92%): ```sh scoop install main/yosys ``` Evidence: Scoop official bucket manifest trees: bucket/yosys.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1 ## Package facts - **Package key:** brew:yosys - **Package manager:** Homebrew - **Package manager page:** - **Version:** 0.66 - **Source summary:** Framework for Verilog RTL synthesis - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** ISC - **Source archive:** - **Last updated:** 2026-06-22T14:06:44-07:00 - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - yosys (cli) - yosys-abc (cli) - yosys-config (cli) - yosys-filterlib (cli) - yosys-smtbmc (cli) - yosys-witness (cli) - yosys (alias) - yosys-abc (alias) - yosys-config (alias) - yosys-filterlib (alias) - yosys-smtbmc (alias) - yosys-witness (alias) ## Dependencies - libtommath - readline - tcl-tk ## Build dependencies - bison - flex - pkgconf ## Uses from macOS - libffi - python ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Freshness - Page generated: 2026-07-08 - Package-manager version: 0.66 - Package-manager updated: 2026-06-22 - Local data: ok - Upstream repository: https://github.com/YosysHQ/yosys - info: No cached GitHub release or tag data was available. ## Project history and usage Yosys is the open-source RTL synthesis framework that made Verilog synthesis scriptable, inspectable, and packageable in the same way compilers and Unix development tools are. It reads HDL, transforms designs through passes over RTLIL, maps logic with tools such as ABC, and writes netlists or interchange formats for FPGA, ASIC, and formal flows. ### Project history Yosys began as Claire Wolf's BSc thesis project to support synthesis for a coarse-grained reconfigurable architecture, then expanded into general infrastructure for synthesis research. The Yosys documentation preserves that origin and describes the first documentation as a bachelor thesis at Vienna University of Technology. The 2013 Austrochip paper framed the problem plainly: commercial ASIC and FPGA tools dominated synthesis, but closed internals and encrypted intermediate formats made them poor bases for research and reproducibility. Yosys answered that gap with an extensible open framework: frontends convert HDL into RTLIL, passes transform and analyze it, and backends write the resulting design. By the late 2010s Yosys had moved from research artifact to central open hardware infrastructure. Contemporary documentation describes full support for the synthesizable subset of Verilog-2005, use in hobbyist, academic, and commercial settings, and a role in open FPGA and ASIC flows. YosysHQ now maintains Yosys and related tools, with commercial extensions available through Tabby CAD Suite while the open tool remains the ecosystem core. ### Adoption history Yosys adoption followed the needs of open hardware. It became the synthesis engine in flows where proprietary vendor tools were unavailable, undesirable, or too opaque: Lattice iCE40/ECP5 flows with nextpnr, OpenLane/SkyWater open ASIC experiments, formal verification frontends, and education/research workflows that needed reproducible tooling. AB Open described Yosys as first launched in 2012 and as the first full-featured open-source package for Verilog HDL synthesis. That claim captures why it mattered: before Yosys, open-source HDL tooling had simulators and pieces of logic optimization, but not a broadly useful, scriptable Verilog synthesis framework packaged for everyday developers. Its adoption also comes from being a framework rather than a single hard-coded flow. Users can run the interactive shell, write synthesis scripts, add passes, target multiple FPGA families, emit formal solver formats, and combine it with related YosysHQ tools such as SBY, EQY, MCY, and SCY. ### How it is used Typical use starts with reading Verilog or SystemVerilog, checking hierarchy, running passes such as proc, opt, fsm, memory, techmap, and abc, then writing Verilog, BLIF, JSON, BTOR, SMT2, or another backend format. The README emphasizes both interactive use and script files, which made synthesis flows reviewable and reproducible. For FPGA work, Yosys handles synthesis while nextpnr or vendor tools handle place-and-route. For ASIC-style open flows, Yosys performs the synthesis portion before later physical-design stages. For formal workflows, it converts HDL into solver-oriented representations and underpins tools such as SBY. Package-manager users install it as a command-line suite: yosys for the shell and scripts, yosys-config for build integration, yosys-smtbmc for model checking workflows, and auxiliary binaries such as yosys-abc where packaged. ### Why package nerds care Yosys is one of the clearest examples of package managers changing who can participate in hardware design. A synthesis tool that once would have meant vendor installers and license servers can be installed, scripted, pinned in CI, built from source, and combined with other open packages. It also made hardware compilation feel more like software compilation: inspectable intermediate representations, pass pipelines, text scripts, plugins, tests, and reproducible command-line output. That is why package collections treat it as core developer tooling rather than as an exotic EDA side package. ### Timeline - 2012: Yosys is publicly launched as an open Verilog synthesis suite. - 2013: The Yosys thesis/paper documents its design, RTLIL flow, extensibility, and reproducibility motivation. - 2018: Public coverage describes Yosys as a popular open synthesis framework with growing platform support. - 2020s: Yosys becomes central to open FPGA flows, OpenLane-style open ASIC work, and YosysHQ formal tools. ### Related projects - Berkeley ABC is used by Yosys for combinational logic minimization and technology mapping. - nextpnr is the open place-and-route tool commonly paired with Yosys for FPGA bitstream flows. - OpenLane uses Yosys for the synthesis stage in open ASIC flows. - SBY, EQY, MCY, and SCY are YosysHQ tools built around Yosys for formal verification, equivalence checking, mutation coverage, and trace workflows. - OSS CAD Suite and Tabby CAD Suite distribute Yosys with related open and commercial EDA tooling. ### Sources - - - - - - ## Security Notes No matching local secret-handling manifest was found for yosys. Nucleus package metadata is still published here so future coverage has a stable package URL. ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** yosys - **Version Scheme:** 0 - **Revision:** 0 - **Head Version:** HEAD - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** head, stable ## Other Package-Manager Records - Debian apt - yosys - 0.52-2: normalized package name match | Debian stable package indexes: yosys from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Framework for Verilog RTL synthesis | https://github.com/YosysHQ/yosys - Debian apt - yosys-abc - 0.52-2: normalized package name match | Debian stable package indexes: yosys-abc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Sequential Logic Synthesis and Verification Algorithms | https://github.com/YosysHQ/yosys - Debian apt - yosys-dev - 0.52-2: normalized package name match | Debian stable package indexes: yosys-dev from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Framework for Verilog RTL synthesis (development files) | https://github.com/YosysHQ/yosys - Debian apt - yosys-doc - 0.52-2: normalized package name match | Debian stable package indexes: yosys-doc from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Framework for Verilog RTL synthesis (documentation) | https://github.com/YosysHQ/yosys - Nix - yosys: normalized package name match | nixpkgs package indexes: pkgs/by-name/yo/yosys/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - yosys - 0.33-5build2: normalized package name match | Ubuntu 24.04 LTS package indexes: yosys from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Framework for Verilog RTL synthesis | https://github.com/YosysHQ/yosys - Ubuntu apt - yosys-abc - 0.33-5build2: normalized package name match | Ubuntu 24.04 LTS package indexes: yosys-abc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Sequential Logic Synthesis and Verification Algorithms | https://github.com/YosysHQ/yosys - Ubuntu apt - yosys-dev - 0.33-5build2: normalized package name match | Ubuntu 24.04 LTS package indexes: yosys-dev from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Framework for Verilog RTL synthesis (development files) | https://github.com/YosysHQ/yosys - Ubuntu apt - yosys-doc - 0.33-5build2: normalized package name match | Ubuntu 24.04 LTS package indexes: yosys-doc from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Framework for Verilog RTL synthesis (documentation) | https://github.com/YosysHQ/yosys - apk - py3-yosys - 0.62-r2: normalized package name match | Alpine Linux edge package indexes: py3-yosys from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz | Yosys Open SYnthesis Suite (python module) | https://yosyshq.net - apk - yosys - 0.62-r2: normalized package name match | Alpine Linux edge package indexes: yosys from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz | Yosys Open SYnthesis Suite | https://yosyshq.net - apk - yosys-dev - 0.62-r2: normalized package name match | Alpine Linux edge package indexes: yosys-dev from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz | Yosys Open SYnthesis Suite (development files) | https://yosyshq.net - dnf - yosys - 0.66-1.20260601git86f2dde.fc45: normalized package name match | Fedora Rawhide package metadata: yosys from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Yosys Open SYnthesis Suite, including Verilog synthesizer | http://www.clifford.at/yosys/ - dnf - yosys-devel - 0.66-1.20260601git86f2dde.fc45: normalized package name match | Fedora Rawhide package metadata: yosys-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Development files to build Yosys synthesizer plugins | http://www.clifford.at/yosys/ - dnf - yosys-doc - 0.66-1.20260601git86f2dde.fc45: normalized package name match | Fedora Rawhide package metadata: yosys-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Documentation for Yosys synthesizer | http://www.clifford.at/yosys/ - dnf - yosys-share - 0.66-1.20260601git86f2dde.fc45: normalized package name match | Fedora Rawhide package metadata: yosys-share from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Architecture-independent Yosys files | http://www.clifford.at/yosys/ ## Related links - [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [Networking and protocol packages](https://www.automicvault.com/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata. - [tcl-tk](https://www.automicvault.com/pkg/brew/tcl-tk/) - Runtime dependency declared by Homebrew. - [bison](https://www.automicvault.com/pkg/brew/bison/) - Build dependency declared by Homebrew. - [flex](https://www.automicvault.com/pkg/brew/flex/) - Build dependency declared by Homebrew. - [pkgconf](https://www.automicvault.com/pkg/brew/pkgconf/) - Build dependency declared by Homebrew. - [sby](https://www.automicvault.com/pkg/brew/sby/) - Popular package that depends on this formula. - [gplcver](https://www.automicvault.com/pkg/brew/gplcver/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog. - [easyeda2kicad](https://www.automicvault.com/pkg/brew/easyeda2kicad/) - Shares av.db curated category or tags: cli, developer-tools, eda. - [gerbv](https://www.automicvault.com/pkg/brew/gerbv/) - Shares av.db curated category or tags: cli, developer-tools, eda. - [netlistsvg](https://www.automicvault.com/pkg/brew/netlistsvg/) - Shares av.db curated category or tags: cli, developer-tools, eda. - [uhdm](https://www.automicvault.com/pkg/brew/uhdm/) - Shares av.db curated category or tags: cli, developer-tools, eda. - [icarus-verilog](https://www.automicvault.com/pkg/brew/icarus-verilog/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog. - [nextpnr-ice40](https://www.automicvault.com/pkg/brew/nextpnr-ice40/) - Shares av.db curated category or tags: cli, developer-tools, eda, fpga. - [surelog](https://www.automicvault.com/pkg/brew/surelog/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog. - [bsc](https://www.automicvault.com/pkg/brew/bsc/) - Local package facts share a topical domain. Shared terms: cli, developer, developer-tools, hardware, tcl. ## Combined YAML source View the package source record on GitHub. [combined/yosys.yml](https://github.com/automic-vault/db/blob/main/combined/yosys.yml) ## Sources - Nucleus package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - av.db category and tag curation - package relationship graph - external package-manager database matches - cross-ecosystem install command graph