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.3 Package compiler and linker metadata toolkit

Analytics:

Installs (30 days)
yosys 535
yosys --HEAD 6
Installs on Request (30 days)
yosys 500
yosys --HEAD 6
Build Errors (30 days)
yosys 21
yosys --HEAD 5
Installs (90 days)
yosys 1,671
yosys --HEAD 21
Installs on Request (90 days)
yosys 1,527
yosys --HEAD 21
Installs (365 days)
yosys 5,157
yosys --HEAD 90
Installs on Request (365 days)
yosys 4,576
yosys --HEAD 90