Automic VaultAutomic Vault

brew / 順位 1809

icarus-verilog をインストール

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

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

インストール

Automic Vault でインストール

Automic Vault
AV をダウンロード
sudo av install brew:icarus-verilog

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

プラットフォームノート

  • パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Verilog simulation and synthesis tool

コマンドとエイリアス

  • iverilog
  • iverilog-vpi
  • vvp

セキュリティ状態

リスクレベル: 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.

推奨レビュー

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

実行可能ファイル

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

コマンド種類公開範囲メモ
iverilogcliglobal executable
iverilog-vpicliglobal executable
vvpcliglobal executable

鮮度

バージョンと鮮度

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

ページ生成日2026-06-10
マネージャ版13.0
マネージャ更新日2026-03-29
ローカルデータok
上流not checked
検出された最新not detected

https://github.com/steveicarus/iverilog

インストールメタデータ

パッケージメタデータ

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-03-29T19:47:58-04:00
Pulseupdated
Build dependenciesautoconf, bison
Uses from macOSbzip2
Bottleavailable (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-4.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: x86_64
  • Source Package: iverilog
  • 9 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/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-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/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-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/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-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.4072','sd-card-formatter'
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

パッケージグラフ

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

関連ツール

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

同じワークフロー

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

ソース経路

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

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

使用ソース

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