pkg.soopen package index

brew / rang 1755

Installer icarus-verilog avec Homebrew, winget, apk, chocolatey, apt, dnf, MacPorts, Nix, pacman, zypper, scoop

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de icarus-verilog pour les workflows d'agents IA.

Commande d'installationNotes de sécurité

installation

Commandes d'installation supplémentaires

macOS

Homebrewvérifié · 100%
brew install icarus-verilog

local Homebrew formula metadata

MacPortsvérifié · 94%
sudo port install iverilog

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

Linux

Alpine Linux apkvérifié · 92%
sudo apk add iverilog

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

Debian aptvérifié · 92%
sudo apt install iverilog

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

Fedora dnfvérifié · 92%
sudo dnf install iverilog

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

Nixvérifié · 92%
nix profile install nixpkgs#iverilog

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

Arch Linux pacmanvérifié · 92%
sudo pacman -S iverilog

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

openSUSE zyppervérifié · 92%
sudo zypper install iverilog

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

Windows

Windows Package Managervérifié · 92%
winget install --id Icarus.Verilog -e

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

Chocolateyvérifié · 92%
choco install iverilog

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

Scoopvérifié · 92%
scoop install main/iverilog

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

aperçu

Résumé du paquet

Verilog simulation and synthesis tool

Commandes et alias

  • iverilog
  • iverilog-vpi
  • vvp

historique

Historique du projet et usages

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.

Historique du projet

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.

Historique d'adoption

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.

Modes d'utilisation

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.

Pourquoi les passionnés de paquets s'y intéressent

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.

Chronologie

  • 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.

posture de sécurité

Niveau de risque : vert

narrow executable package without higher-risk signals.

Classificateur de risque

risque vert · confiance faible · appliance

Pourquoi

  • narrow executable package without higher-risk signals

Signaux

  • metadata:no-higher-risk-signals

Comportement d'installation

  • Aucun hook post-install Homebrew n’est enregistré dans les métadonnées de formule.
  • Les métadonnées de bottle Homebrew sont disponibles pour 6 plateformes.
  • Les métadonnées de compilation listent 2 dépendances de compilation.

Revue recommandée

Avant une utilisation sans surveillance par un agent, vérifiez si l'outil lit des identifiants en clair, écrit un état distant, publie des artefacts ou lance des plugins.

exécutables

Exécutables installés

CommandeTypeExpositionNote
iverilogcliexécutable global
iverilog-vpicliexécutable global
vvpcliexécutable global

fraîcheur

Version et fraîcheur

Ces signaux séparent l'âge de génération de la page, l'activité du gestionnaire de paquets et la comparaison avec les versions amont. Un retard de version n'est signalé que lorsqu'une URL de preuve et des versions comparables sont présentes.

page générée2026-08-04
version du gestionnaire13.0
gestionnaire mis à jour2026-06-27
données localesOK
amontnot checked
dernière version détectéenon détecté

https://github.com/steveicarus/iverilog

métadonnées d'installation

Métadonnées du paquet

Clé du paquetbrew:icarus-verilog
Version13.0
Gestionnaire de paquetsHomebrew
Page du gestionnaire de paquetshttps://formulae.brew.sh/formula/icarus-verilog
Page d'accueilhttps://steveicarus.github.io/iverilog/
Dépôthttps://github.com/steveicarus/iverilog
Docs amonthttps://steveicarus.github.io/iverilog/
LicenceGPL-2.0-or-later AND LGPL-2.1-or-later
Archive sourcehttps://github.com/steveicarus/iverilog/archive/refs/tags/v13_0.tar.gz
Dernière mise à jour2026-06-27T18:09:14-04:00
Pulseupdated
Dépendances de compilationautoconf, bison
Bibliothèques fournies par macOSbzip2
Bouteilledisponible (sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
post-install Homebrewnon défini
Serviceaucun déclaré

faits du registre

Détails de la base source

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

correspondances dans les bases sources

Autres enregistrements de gestionnaires de paquets

Les correspondances proviennent d’index externes de gestionnaires de paquets et restent séparées des liens de paquets Automic Vault locaux.

winget95%

Icarus.Verilog

winget install --id Icarus.Verilog -e
  • normalized package name match
  • Correspondance par : 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
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • installed executable or alias match
  • Correspondance par : 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
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • 1 dépendances optionnelles
  • installed executable or alias match
  • Correspondance par : 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 Dépendances
  • 1 fournit
  • installed executable or alias match
  • Correspondance par : 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
  • Correspondance par : 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
  • Correspondance par : 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-8.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 Dépendances
  • 1 fournit
  • installed executable or alias match
  • Correspondance par : 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/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst
dnf92%

iverilog-devel 13.0-8.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 Dépendances
  • 1 fournit
  • installed executable or alias match
  • Correspondance par : 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/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst
dnf92%

iverilog-static 13.0-8.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 Dépendances
  • 1 fournit
  • installed executable or alias match
  • Correspondance par : 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/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-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 Dépendances
  • installed executable or alias match
  • Correspondance par : 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.4

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 Dépendances
  • 1 fournit
  • installed executable or alias match
  • Correspondance par : Iverilog
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: iverilog from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper92%

iverilog-devel 13.0-1.4

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 Dépendances
  • 1 fournit
  • installed executable or alias match
  • Correspondance par : Iverilog
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: iverilog-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
Chocolatey92%

iverilog

choco install iverilog
  • installed executable or alias match
  • Correspondance par : 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.928','obs-virtualcam'
Scoop92%

main/iverilog

scoop install main/iverilog
  • installed executable or alias match
  • Correspondance par : 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

graphe de paquets

Les liens viennent du graphe local de relations entre paquets, des suppléments, des dépendances, des correspondances d'écosystèmes et de l'appartenance aux hubs.

Outils liés

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

Même workflow

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

piste source

Généré depuis les données du dépôt

Cette page est servie par av-web depuis l'artéfact SQLite privé des paquets généré par scripts/generate-pkg-sqlite.py.

Sources utilisées

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