[submodule "yosys"] path = yosys url = https://github.com/YosysHQ/yosys