Plugins for Yosys developed as part of the F4PGA project. - View it on GitHub