YosysHQ

Yosys is a framework for Verilog RTL synthesis. It currently has extensive Verilog-2005 support and provides a basic set of synthesis algorithms for various application domains.

YosysHQ is the organization maintaining Yosys and related tools and projects, such as nextpnr, project icestorm, project trellis, and more.