# Installer sv2v avec Homebrew Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de sv2v pour les workflows d'agents IA. ## installation ```sh sudo av install brew:sv2v ``` Commandes d'installation supplémentaires: ### macOS - Homebrew (100%): ```sh brew install sv2v ``` Preuve: local Homebrew formula metadata ## Faits du paquet - **Clé du paquet:** brew:sv2v - **Gestionnaire de paquets:** Homebrew - **Page du gestionnaire de paquets:** - **Version:** 0.0.13 - **Résumé source:** SystemVerilog to Verilog conversion - **Page d'accueil:** - **Dépôt:** - **Licence:** BSD-3-Clause - **Archive source:** - **Dernière mise à jour:** 2026-07-22T13:39:31Z - **Généré:** 2026-08-04T22:13:35+00:00 ## exécutables - sv2v (cli) - sv2v (alias) ## Dépendances - gmp ## Dépendances de compilation - cabal-install - ghc ## Bibliothèques fournies par macOS - libffi ## Comportement d'installation - hook post-installation: non défini - Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## Version et fraîcheur - page générée: 2026-08-04 - version du gestionnaire: 0.0.13 - gestionnaire mis à jour: 2026-07-22 - données locales: OK - dépôt amont: https://github.com/zachjs/sv2v - dernière version détectée: v0.0.13 (à jour) ## Historique du projet et usages 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. ### Historique du projet 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. ### Historique d'adoption 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. ### Modes d'utilisation 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. ### Pourquoi les passionnés de paquets s'y intéressent 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. ### Chronologie - 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 ## Notes de sécurité narrow executable package without higher-risk signals. - **Risque Geiger:** vert / faible - narrow executable package without higher-risk signals ## Détails de la base source - **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 ## Liens liés - [Source-control packages](https://pkg.so/fr/source-control-tools/) - Belongs to a source-control command family. - [Terminal utility packages](https://pkg.so/fr/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://pkg.so/fr/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://pkg.so/fr/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [cabal-install](https://pkg.so/fr/brew/cabal-install/) - Build dependency declared by Homebrew. - [ghc](https://pkg.so/fr/brew/ghc/) - Build dependency declared by Homebrew. - [icarus-verilog](https://pkg.so/fr/brew/icarus-verilog/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, hdl, verilog. - [easyeda2kicad](https://pkg.so/fr/brew/easyeda2kicad/) - Shares pkgdb curated category or tags: cli, developer-tools, eda. - [netlistsvg](https://pkg.so/fr/brew/netlistsvg/) - Shares pkgdb curated category or tags: cli, developer-tools, eda. - [surelog](https://pkg.so/fr/brew/surelog/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, systemverilog, verilog. - [svlint](https://pkg.so/fr/brew/svlint/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, hdl, systemverilog. - [verilator](https://pkg.so/fr/brew/verilator/) - Shares pkgdb curated category or tags: cli, developer-tools, systemverilog, verilog. - [yosys](https://pkg.so/fr/brew/yosys/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, verilog. - [surfer](https://pkg.so/fr/brew/surfer/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, hdl. - [dhall-toml](https://pkg.so/fr/brew/dhall-toml/) - Local package facts share a topical domain. Shared terms: cli, conversion, converter, developer, developer-tools. ## Combined YAML source View the package source record on GitHub. [combined/sv2v.yml](https://github.com/mxcl/pkgdb/blob/main/combined/sv2v.yml) ## Sources - pkg.so package database - Geiger risk classifier - package-page enrichment - curated package history - package version freshness - pkgdb category and tag curation - package relationship graph - cross-ecosystem install command graph