yosys

Framework for Verilog RTL synthesis
http://www.clifford.at/yosys/

Current version
0.7

yosys requires the following formulae to be installed:
python3 3.6.3 Interpreted, interactive, object-oriented programming language
libffi 3.2.1 Portable Foreign Function Interface library
readline 7.0.3_1 Library for command-line editing
pkg-config 0.29.2 Manage compile and link flags for libraries
bison 3.0.4_1 Parser generator

Formula history

Josh Headapohl yosys 0.7 (new formula)