# sv2v を Homebrew でインストール sv2v のインストール経路、実行ファイル、メタデータ、AI エージェント向けセキュリティノートを確認します。 ## インストール ```sh sudo av install brew:sv2v ``` 追加のインストールコマンド: ### macOS - Homebrew (100%): ```sh brew install sv2v ``` 証拠: local Homebrew formula metadata ## パッケージ情報 - **パッケージキー:** brew:sv2v - **パッケージマネージャ:** Homebrew - **パッケージマネージャページ:** - **バージョン:** 0.0.13 - **ソース概要:** SystemVerilog to Verilog conversion - **ホームページ:** - **リポジトリ:** - **ライセンス:** BSD-3-Clause - **ソースアーカイブ:** - **最終更新:** 2026-07-22T13:39:31Z - **生成日時:** 2026-08-04T22:13:35+00:00 ## 実行可能ファイル - sv2v (cli) - sv2v (エイリアス) ## 依存関係 - gmp ## ビルド依存関係 - cabal-install - ghc ## macOS 提供ライブラリ - libffi ## インストール挙動 - post-install フック: 未定義 - Bottle: 利用可能 対象 arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux ## バージョンと鮮度 - ページ生成日: 2026-08-04 - マネージャ版: 0.0.13 - マネージャ更新日: 2026-07-22 - ローカルデータ: OK - 上流リポジトリ: https://github.com/zachjs/sv2v - 検出された最新: v0.0.13 (最新) ## プロジェクトの歴史と使われ方 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. ### プロジェクトの歴史 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. ### 採用の歴史 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. ### 使われ方 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. ### パッケージ好きにとっての重要性 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. ### タイムライン - 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. ### ソース - - - - input source_facts.package-manager ## セキュリティノート narrow executable package without higher-risk signals. - **Geiger リスク:** グリーン / 低 - narrow executable package without higher-risk signals ## ソースデータベース詳細 - **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 ## 関連リンク - [Source-control packages](https://pkg.so/ja/source-control-tools/) - Belongs to a source-control command family. - [Terminal utility packages](https://pkg.so/ja/terminal-utilities/) - Matched terminal and command-line workflow metadata. - [Text processing packages](https://pkg.so/ja/text-processing-tools/) - Matched text, document, or structured-data processing metadata. - [Developer build packages](https://pkg.so/ja/developer-build-tools/) - Matched build, compiler, generator, or developer workflow metadata. - [cabal-install](https://pkg.so/ja/brew/cabal-install/) - Build dependency declared by Homebrew. - [ghc](https://pkg.so/ja/brew/ghc/) - Build dependency declared by Homebrew. - [icarus-verilog](https://pkg.so/ja/brew/icarus-verilog/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, hdl, verilog. - [easyeda2kicad](https://pkg.so/ja/brew/easyeda2kicad/) - Shares pkgdb curated category or tags: cli, developer-tools, eda. - [netlistsvg](https://pkg.so/ja/brew/netlistsvg/) - Shares pkgdb curated category or tags: cli, developer-tools, eda. - [surelog](https://pkg.so/ja/brew/surelog/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, systemverilog, verilog. - [svlint](https://pkg.so/ja/brew/svlint/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, hdl, systemverilog. - [verilator](https://pkg.so/ja/brew/verilator/) - Shares pkgdb curated category or tags: cli, developer-tools, systemverilog, verilog. - [yosys](https://pkg.so/ja/brew/yosys/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, verilog. - [surfer](https://pkg.so/ja/brew/surfer/) - Shares pkgdb curated category or tags: cli, developer-tools, eda, hdl. - [dhall-toml](https://pkg.so/ja/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) ## ソース - 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