Darpa invests $100M in a silicon compiler
It would be great if they could make something like a Bluespec Verilog[0], but open source.  This HDL is far better than traditional ones, IMHO.<p>[0] <a href="https://en.m.wikipedia.org/wiki/Bluespec" rel="nofollow">https://en.m.wikipedia.org/wiki/Bluespec</a>