pkg.soopen package index

brew / Rang 1621

verilator mit Homebrew, apk, apt, dnf, MacPorts, Nix, pacman, zypper installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für verilator in AI-Agent-Workflows.

Installation

Weitere Installationsbefehle

macOS

Homebrewverifiziert · 100%
brew install verilator

local Homebrew formula metadata

MacPortsverifiziert · 94%
sudo port install verilator

MacPorts ports tree · science/verilator/Portfile · Quelle: api.github.com

Linux

Alpine Linux apkverifiziert · 92%
sudo apk add verilator

Alpine Linux edge package indexes · verilator · Quelle: dl-cdn.alpinelinux.org

Debian aptverifiziert · 92%
sudo apt install verilator

Debian stable package indexes · verilator · Quelle: deb.debian.org

Fedora dnfverifiziert · 92%
sudo dnf install verilator

Fedora Rawhide package metadata · verilator · Quelle: dl.fedoraproject.org

Nixverifiziert · 92%
nix profile install nixpkgs#verilator

nixpkgs package indexes · pkgs/by-name/ve/verilator/package.nix · Quelle: api.github.com

Arch Linux pacmanverifiziert · 92%
sudo pacman -S verilator

Arch Linux sync databases · verilator · Quelle: geo.mirror.pkgbuild.com

openSUSE zypperverifiziert · 92%
sudo zypper install verilator

openSUSE Tumbleweed package metadata · verilator · Quelle: download.opensuse.org

Überblick

Paketzusammenfassung

Verilog simulator

Befehle und Aliase

  • verilator
  • verilator_bin
  • verilator_bin_dbg
  • verilator_coverage
  • verilator_coverage_bin_dbg
  • verilator_gantt
  • verilator_profcfunc

Verlauf

Projektgeschichte und Nutzung

Verilator is an open-source Verilog/SystemVerilog simulator and lint system that compiles HDL into optimized C++ or SystemC models. Its reputation comes from speed: rather than acting like a traditional event-driven simulator, it generates compiled models that are especially useful for large cycle-accurate simulations, CPU models, open hardware projects, and regression farms.

Projektgeschichte

Verilator's roots go back to 1994 at Digital Equipment Corporation, where a Core Logic Group team led by Paul Wasson built technology to convert Verilog to C for Alpha-processor co-simulation. DEC released the source code in 1998, turning the internal tool into available open-source EDA infrastructure.

In 2001 Wilson Snyder took up the kit, added a SystemC mode, and packaged it as Verilator2. In 2002 he rewrote the tool from scratch in C++ as Verilator 3.000, producing large performance gains and setting the direction for the modern project under the Veripool umbrella.

The project kept expanding SystemVerilog and verification support, including major SystemVerilog and DPI additions in 2009. Verilator 4.000 in 2018 added multithreaded support, a milestone for using commodity multi-core hosts to accelerate hardware simulation. In 2019 Verilator joined the CHIPS Alliance, reflecting its role in the open-source silicon ecosystem.

In the Verilator 5 era, the project added a more IEEE-compliant scheduler and delay semantics, addressing historical limitations while preserving its compiled-simulation identity. Current documentation presents it as a fast SystemVerilog simulator, lint tool, C++/SystemC model generator, and JSON-emitting front end for other tools.

Adoptionsgeschichte

Verilator's earliest adoption came from engineering teams that needed fast executable models and were willing to integrate HDL with C++ or SystemC testbenches. Secondary histories and the Verilator FAQ describe use across academic research, open-source projects, major silicon companies, and large organizations such as CERN.

The rise of open hardware made Verilator more central. Projects in the RISC-V, OpenRISC, CHIPS Alliance, and education communities use it because it is packageable, automatable, and free software, making it viable in CI where proprietary EDA licensing is impractical or impossible.

Commercial adoption grew because Verilator can turn synthesizable RTL into fast simulation artifacts for long regressions and software bring-up. It does not replace every feature of event-driven commercial simulators, but it occupies a powerful niche where speed, openness, and integration with normal C++ tooling matter.

Wie es verwendet wird

Package users invoke `verilator` on Verilog or SystemVerilog sources to generate C++ or SystemC, compile the generated model with a C++ testbench, and run the resulting executable. Common flags select C++ output, lint-only checks, tracing, SystemC output, coverage, multithreading, and build integration.

Verilator is used for linting RTL, building cycle-accurate simulators for CPU cores and SoCs, running firmware against hardware models, profiling generated simulation code, collecting coverage, and integrating HDL models into larger C++ or SystemC environments. Its companion tools such as `verilator_coverage`, `verilator_gantt`, and profiling helpers support those workflows.

Warum Paket-Nerds sich dafür interessieren

Verilator is one of the rare EDA tools that feels native to ordinary open-source package workflows: install it, run it in CI, version the RTL and testbench, and avoid license-server friction. For hardware developers, that makes the Homebrew formula more than convenience; it is an on-ramp to serious open silicon verification.

