Links for nmigen-yosys