# Installer yosys

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de yosys pour les workflows d'agents IA.

## installation

```sh
sudo av install brew:yosys
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew (100%):

```sh
brew install yosys
```

  Preuve: local Homebrew formula metadata

### Linux

- apk (92%):

```sh
sudo apk add yosys
```

  Preuve: Alpine Linux edge package indexes: yosys from https://dl-cdn.alpinelinux.org/alpine/edge/testing/x86_64/APKINDEX.tar.gz

- Debian apt (92%):

```sh
sudo apt install yosys
```

  Preuve: Debian stable package indexes: yosys from https://deb.debian.org/debian/dists/stable/main/binary-amd64/Packages.xz

- dnf (92%):

```sh
sudo dnf install yosys
```

  Preuve: Fedora Rawhide package metadata: yosys from https://dl.fedoraproject.org/pub/fedora/linux/development/rawhide/Everything/x86_64/os/repodata/13ee7b80cb813542594d4235c4a0b8695435d5ecf23dd3580bc7515ae1b6180d-primary.xml.zst

- Nix (92%):

```sh
nix profile install nixpkgs#yosys
```

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

- pacman (92%):

```sh
sudo pacman -S yosys
```

  Preuve: Arch Linux sync databases: yosys from https://geo.mirror.pkgbuild.com/extra/os/x86_64/extra.db.tar.gz

### Windows

- Scoop (92%):

```sh
scoop install main/yosys
```

  Preuve: Scoop official bucket manifest trees: bucket/yosys.json from https://api.github.com/repos/ScoopInstaller/Main/git/trees/master?recursive=1

## Faits du paquet

- **Clé du paquet:** brew:yosys
- **Gestionnaire de paquets:** Homebrew
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/formula/yosys>
- **Version:** 0.65
- **Résumé source:** Framework for Verilog RTL synthesis
- **Page d'accueil:** <https://yosyshq.net/yosys/>
- **Dépôt:** <https://github.com/YosysHQ/yosys>
- **Docs amont:** <https://yosyshq.net/yosys/>
- **Licence:** ISC
- **Archive source:** <https://github.com/YosysHQ/yosys/releases/download/v0.65/yosys.tar.gz>
- **Mis à jour:** 2026-05-12T14:03:11Z
- **Source générée:** 2026-05-26T22:45:13+00:00

## exécutables

- yosys (cli)
- yosys-abc (cli)
- yosys-config (cli)
- yosys-filterlib (cli)
- yosys-smtbmc (cli)
- yosys-witness (cli)
- yosys (alias)
- yosys-abc (alias)
- yosys-config (alias)
- yosys-filterlib (alias)
- yosys-smtbmc (alias)
- yosys-witness (alias)

## Dépendances

- libtommath
- readline
- tcl-tk

## Dépendances de compilation

- bison
- flex
- pkgconf

## Bibliothèques fournies par macOS

- libffi
- python

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: disponible sur arm64_linux, arm64_sequoia, arm64_sonoma, arm64_tahoe, sonoma, x86_64_linux

## fraîcheur

- page générée: 2026-05-26
- version du gestionnaire: 0.65
- gestionnaire mis à jour: 2026-05-12
- données locales: ok
- dépôt amont: https://github.com/YosysHQ/yosys
- info: No cached GitHub release or tag data was available.

## Notes de sécurité

no executable entrypoint in the package index.

- **Risque Geiger:** green / low
- no executable entrypoint in the package index

## Liens liés

- [readline](https://www.automicvault.com/pkg/brew/readline/) - Runtime dependency declared by Homebrew.
- [tcl-tk](https://www.automicvault.com/pkg/brew/tcl-tk/) - Runtime dependency declared by Homebrew.
- [libtommath](https://www.automicvault.com/pkg/brew/libtommath/) - Runtime dependency declared by Homebrew.
- [pkgconf](https://www.automicvault.com/pkg/brew/pkgconf/) - Build dependency declared by Homebrew.
- [bison](https://www.automicvault.com/pkg/brew/bison/) - Build dependency declared by Homebrew.
- [flex](https://www.automicvault.com/pkg/brew/flex/) - Build dependency declared by Homebrew.
- [sby](https://www.automicvault.com/pkg/brew/sby/) - Popular package that depends on this formula.

## Sources

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