Automic VaultAutomic Vault

brew

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 commandSecurity notes

install

Additional install commands

macOS

Homebrewverified · 100%
brew install icarus-verilog

local Homebrew formula metadata

MacPortsverified · 94%
sudo port install iverilog

MacPorts ports tree · science/iverilog/Portfile · source: api.github.com

Linux

Alpine Linux apkverified · 92%
sudo apk add iverilog

Alpine Linux edge package indexes · iverilog · source: dl-cdn.alpinelinux.org

Debian aptverified · 92%
sudo apt install iverilog

Debian stable package indexes · iverilog · source: deb.debian.org

Fedora dnfverified · 92%
sudo dnf install iverilog

Fedora Rawhide package metadata · iverilog · source: dl.fedoraproject.org

Nixverified · 92%
nix profile install nixpkgs#iverilog

nixpkgs package indexes · pkgs/by-name/iv/iverilog/package.nix · source: api.github.com

Arch Linux pacmanverified · 92%
sudo pacman -S iverilog

Arch Linux sync databases · iverilog · source: geo.mirror.pkgbuild.com

openSUSE zypperverified · 92%
sudo zypper install iverilog

openSUSE Tumbleweed package metadata · iverilog · source: download.opensuse.org

Windows

Windows Package Managerverified · 92%
winget install --id Icarus.Verilog -e

Windows Package Manager source index · Icarus.Verilog · source: cdn.winget.microsoft.com

Chocolateyverified · 92%
choco install iverilog

Chocolatey community package catalog · iverilog · source: community.chocolatey.org

Scoopverified · 92%
scoop install main/iverilog

Scoop official bucket manifest trees · bucket/iverilog.json · source: api.github.com

overview

Package summary

Verilog simulation and synthesis tool

Commands and aliases

  • iverilog
  • iverilog-vpi
  • vvp

history

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.

security posture

Risk level: green

narrow executable package without higher-risk signals.

Risk classifier

green risk · low confidence · appliance

Why

  • narrow executable package without higher-risk signals

Signals

  • metadata:no-higher-risk-signals

Install behavior

  • No Homebrew post-install hook is recorded in formula metadata.
  • Homebrew bottle metadata is available for 6 platform targets.
  • Build metadata lists 2 build dependencies.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

CommandKindExposureNote
iverilogcliglobal executable
iverilog-vpicliglobal executable
vvpcliglobal executable

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-07-08
manager version13.0
manager updated2026-06-27
local dataok
upstreamnot checked
latest detectednot detected

https://github.com/steveicarus/iverilog

install metadata

Package metadata

