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

软件包图谱

链接来自本地软件包关系图、补充数据、依赖边、生态匹配和软件包 hub 归属。

相关工具

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

来源线索

由仓库数据生成

此页面由 av-web 从 scripts/generate-pkg-sqlite.py 生成的私有软件包 SQLite 工件提供。

使用的来源

  • 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