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

If you're familiar with other popular awesome lists, you may find this list a little anomalous. For starters take a look at the available badges. Notable channels are exploratory, and can be used for ...