/srcpkgs/yosys/