# Install surelog with Homebrew, Nix

SystemVerilog Pre-processor, parser, elaborator, UHDM compiler. Version 1.86 via Homebrew; verified 2026-06-22.

## Install

```sh
sudo av install brew:surelog
```

Additional install commands:

### macOS

- Homebrew (100%):

```sh
brew install surelog
```

  Evidence: local Homebrew formula metadata

### Linux

- Nix (92%):

```sh
nix profile install nixpkgs#surelog
```

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

## Package facts

- **Package key:** brew:surelog
- **Package manager:** Homebrew
- **Package manager page:** <https://formulae.brew.sh/formula/surelog>
- **Version:** 1.86
- **Source summary:** SystemVerilog Pre-processor, parser, elaborator, UHDM compiler
- **Homepage:** <https://github.com/chipsalliance/Surelog>
- **Repository:** <https://github.com/chipsalliance/Surelog>
- **Upstream docs:** <https://github.com/chipsalliance/Surelog#readme>
- **License:** Apache-2.0
- **Source archive:** <https://github.com/chipsalliance/Surelog/archive/refs/tags/v1.86.tar.gz>
- **Last updated:** 2026-06-22T14:06:24-07:00
- **Generated:** 2026-07-08T07:18:31+00:00

## Executables

- surelog (cli)
- surelog (alias)

## Dependencies

- antlr4-cpp-runtime
- capnp
- uhdm

## Build dependencies

- antlr
- cmake
- nlohmann-json
- openjdk
- python@3.14

## 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-07-08
- Package-manager version: 1.86
- Package-manager updated: 2026-06-22
- Local data: ok
- Upstream repository: https://github.com/chipsalliance/Surelog
- Upstream latest detected: v1.86 (current)
## Project history and usage

Surelog is an open-source SystemVerilog 2017 preprocessor, parser, elaborator, and UHDM compiler. Its official README positions it as a reusable front end for open EDA flows rather than a standalone end-user application.

### Project history

Surelog's stated goal is to provide a complete SystemVerilog 2017 front end for design and testbench code. The project is part of the CHIPS Alliance ecosystem and is closely tied to UHDM, producing serialized models and VPI-compatible data that downstream tools can consume.

### Adoption history

The README cites equivalence work against large open cores such as BlackParrot and Ariane, and notes Ibex and Earlgrey use in the Surelog/UHDM/Yosys flow. That official evidence places adoption mainly in open-source silicon and EDA toolchain work rather than general application development.

### How it is used

Surelog is used as a command-line compiler front end and as a library. Users pass Verilog/SystemVerilog source lists, include directories, defines, top modules, cache/output directories, and flow options to generate parsed/elaborated output and UHDM databases.

### Why package nerds care

Package maintainers care about Surelog because it packages a serious native EDA dependency stack: C++, ANTLR-generated parsing, optional Python APIs, UHDM integration, and command-line compatibility with common Verilog options. It is infrastructure for making open hardware flows installable.

### Timeline

- 2020: Official README links to WOSET 2020 UHDM and Surelog paper/presentation
- Current: README describes SystemVerilog 2017 front-end goals and UHDM output for downstream tools

### Related projects

- Surelog is related to UHDM, Yosys, Verilator-style open EDA flows, and open hardware projects such as Ibex, Earlgrey, Ariane, and BlackParrot.

### Sources

- <https://github.com/chipsalliance/Surelog#readme>
- source_facts.package-manager


## Security Notes

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:** surelog
- **Version Scheme:** 0
- **Revision:** 2
- **Head Version:** HEAD
- **Conflicts With:** open-babel
- **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

- Nix - surelog: normalized package name match | nixpkgs package indexes: pkgs/by-name/su/surelog/package.nix from https://api.github.com/repos/NixOS/nixpkgs/git/trees/master?recursive=1


## Related links

- [Source-control packages](https://www.automicvault.com/pkg/source-control-tools/) - Belongs to a source-control command family.
- [Terminal utility packages](https://www.automicvault.com/pkg/terminal-utilities/) - Matched terminal and command-line workflow metadata.
- [Text processing packages](https://www.automicvault.com/pkg/text-processing-tools/) - Matched text, document, or structured-data processing metadata.
- [Developer build packages](https://www.automicvault.com/pkg/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata.
- [capnp](https://www.automicvault.com/pkg/brew/capnp/) - Runtime dependency declared by Homebrew.
- [uhdm](https://www.automicvault.com/pkg/brew/uhdm/) - Runtime dependency declared by Homebrew.
- [antlr](https://www.automicvault.com/pkg/brew/antlr/) - Build dependency declared by Homebrew.
- [cmake](https://www.automicvault.com/pkg/brew/cmake/) - Build dependency declared by Homebrew.
- [openjdk](https://www.automicvault.com/pkg/brew/openjdk/) - Build dependency declared by Homebrew.
- [sv2v](https://www.automicvault.com/pkg/brew/sv2v/) - Shares av.db curated category or tags: cli, developer-tools, eda, hardware-description-language, systemverilog.
- [nvc](https://www.automicvault.com/pkg/brew/nvc/) - Shares av.db curated category or tags: cli, compiler, developer-tools, hardware-description-language.
- [surfer](https://www.automicvault.com/pkg/brew/surfer/) - Shares av.db curated category or tags: cli, developer-tools, eda, hardware-description-language.
- [gplcver](https://www.automicvault.com/pkg/brew/gplcver/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog.
- [icarus-verilog](https://www.automicvault.com/pkg/brew/icarus-verilog/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog.
- [marked](https://www.automicvault.com/pkg/brew/marked/) - Shares av.db curated category or tags: cli, compiler, developer-tools, parser.
- [svlint](https://www.automicvault.com/pkg/brew/svlint/) - Shares av.db curated category or tags: cli, developer-tools, eda, systemverilog.
- [bsc](https://www.automicvault.com/pkg/brew/bsc/) - Local package facts share a topical domain. Shared terms: cli, compiler, description, developer, developer-tools.

## Combined YAML source

View the package source record on GitHub. [combined/surelog.yml](https://github.com/automic-vault/db/blob/main/combined/surelog.yml)


## Sources

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