# Install verilator

Verilog simulator. Version 5.048 via Homebrew; verified 2026-04-26.

## Install

```sh
sudo av install brew:verilator
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install verilator
```

  Evidence: local Homebrew formula metadata

- MacPorts (94%):

```sh
sudo port install verilator
```

  Evidence: MacPorts ports tree: science/verilator/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1

### Linux

- apk (92%):

```sh
sudo apk add verilator
```

  Evidence: Alpine Linux edge package indexes: verilator from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz

- Debian apt (92%):

```sh
sudo apt install verilator
```

  Evidence: Debian stable package indexes: verilator from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install verilator
```

  Evidence: Fedora Rawhide package metadata: verilator from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#verilator
```

  Evidence: nixpkgs package indexes: pkgs/by-name/ve/verilator/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1

- pacman (92%):

```sh
sudo pacman -S verilator
```

  Evidence: Arch Linux sync databases: verilator from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

- zypper (92%):

```sh
sudo zypper install verilator
```

  Evidence: openSUSE Tumbleweed package metadata: verilator from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst

## Package Facts

- **Package key:** brew:verilator
- **Package manager:** Homebrew
- **Package manager URL:** <https://formulae.brew.sh/formula/verilator>
- **Version:** 5.048
- **Source summary:** Verilog simulator
- **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.048.tar.gz>
- **Last updated:** 2026-04-26T09:05:01Z
- **Generated:** 2026-06-10T07:18:26+00:00

## Executables

- verilator (cli)
- verilator_bin (cli)
- verilator_bin_dbg (cli)
- verilator_coverage (cli)
- verilator_coverage_bin_dbg (cli)
- verilator_gantt (cli)
- verilator_profcfunc (cli)
- verilator (alias)
- verilator_bin (alias)
- verilator_bin_dbg (alias)
- verilator_coverage (alias)
- verilator_coverage_bin_dbg (alias)
- verilator_gantt (alias)
- verilator_profcfunc (alias)

## Build Dependencies

- autoconf
- automake
- help2man

## macOS Provided Libraries

- perl
- python

## Install Behavior

- Post-install hook: not defined
- Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## Freshness

- Page generated: 2026-06-10
- Package-manager version: 5.048
- Package-manager updated: 2026-04-26
- Local data status: ok
- Upstream repository: https://github.com/verilator/verilator
- Upstream latest detected: v5.048 (current)

## Notes de sécurité

narrow executable package without higher-risk signals.

- **Geiger risk:** green / low
- narrow executable package without higher-risk signals

## Source Database Details

- **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:** head, stable

## Other Package-Manager Records

