One of the main value adds of an open ISA + open reference implementations Chisel/Chipyard + access to RTL (I think?) is that LOTS of people are hungry for rea

One of the main value adds of an open ISA + open reference implementations Chisel/Chipyard + access to RTL (I think?) is that LOTS of people are hungry for really good multi-core out-of-order CPU pipelines with super-stringent levels of provable correctness. I think the tooling ecosystem is on the right track in terms of providing a FOSS toolchain that supports this. It's not there yet, but you're average ECE master's student could probably teach themselves chipyard and start their own Rocket fork which is much easier to test/verify at the basic-block level than a lot of other tooling I've used.