ports/cad/yosys/patches