Package keybrew:icarus-verilog
Version13.0
Package managerHomebrew
Package manager pagehttps://formulae.brew.sh/formula/icarus-verilog
Homepagehttps://steveicarus.github.io/iverilog/
Repositoryhttps://github.com/steveicarus/iverilog
Upstream docshttps://steveicarus.github.io/iverilog
LicenseGPL-2.0-or-later AND LGPL-2.1-or-later
Source archivehttps://github.com/steveicarus/iverilog/archive/refs/tags/v13_0.tar.gz
Last updated2026-06-27T18:09:14-04:00
Pulseupdated
Build dependenciesautoconf, bison
Uses from macOSbzip2
Bottleavailable (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnot defined
Servicenone declared

registry facts

Source database details

Source DatabaseHomebrew formula API
Taphomebrew/core
Full Nameicarus-verilog
Version Scheme0
Revision0
Head VersionHEAD
Bottle Stable Root URLhttps://ghcr.io/v2/homebrew/core
Deprecatedno
Disabledno
Keg Onlyno
URL Keys
  • head
  • stable

source database matches

Other package-manager records

Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.

winget95%

Icarus.Verilog

winget install --id Icarus.Verilog -e
  • normalized package name match
  • Matched by: Icarus Verilog
Windows Package Manager source index · cdn.winget.microsoft.com · Windows Package Manager source index: Icarus.Verilog from https://cdn.winget.microsoft.com/cache/source.msix
MacPorts94%

iverilog

sudo port install iverilog
  • installed executable or alias match
  • Matched by: Iverilog
MacPorts ports tree · api.github.com · MacPorts ports tree: science/iverilog/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1
Debian apt92%

iverilog 12.0-2+b1

Icarus verilog compiler

http://iverilog.icarus.com

sudo apt install iverilog
  • Section: electronics
  • Architecture: amd64
  • Source Package: iverilog
  • 6 dependencies
  • 1 provides
  • 1 optional deps
  • installed executable or alias match
  • Matched by: Iverilog
Debian stable package indexes · deb.debian.org · Debian stable package indexes: iverilog from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix92%

iverilog

nix profile install nixpkgs#iverilog
  • installed executable or alias match
  • Matched by: Iverilog
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/iv/iverilog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt92%

iverilog 12.0-2build2

Icarus verilog compiler

http://iverilog.icarus.com

sudo apt install iverilog
  • Section: universe/electronics
  • Architecture: amd64
  • 6 dependencies
  • 1 provides
  • 1 optional deps
  • installed executable or alias match
  • Matched by: Iverilog
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: iverilog from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
apk92%

iverilog 13.0-r0

Icarus Verilog compiler and simulation tool

https://steveicarus.github.io/iverilog/

sudo apk add iverilog
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: iverilog
  • 1 dependencies
  • 1 provides
  • installed executable or alias match
  • Matched by: Iverilog
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: iverilog from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk92%

iverilog-dev 13.0-r0

Icarus Verilog compiler and simulation tool (development files)

https://steveicarus.github.io/iverilog/

sudo apk add iverilog-dev
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: iverilog
  • installed executable or alias match
  • Matched by: Iverilog
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: iverilog-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk92%

iverilog-doc 13.0-r0

Icarus Verilog compiler and simulation tool (documentation)

https://steveicarus.github.io/iverilog/

sudo apk add iverilog-doc
  • License: GPL-2.0-or-later
  • Architecture: x86_64
  • Source Package: iverilog
  • installed executable or alias match
  • Matched by: Iverilog
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: iverilog-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf92%

iverilog 13.0-7.fc45

Icarus Verilog is a verilog compiler and simulator

https://github.com/steveicarus/iverilog

sudo dnf install iverilog
  • License: GPL-2.0-only
  • Category: Unspecified
  • Architecture: i686
  • Source Package: iverilog
  • 10 dependencies
  • 1 provides
  • installed executable or alias match
  • Matched by: Iverilog
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: iverilog from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/e5ca8ce900cd68f5419e1c39ae517343100b306336cbaeb70a3c153121d95094-primary.xml.zst
dnf92%

iverilog-devel 13.0-7.fc45

Header files for Icarus Verilog development

https://github.com/steveicarus/iverilog

sudo dnf install iverilog-devel
  • License: GPL-2.0-only
  • Category: Unspecified
  • Architecture: i686
  • Source Package: iverilog
  • 1 dependencies
  • 1 provides
  • installed executable or alias match
  • Matched by: Iverilog
Fedora Rawhide package metadata · dl.fedoraproject.org · 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
dnf92%

iverilog-static 13.0-7.fc45

Static libraries for Icarus Verilog development

https://github.com/steveicarus/iverilog

sudo dnf install iverilog-static
  • License: GPL-2.0-only
  • Category: Unspecified
  • Architecture: i686
  • Source Package: iverilog
  • 1 dependencies
  • 1 provides
  • installed executable or alias match
  • Matched by: Iverilog
Fedora Rawhide package metadata · dl.fedoraproject.org · 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
pacman92%

iverilog 13.0-1

Icarus Verilog compiler and simulation tool

https://github.com/steveicarus/iverilog

sudo pacman -S iverilog
  • License: GPL
  • Architecture: x86_64
  • 2 dependencies
  • installed executable or alias match
  • Matched by: Iverilog
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: iverilog from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
zypper92%

iverilog 13.0-1.2

Simulation and synthesis tool for IEEE-1364

https://steveicarus.github.io/iverilog/

sudo zypper install iverilog
  • License: GPL-2.0-or-later
  • Category: Productivity/Scientific/Electronics
  • Architecture: x86_64
  • Source Package: iverilog
  • 8 dependencies
  • 1 provides
  • installed executable or alias match
  • Matched by: Iverilog
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: iverilog from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst
zypper92%

iverilog-devel 13.0-1.2

Icarus Verilog development files

https://steveicarus.github.io/iverilog/

sudo zypper install iverilog-devel
  • License: GPL-2.0-or-later
  • Category: Development/Libraries/C and C++
  • Architecture: x86_64
  • Source Package: iverilog
  • 1 dependencies
  • 1 provides
  • installed executable or alias match
  • Matched by: Iverilog
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: iverilog-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/be8d3611d25469107f32075a1697e69ec57a2b850b42348a658cc671ad5ec2b50760d02c3e59524d50da9a11d5be799bdaffba2e166e8ca8858512e3c0bd665d-primary.xml.zst
Chocolatey92%

iverilog

choco install iverilog
  • installed executable or alias match
  • Matched by: Iverilog
Chocolatey community package catalog · community.chocolatey.org · Chocolatey community package catalog: iverilog from http://community.chocolatey.org/api/v2/Packages?$filter=IsLatestVersion&$select=Id&$top=1000&$skiptoken='6.5836','capture'
Scoop92%

main/iverilog

scoop install main/iverilog
  • installed executable or alias match
  • Matched by: Iverilog
Scoop official bucket manifest trees · api.github.com · Scoop official bucket manifest trees: bucket/iverilog.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

Related tools

  • autoconfBuild dependency declared by Homebrew.
  • bisonBuild dependency declared by Homebrew.
  • bscPopular package that depends on this formula.

Same workflow

  • gplcverShares av.db curated category or tags: cli, developer-tools, eda, simulation, verilog.
  • sv2vShares av.db curated category or tags: cli, developer-tools, eda, hdl, verilog.
  • surelogShares av.db curated category or tags: cli, developer-tools, eda, verilog.
  • surferShares av.db curated category or tags: cli, developer-tools, eda, hdl.
  • svlintShares av.db curated category or tags: cli, developer-tools, eda, hdl.
  • yosysShares av.db curated category or tags: cli, developer-tools, eda, verilog.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

  • Geiger risk classifier
  • Nucleus package database
  • av.db category and tag curation
  • cross-ecosystem install command graph
  • curated package history
  • external package-manager database matches
  • package relationship graph
  • package version freshness
  • package-page enrichment