Yosys
オープンソースのRTL合成ツール
https://github.com/YosysHQ/yosys
Lattice の iCE40 や ECP5、Gowin の FPGA などに対応