yosys
Install command:
brew install yosysFramework for Verilog RTL synthesis
License: ISC
Development: Pull requests
Formula JSON API: /api/formula/yosys.json
Formula code: yosys.rb on GitHub
Bottle (binary package) installation support provided for:
| macOS on Apple Silicon |
tahoe | ✅ |
|---|---|---|
| sequoia | ✅ | |
| sonoma | ✅ | |
| macOS on Intel |
sonoma | ✅ |
| Linux | ARM64 | ✅ |
| x86_64 | ✅ |
Current versions:
| stable | ✅ | 0.68 |
| head | ⚡️ | HEAD |
Depends on:
| libtommath | 1.3.0 | C library for number theoretic multiple-precision integers |
| readline | 8.3.3 | Library for command-line editing |
| tcl-tk | 9.0.4 | Tool Command Language |
| tomlplusplus | 3.4.0 | Header-only TOML config file parser and serializer for C++17 |
Depends on when building from source:
| bison | 3.8.2 | Parser generator |
| boost | 1.92.0 | Collection of portable C++ source libraries |
| cmake | 4.4.3 | Cross-platform make |
| flex | 2.6.4 | Fast Lexical Analyzer, generates Scanners (tokenizers) |
| fmt | 12.2.0 | Open-source formatting library for C++ |
| pkgconf | 3.0.6 | Package compiler and linker metadata toolkit |
Uses from macOS: libffi, python
Binaries:
yosys,
yosys-abc,
yosys-config,
yosys-filterlib,
yosys-smtbmc,
yosys-witness
Analytics:
| 30 days | 90 days | 365 days | |
|---|---|---|---|
| Installs | 574 | 1,501 | 5,384 |
Installs (--HEAD) | 6 | 16 | 75 |
| Installs on Request | 512 | 1,371 | 4,831 |
Installs on Request (--HEAD) | 6 | 16 | 75 |
| Build Errors | 16 | ||
Build Errors (--HEAD) | 1 |