Zeitleiste

  • 1994: DEC's Core Logic Group develops the original Verilog-to-C technology for Alpha co-simulation.
  • 1998: DEC releases the source code.
  • 2001: Wilson Snyder packages the technology as Verilator2 and adds SystemC mode.
  • 2002: Verilator 3.000 is rewritten in C++ with major performance gains.
  • 2009: Major SystemVerilog and DPI support lands.
  • 2018: Verilator 4.000 introduces multithreaded support.
  • 2019: Verilator joins the CHIPS Alliance.
  • 2022 onward: Verilator 5 work improves IEEE scheduling and delay semantics while retaining the compiled-model architecture.

Related projects

  • Verilator is related to Icarus Verilog, CXXRTL/Yosys, GHDL, commercial simulators such as Synopsys VCS, Siemens Questa/ModelSim, and Cadence Xcelium, and open-hardware projects such as OpenRISC and RISC-V cores. Compared with Icarus Verilog it is usually chosen for speed and C++ integration; compared with commercial tools it is chosen for openness and packageability.

Sicherheitslage

Risikostufe: grün

narrow executable package without higher-risk signals.

Risikoklassifikator

grün Risiko · niedrig Konfidenz · appliance

Warum

  • narrow executable package without higher-risk signals

Signale

  • metadata:no-higher-risk-signals

Installationsverhalten

  • In den Formelmetadaten ist kein Homebrew-Post-install-Hook erfasst.
  • Homebrew-Bottle-Metadaten sind für 6 Plattformziele verfügbar.
  • Build-Metadaten listen 3 Build-Abhängigkeiten.

Empfohlene Prüfung

Prüfe vor unbeaufsichtigter Agent-Nutzung, ob das Tool Klartext-Credentials liest, Remote-Zustand schreibt, Artefakte veröffentlicht oder Plugins ausführt.

Executables

Installierte Executables

BefehlArtSichtbarkeitHinweis
verilatorcliglobales Executable
verilator_bincliglobales Executable
verilator_bin_dbgcliglobales Executable
verilator_coveragecliglobales Executable
verilator_coverage_bin_dbgcliglobales Executable
verilator_ganttcliglobales Executable
verilator_profcfunccliglobales Executable

Aktualität

Version und Aktualität

Diese Signale trennen das Alter der Seitengenerierung, Aktivität des Paketmanagers und Upstream-Release-Vergleich. Versionsrückstand wird nur gemeldet, wenn eine Evidenz-URL und vergleichbare Versionen vorhanden sind.

Seite generiert2026-08-04
Manager-Version5.050
Manager aktualisiert2026-07-02
lokale DatenOK
Upstreamaktuell
neueste erkannte Versionv5.050

https://github.com/verilator/verilator

  • OKEs wurden keine Aktualitätswarnungen generiert.

Installationsmetadaten

Paketmetadaten

