I don&#x27;t think the RISC-V work is a good example. It suffers from some of the problems that mdwelsh is worried about.<p>It&#x27;s aimed at a real world problem but their solution is not good.<p>A couple of days ago, someone asked where the verification infrastructure was on <a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10831601" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=10831601</a> .
So I took another look around and found it was pretty much unchanged from when I looked last time. There is almost nothing there. It is not up to industry standards, to put it lightly.<p>It&#x27;s not just the verification aspect that is weak either. On the design side, they only have docs on the ISA. For SOC work, you are essentially given no docs. Then in another slap in the face, the alternative is to look for code to read but the code is in Scala. Basically only helping those who went to Berkley or something.<p>It is something that seems relevant but if you were to try using it most engineers would have a pretty hard time.