- Debian apt - verilator - 5.032-1+b2: normalized package name match | Debian stable package indexes: verilator from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz | fast free Verilog simulator | http://www.veripool.org/wiki/verilator
- Nix - verilator: normalized package name match | nixpkgs package indexes: pkgs/by-name/ve/verilator/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1
- Ubuntu apt - verilator - 5.020-1: normalized package name match | Ubuntu 24.04 LTS package indexes: verilator from https://archive.ubuntu.com/ubuntu/dists/noble/universe/binary-amd64/Packages.gz | fast free Verilog simulator | http://www.veripool.org/wiki/verilator
- apk - verilator - 5.048-r0: normalized package name match | Alpine Linux edge package indexes: verilator from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Convert Verilog and SystemVerilog to C++ or SystemC | https://verilator.org
- apk - verilator-dev - 5.048-r0: normalized package name match | Alpine Linux edge package indexes: verilator-dev from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Convert Verilog and SystemVerilog to C++ or SystemC (development files) | https://verilator.org
- apk - verilator-doc - 5.048-r0: normalized package name match | Alpine Linux edge package indexes: verilator-doc from https://dl-cdn.alpinelinux.org/alpine/edge/community/x86_64/APKINDEX.tar.gz | Convert Verilog and SystemVerilog to C++ or SystemC (documentation) | https://verilator.org
- dnf - verilator - 5.046-3.fc45: normalized package name match | Fedora Rawhide package metadata: verilator from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | A fast simulator for synthesizable Verilog | https://veripool.org/verilator/
- dnf - verilator-devel - 5.046-3.fc45: normalized package name match | Fedora Rawhide package metadata: verilator-devel from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Libraries and header files for verilator | https://veripool.org/verilator/
- dnf - verilator-doc - 5.046-3.fc45: normalized package name match | Fedora Rawhide package metadata: verilator-doc from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst | Documentation for verilator | https://veripool.org/verilator/
- pacman - verilator - 5.048-1: normalized package name match | Arch Linux sync databases: verilator from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz | The fastest free Verilog HDL simulator | https://www.veripool.org/verilator/
- zypper - verilator - 5.038-1.3: normalized package name match | openSUSE Tumbleweed package metadata: verilator from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | Compiling Verilog HDL simulator | https://www.veripool.org/projects/verilator/wiki/Intro
- zypper - verilator-devel - 5.038-1.3: normalized package name match | openSUSE Tumbleweed package metadata: verilator-devel from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | Verilator library header files | https://www.veripool.org/projects/verilator/wiki/Intro
- zypper - verilator-examples - 5.038-1.3: normalized package name match | openSUSE Tumbleweed package metadata: verilator-examples from https://download.opensuse.org/tumbleweed/repo/oss/repodata/155b97171d05e27afd950b6fe0d55513ff38f4597110664535bceedc680bbe6fd459f0733718dcc21dcf0efc7c8250fd1390c73d4790b42e62fb2c16a87242e5-primary.xml.zst | Examples for verilator | https://www.veripool.org/projects/verilator/wiki/Intro
- MacPorts - verilator: normalized package name match | MacPorts ports tree: science/verilator/Portfile from https://api.github.com/repos/macports/macports-ports/git/trees/master?recursive=1


## Related Links

- [Terminal utility packages](https://www.automicvault.com/fr/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/fr/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/fr/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [Networking and protocol packages](https://www.automicvault.com/fr/pkg/networking-protocol-tools/) - Matched network, protocol, or remote-service metadata.
- [autoconf](https://www.automicvault.com/fr/pkg/brew/autoconf/) - Build dependency declared by Homebrew.
- [automake](https://www.automicvault.com/fr/pkg/brew/automake/) - Build dependency declared by Homebrew.
- [help2man](https://www.automicvault.com/fr/pkg/brew/help2man/) - Build dependency declared by Homebrew.
- [gpsim](https://www.automicvault.com/fr/pkg/brew/gpsim/) - Shares av.db curated category or tags: cli, developer-tools, simulation, simulator.
- [rggen](https://www.automicvault.com/fr/pkg/brew/rggen/) - Shares av.db curated category or tags: cli, developer-tools, hardware, systemverilog.
- [gplcver](https://www.automicvault.com/fr/pkg/brew/gplcver/) - Shares av.db curated category or tags: cli, developer-tools, simulation, verilog.
- [openfpgaloader](https://www.automicvault.com/fr/pkg/brew/openfpgaloader/) - Shares av.db curated category or tags: cli, developer-tools, hardware.
- [sigrok-cli](https://www.automicvault.com/fr/pkg/brew/sigrok-cli/) - Shares av.db curated category or tags: cli, developer-tools, hardware.
- [i2c-tools](https://www.automicvault.com/fr/pkg/brew/i2c-tools/) - Shares av.db curated category or tags: cli, developer-tools, hardware.
- [prjtrellis](https://www.automicvault.com/fr/pkg/brew/prjtrellis/) - Shares av.db curated category or tags: cli, developer-tools, hardware.
- [surelog](https://www.automicvault.com/fr/pkg/brew/surelog/) - Shares av.db curated category or tags: cli, developer-tools, systemverilog, verilog.
- [sv2v](https://www.automicvault.com/fr/pkg/brew/sv2v/) - Local package facts share a topical domain. Shared terms: cli, developer, developer-tools, hardware, systemverilog.

## Sources

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