yosys 0.52-5 medium