[Bug 1375765] Review Request: yosys - Yosys Open SYnthesis Suite, including Verilog synthesizer