pkg.soopen package index

brew / 順位 1755

icarus-verilog を Homebrew, winget, apk, chocolatey, apt, dnf, MacPorts, Nix, pacman, zypper, scoop でインストール

icarus-verilog のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。

インストールコマンドセキュリティノート

インストール

追加のインストールコマンド

macOS

Homebrew確認済み · 100%
brew install icarus-verilog

local Homebrew formula metadata

MacPorts確認済み · 94%
sudo port install iverilog

MacPorts ports tree · science/iverilog/Portfile · ソース: api.github.com

Linux

Alpine Linux apk確認済み · 92%
sudo apk add iverilog

Alpine Linux edge package indexes · iverilog · ソース: dl-cdn.alpinelinux.org

Debian apt確認済み · 92%
sudo apt install iverilog

Debian stable package indexes · iverilog · ソース: deb.debian.org

Fedora dnf確認済み · 92%
sudo dnf install iverilog

Fedora Rawhide package metadata · iverilog · ソース: dl.fedoraproject.org

Nix確認済み · 92%
nix profile install nixpkgs#iverilog

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

Arch Linux pacman確認済み · 92%
sudo pacman -S iverilog

Arch Linux sync databases · iverilog · ソース: geo.mirror.pkgbuild.com

openSUSE zypper確認済み · 92%
sudo zypper install iverilog

openSUSE Tumbleweed package metadata · iverilog · ソース: download.opensuse.org

Windows

Windows Package Manager確認済み · 92%
winget install --id Icarus.Verilog -e

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

Chocolatey確認済み · 92%
choco install iverilog

Chocolatey community package catalog · iverilog · ソース: community.chocolatey.org

Scoop確認済み · 92%
scoop install main/iverilog

Scoop official bucket manifest trees · bucket/iverilog.json · ソース: api.github.com

概要

パッケージ概要

Verilog simulation and synthesis tool

コマンドとエイリアス

  • iverilog
  • iverilog-vpi
  • vvp

履歴

プロジェクトの歴史と使われ方

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.

プロジェクトの歴史

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.

採用の歴史

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.

使われ方

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.

パッケージ好きにとっての重要性

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.

タイムライン

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

セキュリティ状態

リスクレベル: グリーン

narrow executable package without higher-risk signals.

リスク分類器

リスク グリーン · 信頼度 低 · appliance

理由

  • narrow executable package without higher-risk signals

信号

  • metadata:no-higher-risk-signals

インストール挙動

  • formula メタデータに Homebrew post-install フックは記録されていません。
  • Homebrew bottle メタデータは 6 個のプラットフォームターゲットで利用できます。
  • ビルドメタデータには 2 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド種類公開範囲メモ
iverilogcliグローバル実行可能ファイル
iverilog-vpicliグローバル実行可能ファイル
vvpcliグローバル実行可能ファイル

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-08-04
マネージャ版13.0
マネージャ更新日2026-06-27
ローカルデータOK
上流not checked
検出された最新未検出

https://github.com/steveicarus/iverilog

インストールメタデータ

パッケージメタデータ

パッケージキーbrew:icarus-verilog
バージョン13.0
パッケージマネージャHomebrew
パッケージマネージャページhttps://formulae.brew.sh/formula/icarus-verilog
ホームページhttps://steveicarus.github.io/iverilog/
リポジトリhttps://github.com/steveicarus/iverilog
上流ドキュメントhttps://steveicarus.github.io/iverilog/
ライセンスGPL-2.0-or-later AND LGPL-2.1-or-later
ソースアーカイブhttps://github.com/steveicarus/iverilog/archive/refs/tags/v13_0.tar.gz
最終更新2026-06-27T18:09:14-04:00
Pulseupdated
ビルド依存関係autoconf, bison
macOS 提供ライブラリbzip2
Bottle利用可能 (対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install未定義
サービス宣言なし

レジストリ情報

ソースデータベース詳細

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

ソースデータベース一致

他のパッケージマネージャ記録

一致は外部パッケージマネージャインデックスから取得され、ローカルの Automic Vault パッケージリンクとは分けて表示されます。

winget95%

Icarus.Verilog

winget install --id Icarus.Verilog -e
  • normalized package name match
  • 一致条件: 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
  • 一致条件: 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 依存関係
  • 1 提供
  • 1 任意依存関係
  • installed executable or alias match
  • 一致条件: 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
  • 一致条件: 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 依存関係
  • 1 提供
  • 1 任意依存関係
  • installed executable or alias match
  • 一致条件: 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 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: 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
  • 一致条件: 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
  • 一致条件: 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 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: 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 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: 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 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: 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 依存関係
  • installed executable or alias match
  • 一致条件: 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 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: 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 依存関係
  • 1 提供
  • installed executable or alias match
  • 一致条件: 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
  • 一致条件: 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
  • 一致条件: 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

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

関連ツール

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

同じワークフロー

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

エージェント安全ガイド

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-sqlite.py が生成した非公開のパッケージ SQLite アーティファクトから av-web によって提供されます。

使用ソース

  • 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