macOS
brew install verilatorlocal Homebrew formula metadata
sudo port install verilatorMacPorts ports tree · science/verilator/Portfile · source: api.github.com
brew
Verilog simulator. Version 5.050 via Homebrew; verified 2026-07-02.
install
brew install verilatorlocal Homebrew formula metadata
sudo port install verilatorMacPorts ports tree · science/verilator/Portfile · source: api.github.com
sudo apk add verilatorAlpine Linux edge package indexes · verilator · source: dl-cdn.alpinelinux.org
sudo apt install verilatorDebian stable package indexes · verilator · source: deb.debian.org
sudo dnf install verilatorFedora Rawhide package metadata · verilator · source: dl.fedoraproject.org
nix profile install nixpkgs#verilatornixpkgs package indexes · pkgs/by-name/ve/verilator/package.nix · source: api.github.com
sudo pacman -S verilatorArch Linux sync databases · verilator · source: geo.mirror.pkgbuild.com
sudo zypper install verilatoropenSUSE Tumbleweed package metadata · verilator · source: download.opensuse.org
overview
Verilog simulator
history
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.
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.
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.
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.
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.
security posture
narrow executable package without higher-risk signals.
green risk · low confidence · appliance
Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.
executables
| Command | Kind | Exposure | Note |
|---|---|---|---|
verilator | cli | global executable | |
verilator_bin | cli | global executable | |
verilator_bin_dbg | cli | global executable | |
verilator_coverage | cli | global executable | |
verilator_coverage_bin_dbg | cli | global executable | |
verilator_gantt | cli | global executable | |
verilator_profcfunc | cli | global executable |
freshness
These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.
https://github.com/verilator/verilator
install metadata
| Package key | brew:verilator |
|---|---|
| Version | 5.050 |
| Package manager | Homebrew |
| Package manager page | https://formulae.brew.sh/formula/verilator |
| Homepage | https://www.veripool.org/wiki/verilator |
| Repository | https://github.com/verilator/verilator |
| Upstream docs | https://verilator.org/guide/latest/index.html |
| License | LGPL-3.0-only OR Artistic-2.0 |
| Source archive | https://github.com/verilator/verilator/archive/refs/tags/v5.050.tar.gz |
| Last updated | 2026-07-02T01:52:21Z |
| Pulse | updated |
| Build dependencies | autoconf, automake, help2man |
| Uses from macOS | perl, python |
| Bottle | available (on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux) |
| Homebrew post-install | not defined |
| Service | none declared |
registry facts
| Source Database | Homebrew formula API |
|---|---|
| Tap | homebrew/core |
| Full Name | verilator |
| Version Scheme | 0 |
| Revision | 0 |
| Head Version | HEAD |
| Bottle Stable Root URL | https://ghcr.io/v2/homebrew/core |
| Deprecated | no |
| Disabled | no |
| Keg Only | no |
| URL Keys |
|
source database matches
Matches are pulled from external package-manager indexes and kept separate from local Automic Vault package links.
verilator 5.032-1+b2
fast free Verilog simulator
http://www.veripool.org/wiki/verilator
sudo apt install verilatorverilator
nix profile install nixpkgs#verilatorverilator 5.020-1
fast free Verilog simulator
http://www.veripool.org/wiki/verilator
sudo apt install verilatorverilator 5.048-r0
Convert Verilog and SystemVerilog to C++ or SystemC
sudo apk add verilatorverilator-dev 5.048-r0
Convert Verilog and SystemVerilog to C++ or SystemC (development files)
sudo apk add verilator-devverilator-doc 5.048-r0
Convert Verilog and SystemVerilog to C++ or SystemC (documentation)
sudo apk add verilator-docverilator 5.046-3.fc45
A fast simulator for synthesizable Verilog
https://veripool.org/verilator/
sudo dnf install verilatorverilator-devel 5.046-3.fc45
Libraries and header files for verilator
https://veripool.org/verilator/
sudo dnf install verilator-develverilator-doc 5.046-3.fc45
Documentation for verilator
https://veripool.org/verilator/
sudo dnf install verilator-docverilator 5.048-1
The fastest free Verilog HDL simulator
https://www.veripool.org/verilator/
sudo pacman -S verilatorverilator 5.038-1.3
Compiling Verilog HDL simulator
https://www.veripool.org/projects/verilator/wiki/Intro
sudo zypper install verilatorverilator-devel 5.038-1.3
Verilator library header files
https://www.veripool.org/projects/verilator/wiki/Intro
sudo zypper install verilator-develverilator-examples 5.038-1.3
Examples for verilator
https://www.veripool.org/projects/verilator/wiki/Intro
sudo zypper install verilator-examplesverilator
sudo port install verilatorsource trail
This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.
View the package source record on GitHub.