5 ms·
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
by lkcl 6y ago
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.
- monocasa 6y agoMy concern with nmigen with a taped out design isn't that you can get it to pass the PDK rules. It's the difficulty in creating a productive feedback cycle once simulation shows the inevitable bottlenecks in your design for each process node you're targeting. It's for sure a solvable problem, but 9 time out of 10 the FOSS developers trying to push a new language into this space end up not meeting their actual "release a usable design" goals but instead spend all their time yak shaving the language. It's a classic nerd snipe in the space.
- lkcl 6y agoluckily, 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 https://youtu.be/7rCeNzrCB_g?t=1939
- rowanG077 6y agoCan you point to 3 instances of this happening?