ours will be one of the first or second. Staf from Chips4Makers will be using nmigen-based infrastructure. the nice thing about being charitably-funded to do research is: it's not our personal money. NLnet has offered to pay for a 180nm tape-out, and we also qualify for Google-Skywater 130nm.

also, you may be interested to know: Sorbonne University has access to Cadence. after converting to Verilog, they ran our 180nm design through DRC and it passed 100%.

nmigen has some deterministic behavioural guarantees and much more which make it a far better choice. it happens to output Verilog which we can treat as a (readable) machine-code (assembler-like) intermediary.