Yosys

Yosys is the synthesis tool.

Documentation

• Documentation http://yosyshq.net/yosys/
• Source code https://github.com/YosysHQ/yosys