Paketschlüsselbrew:verilator
Version5.050
PaketmanagerHomebrew
Paketmanager-Seitehttps://formulae.brew.sh/formula/verilator
Homepagehttps://www.veripool.org/wiki/verilator
Repositoryhttps://github.com/verilator/verilator
Upstream-Dokumentationhttps://www.veripool.org/wiki/verilator
LizenzLGPL-3.0-only OR Artistic-2.0
Quellarchivhttps://github.com/verilator/verilator/archive/refs/tags/v5.050.tar.gz
Zuletzt aktualisiert2026-07-02T01:52:21Z
Pulseupdated
Build-Abhängigkeitenautoconf, automake, help2man
Von macOS bereitgestellte Bibliothekenperl, python
Bottleverfügbar (auf arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-installnicht definiert
Dienstkeiner deklariert

Registry-Fakten

Details aus der Quelldatenbank

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

Source-Datenbank-Treffer

Andere Paketmanager-Einträge

Treffer stammen aus externen Paketmanager-Indizes und bleiben von lokalen Automic-Vault-Paketlinks getrennt.

Debian apt95%

verilator 5.032-1+b2

fast free Verilog simulator

http://www.veripool.org/wiki/verilator

sudo apt install verilator
  • Section: electronics
  • Architecture: amd64
  • Source Package: verilator
  • 7 Abhängigkeiten
  • 2 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Verilator
Debian stable package indexes · deb.debian.org · Debian stable package indexes: verilator from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz
Nix95%

verilator

nix profile install nixpkgs#verilator
  • normalized package name match
  • Abgeglichen nach: Verilator
nixpkgs package indexes · api.github.com · nixpkgs package indexes: pkgs/by-name/ve/verilator/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
Ubuntu apt95%

verilator 5.020-1

fast free Verilog simulator

http://www.veripool.org/wiki/verilator

sudo apt install verilator
  • Section: universe/electronics
  • Architecture: amd64
  • 5 Abhängigkeiten
  • 2 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Verilator
Ubuntu 24.04 LTS package indexes · archive.ubuntu.com · Ubuntu 24.04 LTS package indexes: verilator from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz
apk95%

verilator 5.050-r1

Convert Verilog and SystemVerilog to C++ or SystemC

https://verilator.org

sudo apk add verilator
  • License: LGPL-3.0-only
  • Architecture: x86_64
  • Source Package: verilator
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: verilator from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

verilator-dev 5.050-r1

Convert Verilog and SystemVerilog to C++ or SystemC (development files)

https://verilator.org

sudo apk add verilator-dev
  • License: LGPL-3.0-only
  • Architecture: x86_64
  • Source Package: verilator
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: verilator-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
apk95%

verilator-doc 5.050-r1

Convert Verilog and SystemVerilog to C++ or SystemC (documentation)

https://verilator.org

sudo apk add verilator-doc
  • License: LGPL-3.0-only
  • Architecture: x86_64
  • Source Package: verilator
  • normalized package name match
  • Abgeglichen nach: Verilator
Alpine Linux edge package indexes · dl-cdn.alpinelinux.org · Alpine Linux edge package indexes: verilator-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz
dnf95%

verilator 5.046-4.fc45

A fast simulator for synthesizable Verilog

https://veripool.org/verilator/

sudo dnf install verilator
  • License: LGPL-3.0-only OR Artistic-2.0
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: verilator
  • 11 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: verilator from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst
dnf95%

verilator-devel 5.046-4.fc45

Libraries and header files for verilator

https://veripool.org/verilator/

sudo dnf install verilator-devel
  • License: LGPL-3.0-only OR Artistic-2.0
  • Category: Unspecified
  • Architecture: x86_64
  • Source Package: verilator
  • 2 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: verilator-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst
dnf95%

verilator-doc 5.046-4.fc45

Documentation for verilator

https://veripool.org/verilator/

sudo dnf install verilator-doc
  • License: LGPL-3.0-only OR Artistic-2.0
  • Category: Unspecified
  • Architecture: noarch
  • Source Package: verilator
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
Fedora Rawhide package metadata · dl.fedoraproject.org · Fedora Rawhide package metadata: verilator-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/210a2053c8e007daf9ae39c2a21daaed9b2ddd07d63ecffa597050361e73650c-primary.xml.zst
pacman95%

verilator 5.050-1

The fastest free Verilog HDL simulator

https://www.veripool.org/verilator/

sudo pacman -S verilator
  • License: LGPL-3.0-only AND Artistic-2.0
  • Architecture: x86_64
  • 4 Abhängigkeiten
  • 1 optionale Abhängigkeiten
  • normalized package name match
  • Abgeglichen nach: Verilator
Arch Linux sync databases · geo.mirror.pkgbuild.com · Arch Linux sync databases: verilator from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz
zypper95%

verilator 5.038-1.5

Compiling Verilog HDL simulator

https://www.veripool.org/projects/verilator/wiki/Intro

sudo zypper install verilator
  • License: Artistic-2.0 OR LGPL-3.0-only
  • Category: Productivity/Scientific/Electronics
  • Architecture: x86_64
  • Source Package: verilator
  • 5 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: verilator from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

verilator-devel 5.038-1.5

Verilator library header files

https://www.veripool.org/projects/verilator/wiki/Intro

sudo zypper install verilator-devel
  • License: Artistic-2.0 OR LGPL-3.0-only
  • Category: Development/Languages/C and C++
  • Architecture: noarch
  • Source Package: verilator
  • 2 Abhängigkeiten
  • 2 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: verilator-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
zypper95%

verilator-examples 5.038-1.5

Examples for verilator

https://www.veripool.org/projects/verilator/wiki/Intro

sudo zypper install verilator-examples
  • License: Artistic-2.0 OR LGPL-3.0-only
  • Category: Documentation/Other
  • Architecture: noarch
  • Source Package: verilator
  • 1 Abhängigkeiten
  • 1 stellt bereit
  • normalized package name match
  • Abgeglichen nach: Verilator
openSUSE Tumbleweed package metadata · download.opensuse.org · openSUSE Tumbleweed package metadata: verilator-examples from https://download.opensuse.org/tumbleweed/repo/oss/repodata/50b07339cb64c8ed4091bdbabddadc1ff5737b090e478818a195b40d8a3292861a879139b4a3987c31109699fde9fbf4a716367ddf4eef77da75f96e3193d6ed-primary.xml.zst
MacPorts95%

verilator

sudo port install verilator
  • normalized package name match
  • Abgeglichen nach: Verilator
MacPorts ports tree · api.github.com · MacPorts ports tree: science/verilator/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

Quellspur

Aus Repository-Daten generiert

Diese Seite wird von av-web aus dem privaten Paket-SQLite-Artefakt bereitgestellt, das scripts/generate-pkg-sqlite.py erstellt.

Verwendete Quellen

  • 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