# Install icarus-verilog with Homebrew, winget, apk, chocolatey, apt, dnf, MacPorts, Nix, pacman, scoop, zypper Verilog simulation and synthesis tool. Version 13.0 via Homebrew; verified 2026-06-27. ## Install ```sh sudo av install brew:icarus-verilog ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install icarus-verilog ``` Evidence: local Homebrew formula metadata - MacPorts (94%): ```sh sudo port install iverilog ``` Evidence: MacPorts ports tree: science/iverilog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 ### Linux - apk (92%): ```sh sudo apk add iverilog ``` Evidence: Alpine Linux edge package indexes: iverilog from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz - Debian apt (92%): ```sh sudo apt install iverilog ``` Evidence: Debian stable package indexes: iverilog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz - dnf (92%): ```sh sudo dnf install iverilog ``` Evidence: Fedora Rawhide package metadata: iverilog 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#iverilog ``` Evidence: nixpkgs package indexes: pkgs/by-name/iv/iverilog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - pacman (92%): ```sh sudo pacman -S iverilog ``` Evidence: Arch Linux sync databases: iverilog from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz - zypper (92%): ```sh sudo zypper install iverilog ``` Evidence: openSUSE Tumbleweed package metadata: iverilog from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst ### Windows - winget (92%): ```sh winget install --id Icarus.Verilog -e ``` Evidence: Windows Package Manager source index: Icarus.Verilog from https://cdn.winget.microsoft.com/cache/source.msix - Chocolatey (92%): ```sh choco install iverilog ``` Evidence: Chocolatey community package catalog: iverilog from http://community.chocolatey.org/api/v2/Packages?$filter=IsLatestVersion&$select=Id&$top=1000&$skiptoken='6.5836','capture' - Scoop (92%): ```sh scoop install main/iverilog ``` Evidence: Scoop official bucket manifest trees: bucket/iverilog.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1 ## Package facts - **Package key:** brew:icarus-verilog - **Package manager:** Homebrew - **Package manager page:** - **Version:** 13.0 - **Source summary:** Verilog simulation and synthesis tool - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** GPL-2.0-or-later AND LGPL-2.1-or-later - **Source archive:** - **Last updated:** 2026-06-27T18:09:14-04:00 - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - iverilog (cli) - iverilog-vpi (cli) - vvp (cli) - iverilog (alias) - iverilog-vpi (alias) - vvp (alias) ## Build dependencies - autoconf - bison ## Uses from macOS - bzip2 ## 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: 13.0 - Package-manager updated: 2026-06-27 - Local data: ok - Upstream repository: https://github.com/steveicarus/iverilog - info: No cached GitHub release or tag data was available. ## Project history and usage Icarus Verilog is a long-running free Verilog compiler and simulation toolchain. It compiles Verilog and a growing subset of SystemVerilog, usually emitting `vvp` bytecode that is then executed by the `vvp` runtime. ### Project history The project README describes Icarus Verilog as a compiler for the IEEE 1364 Verilog HDL, with partial IEEE 1800 SystemVerilog support, and emphasizes that it is a compiler whose generated code is handled by back-end tools rather than a monolithic traditional simulator. Its source tree carries a 2000-2026 Stephen Williams copyright line, and its release tags span early 0.8/0.9 series tags through v13_0. The documentation site includes user, target, and developer manuals, reflecting a tool that has accumulated both end-user workflows and internal extension points over decades. ### Adoption history Icarus Verilog is widely packaged across Unix-like and developer package ecosystems, including Homebrew, Debian/Ubuntu, Fedora, Arch, Nix, MacPorts, Chocolatey, Scoop, winget, and openSUSE according to the input package metadata. That spread mirrors its role as an accessible simulator for students, hobbyists, CI jobs, and open hardware projects. ### How it is used The basic workflow is to compile Verilog sources with `iverilog -o output input.v` and run the compiled result with `vvp output`. The documentation also covers command files for larger designs, root module selection, waveform viewing, VPI modules, multiple code-generation targets, and developer internals. ### Why package nerds care Icarus Verilog is one of the canonical open-source EDA packages: old enough to have autotools-era build expectations, important enough to appear in nearly every serious package set, and small enough to be a default answer when a package manager needs a Verilog simulator for tests or education. ### Timeline - 2000: Source tree copyright range begins for Stephen Williams's Icarus Verilog codebase. - 2006: Public tags include v8-s20060822 and the 0.8/0.9 release line. - 2010s: v10 and v11 tags mark continued evolution of the compiler/runtime toolchain. - 2020s: v12_0 and v13_0 tags mark later standard-conformance, diagnostics, and runtime stability work. ### Related projects - Related tools and concepts include Verilog HDL, SystemVerilog, IEEE 1364, IEEE 1800, VPI, waveform viewers, open-source EDA flows, and the `vvp` runtime shipped with Icarus Verilog. ### Sources - - - - - ## Security Notes narrow executable package without higher-risk signals. - **Geiger risk:** green / low - narrow executable package without higher-risk signals ## Source Database Details - **Source Database:** Homebrew formula API - **Tap:** homebrew/core - **Full Name:** icarus-verilog - **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 - winget - Icarus.Verilog: normalized package name match | Windows Package Manager source index: Icarus.Verilog from https://cdn.winget.microsoft.com/cache/source.msix - MacPorts - iverilog: installed executable or alias match | MacPorts ports tree: science/iverilog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1 - Debian apt - iverilog - 12.0-2+b1: installed executable or alias match | Debian stable package indexes: iverilog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | Icarus verilog compiler | http://iverilog.icarus.com - Nix - iverilog: installed executable or alias match | nixpkgs package indexes: pkgs/by-name/iv/iverilog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1 - Ubuntu apt - iverilog - 12.0-2build2: installed executable or alias match | Ubuntu 24.04 LTS package indexes: iverilog from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | Icarus verilog compiler | http://iverilog.icarus.com - apk - iverilog - 13.0-r0: installed executable or alias match | Alpine Linux edge package indexes: iverilog from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Icarus Verilog compiler and simulation tool | https://steveicarus.github.io/iverilog/ - apk - iverilog-dev - 13.0-r0: installed executable or alias match | Alpine Linux edge package indexes: iverilog-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Icarus Verilog compiler and simulation tool (development files) | https://steveicarus.github.io/iverilog/ - apk - iverilog-doc - 13.0-r0: installed executable or alias match | Alpine Linux edge package indexes: iverilog-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Icarus Verilog compiler and simulation tool (documentation) | https://steveicarus.github.io/iverilog/ - dnf - iverilog - 13.0-7.fc45: installed executable or alias match | Fedora Rawhide package metadata: iverilog from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Icarus Verilog is a verilog compiler and simulator | https://github.com/steveicarus/iverilog - dnf - iverilog-devel - 13.0-7.fc45: installed executable or alias match | Fedora Rawhide package metadata: iverilog-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Header files for Icarus Verilog development | https://github.com/steveicarus/iverilog - dnf - iverilog-static - 13.0-7.fc45: installed executable or alias match | Fedora Rawhide package metadata: iverilog-static from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst | Static libraries for Icarus Verilog development | https://github.com/steveicarus/iverilog - pacman - iverilog - 13.0-1: installed executable or alias match | Arch Linux sync databases: iverilog from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | Icarus Verilog compiler and simulation tool | https://github.com/steveicarus/iverilog - zypper - iverilog - 13.0-1.2: installed executable or alias match | openSUSE Tumbleweed package metadata: iverilog from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | Simulation and synthesis tool for IEEE-1364 | https://steveicarus.github.io/iverilog/ - zypper - iverilog-devel - 13.0-1.2: installed executable or alias match | openSUSE Tumbleweed package metadata: iverilog-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst | Icarus Verilog development files | https://steveicarus.github.io/iverilog/ - Chocolatey - iverilog: installed executable or alias match | Chocolatey community package catalog: iverilog from http://community.chocolatey.org/api/v2/Packages?$filter=IsLatestVersion&$select=Id&$top=1000&$skiptoken='6.5836','capture' - Scoop - main/iverilog: installed executable or alias match | Scoop official bucket manifest trees: bucket/iverilog.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1 ## Related links - [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family. - [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. - [autoconf](https://www.automicvault.com/pkg/brew/autoconf/) - Build dependency declared by Homebrew. - [bison](https://www.automicvault.com/pkg/brew/bison/) - Build dependency declared by Homebrew. - [bsc](https://www.automicvault.com/pkg/brew/bsc/) - 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, simulation, verilog. - [sv2v](https://www.automicvault.com/pkg/brew/sv2v/) - Shares av.db curated category or tags: cli, developer-tools, eda, hdl, verilog. - [surelog](https://www.automicvault.com/pkg/brew/surelog/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog. - [surfer](https://www.automicvault.com/pkg/brew/surfer/) - Shares av.db curated category or tags: cli, developer-tools, eda, hdl. - [svlint](https://www.automicvault.com/pkg/brew/svlint/) - Shares av.db curated category or tags: cli, developer-tools, eda, hdl. - [yosys](https://www.automicvault.com/pkg/brew/yosys/) - 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. ## Combined YAML source View the package source record on GitHub. [combined/icarus-verilog.yml](https://github.com/automic-vault/db/blob/main/combined/icarus-verilog.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