luckily, through yosys, conversion to Verilog is trivial. and yes, when we get to 22nm (etc) we'll need to license commercial tools from Cadence, Synopsis etc. we're setting up a commercial operation to do that.

right now we're in like "R&D mode", thankfully paid-for by NLnet.

i go into some detail about why we chose nmigen, and what can be done with it. it was not a "light decision", it was several months comprehensive review.

here's the point in the FOSDEM talk i just did: https://youtu.be/7rCeNzrCB_g?t=1939