yosys

Install command: 
brew install yosys

Framework for Verilog RTL synthesis

https://yosyshq.net/yosys/

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.67
head ⚡️ HEAD

Depends on:

fmt 12.2.0 Open-source formatting library for C++
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
cmake 4.4.0 Cross-platform make
flex 2.6.4 Fast Lexical Analyzer, generates Scanners (tokenizers)
pkgconf 3.0.4 Package compiler and linker metadata toolkit

Analytics:

Installs (30 days)
yosys 537
yosys --HEAD 6
Installs on Request (30 days)
yosys 518
yosys --HEAD 6
Build Errors (30 days)
yosys 22
yosys --HEAD 4
Installs (90 days)
yosys 1,618
yosys --HEAD 21
Installs on Request (90 days)
yosys 1,483
yosys --HEAD 21
Installs (365 days)
yosys 5,103
yosys --HEAD 87
Installs on Request (365 days)
yosys 4,531
yosys --HEAD 87