# Install sv2v with Homebrew SystemVerilog to Verilog conversion. Version 0.0.13 via Homebrew; verified from local package data. ## Install ```sh sudo av install brew:sv2v ``` Additional install commands: ### macOS - Homebrew (100%): ```sh brew install sv2v ``` Evidence: local Homebrew formula metadata ## Package facts - **Package key:** brew:sv2v - **Package manager:** Homebrew - **Package manager page:** - **Version:** 0.0.13 - **Source summary:** SystemVerilog to Verilog conversion - **Homepage:** - **Repository:** - **Upstream docs:** - **License:** BSD-3-Clause - **Source archive:** - **Generated:** 2026-07-08T07:18:31+00:00 ## Executables - sv2v (cli) - sv2v (alias) ## Dependencies - gmp ## Build dependencies - cabal-install - ghc ## Uses from macOS - libffi ## Install behavior - Post-install hook: not defined - Bottle: available on arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, arm64_ventura, sonoma, ventura, x86_64_linux ## Freshness - Page generated: 2026-07-08 - Package-manager version: 0.0.13 - Local data: ok - Upstream repository: https://github.com/zachjs/sv2v - Upstream latest detected: v0.0.13 (current) - info: No package-manager update timestamp was available. ## Project history and usage sv2v is a command-line SystemVerilog-to-Verilog converter aimed at synthesizable hardware designs. It belongs to the open-source EDA toolchain culture around Yosys, where file-format and language-compatibility bridges are often packaged as small, scriptable tools. ### Project history The README says the project was created to provide a completely free and open-source SystemVerilog-to-Verilog converter, because existing approaches were often commercial or limited in scope. It was originally developed to target Yosys and to pass through SystemVerilog features that Yosys already supported. The README also places the idea in a Carnegie Mellon University open-hardware research project, with collaboration beginning in January 2019. The GitHub commit history's oldest page records an initial commit on February 8, 2019, as a fork of Tom Hawkin's Verilog parser. ### Adoption history sv2v's adoption is niche but meaningful in open hardware workflows. The repository publishes prebuilt binaries for Ubuntu, macOS, and Windows, has a release series from v0.0.1 in January 2020 through v0.0.13 in March 2025, and is packaged in Homebrew according to the input facts. ### How it is used Typical use is to pass SystemVerilog source files to `sv2v` and receive converted Verilog on standard output or write adjacent `.v` files. The README emphasizes passing all source files together so packages, interfaces, and type parameters can be resolved across files, and documents include paths, library directories, macro definitions, conversion exclusions, and stdin input. ### Why package nerds care sv2v matters to package nerds because it makes an open HDL flow easier to install and automate. A packaged `sv2v` binary lets CI scripts, Makefiles, and Yosys-centered flows consume SystemVerilog projects without requiring proprietary conversion steps. ### Timeline - 2019: CMU open-hardware collaboration begins, according to the README. - 2019: Initial public GitHub commit forks Tom Hawkin's Verilog parser. - 2020: v0.0.1 release is published. - 2025: v0.0.13 release is published. ### Related projects - sv2v is related to Yosys, Icarus Verilog, Haskell Stack, Tom Hawkin's Verilog parser, and open hardware build flows that need Verilog output from SystemVerilog sources. ### Sources - - - - input 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:** sv2v - **Version Scheme:** 0 - **Revision:** 0 - **Bottle Stable Root URL:** - **Deprecated:** no - **Disabled:** no - **Keg Only:** no - **URL Keys:** stable ## 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. - [cabal-install](https://www.automicvault.com/pkg/brew/cabal-install/) - Build dependency declared by Homebrew. - [ghc](https://www.automicvault.com/pkg/brew/ghc/) - Build dependency declared by Homebrew. - [surelog](https://www.automicvault.com/pkg/brew/surelog/) - Shares av.db curated category or tags: cli, developer-tools, eda, hardware-description-language, systemverilog. - [surfer](https://www.automicvault.com/pkg/brew/surfer/) - Shares av.db curated category or tags: cli, developer-tools, eda, hardware-description-language, hdl. - [icarus-verilog](https://www.automicvault.com/pkg/brew/icarus-verilog/) - Shares av.db curated category or tags: cli, developer-tools, eda, hdl, verilog. - [nvc](https://www.automicvault.com/pkg/brew/nvc/) - Shares av.db curated category or tags: cli, developer-tools, hardware-description-language, hdl. - [svlint](https://www.automicvault.com/pkg/brew/svlint/) - Shares av.db curated category or tags: cli, developer-tools, eda, hdl, systemverilog. - [gplcver](https://www.automicvault.com/pkg/brew/gplcver/) - Shares av.db curated category or tags: cli, developer-tools, eda, verilog. - [svls](https://www.automicvault.com/pkg/brew/svls/) - Shares av.db curated category or tags: cli, developer-tools, hdl, systemverilog. - [uhdm](https://www.automicvault.com/pkg/brew/uhdm/) - 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, description, developer, developer-tools, gmp. ## Combined YAML source View the package source record on GitHub. [combined/sv2v.yml](https://github.com/automic-vault/db/blob/main/combined/sv2v.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 - cross-ecosystem install command graph