I'm squinting a lot to draw a net conclusion, but clearly a massive focus on testing & simulators.
They notably seem to be validating & simulating C/C++ targets for a lot of this.
They have a great breakdown of the tools they've used & build. Chisel, out of Berkeley, lies at the heart of almost everything. But they have reams of new tools they've madd. There's over a dozen simulators or tester pieces they said they've made. Which is epic, and makes total sense.
Great paper thanks for sharing. I quickly scanned their gitbub repos. A lot of these tools probably arent iterated on as much & I just haven't got to them yet. The paper claims the overarching development structure is embodied on a tool MinJie, which the paper says is open source. Fantastic, fingers crossed 50%+ of the tooling here is available.
I also feel like the US's OpenROAD deserves some shout out as related, relying on extremely good design checking/validators to be so agile at chipmaking that ML can spit out designs en mass & then we can run loss checks to find out how working the various designs are. Millions of monkeys on typewriters style ultra agile.
