インストール

Automic Vault でインストール

Automic Vault

AV をダウンロード

sudo av install brew:yosys

macOS

Homebrew 確認済み · 100%

brew install yosys

local Homebrew formula metadata

Linux

Alpine Linux apk 確認済み · 92%

sudo apk add yosys

Alpine Linux edge package indexes · yosys · ソース: dl-cdn.alpinelinux.org

Debian apt 確認済み · 92%

sudo apt install yosys

Debian stable package indexes · yosys · ソース: deb.debian.org

Fedora dnf 確認済み · 92%

sudo dnf install yosys

Fedora Rawhide package metadata · yosys · ソース: dl.fedoraproject.org

Nix 確認済み · 92%

nix profile install nixpkgs#yosys

nixpkgs package indexes · pkgs/by-name/yo/yosys/package.nix · ソース: api.github.com

Arch Linux pacman 確認済み · 92%

sudo pacman -S yosys

Arch Linux sync databases · yosys · ソース: geo.mirror.pkgbuild.com

Windows

Scoop 確認済み · 92%

scoop install main/yosys

Scoop official bucket manifest trees · bucket/yosys.json · ソース: api.github.com

パッケージマネージャソース

https://formulae.brew.sh/formula/yosys

プラットフォームノート

パッケージ固有のプラットフォームノートはありません。

概要

パッケージ概要

Automic Vault は、yosys のパッケージ固有のインストール経路、実行可能ファイル情報、セキュリティメタデータをローカルパッケージデータから公開します。

ホームページ

https://yosyshq.net/yosys/

コマンドとエイリアス

yosys
yosys-abc
yosys-config
yosys-filterlib
yosys-smtbmc
yosys-witness

ソース概要

Framework for Verilog RTL synthesis

セキュリティ状態

リスクレベル: green

no executable entrypoint in the package index.

リスク分類器

green リスク · low 信頼度 · appliance

理由

no executable entrypoint in the package index

信号

metadata:no-indexed-executables

インストール挙動

No Homebrew post-install hook is recorded in formula metadata.
Homebrew bottle metadata is available for 6 platform targets.
3 件の実行時依存関係とともにインストールされます。
ビルドメタデータには 3 件のビルド依存関係があります。

推奨レビュー

エージェントに無人実行させる前に、このツールが平文の認証情報を読むか、リモート状態を書き込むか、成果物を公開するか、プラグインを起動するかを確認してください。

実行可能ファイル

インストールされる実行可能ファイル

コマンド	種類	公開範囲
`yosys`	cli	global executable
`yosys-abc`	cli	global executable
`yosys-config`	cli	global executable
`yosys-filterlib`	cli	global executable
`yosys-smtbmc`	cli	global executable
`yosys-witness`	cli	global executable

鮮度

バージョンと鮮度

これらの信号は、ページ生成時期、パッケージマネージャの活動、上流リリース比較を分けて示します。バージョン遅れは、証拠 URL と比較可能なバージョンがある場合だけ警告されます。

ページ生成日2026-05-26

マネージャ版0.65

マネージャ更新日2026-05-12

ローカルデータok

上流not checked

検出された最新未検出

https://github.com/YosysHQ/yosys

info No cached GitHub release or tag data was available. https://github.com/YosysHQ/yosys none 信頼度

インストールメタデータ

パッケージメタデータ

パッケージキー	brew:yosys
バージョン	0.65
パッケージマネージャ	Homebrew
パッケージマネージャページ	https://formulae.brew.sh/formula/yosys
ホームページ	https://yosyshq.net/yosys/
リポジトリ	https://github.com/YosysHQ/yosys
上流ドキュメント	https://yosyshq.net/yosys/
ライセンス	ISC
ソースアーカイブ	https://github.com/YosysHQ/yosys/releases/download/v0.65/yosys.tar.gz
更新	2026-05-12T14:03:11Z
Pulse	updated
依存関係	libtommath, readline, tcl-tk
ビルド依存関係	bison, flex, pkgconf
macOS 提供ライブラリ	libffi, python
Bottle	利用可能 (arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux)
Homebrew post-install	未定義
サービス	宣言なし

パッケージグラフ

リンクは、ローカルのパッケージ関係グラフ、補足データ、依存関係、エコシステム一致、パッケージハブ所属から来ています。

ソース経路

リポジトリデータから生成

このページは scripts/generate-pkg-pages.py によって書かれます。www/pkg/ がローカルパッケージデータに対して古い場合、デプロイは公開を拒否します。

使用ソース

Geiger risk classifier
Nucleus package database
cross-ecosystem install command graph
package relationship graph
package version freshness
package-page enrichment

yosys をインストール