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

Analytics:

30 days90 days365 days
Installs4911,4705,182
Installs (--HEAD)31783
Installs on Request4311,3274,586
Installs on Request (--HEAD)31783
Build Errors16