[shiftingleft]

> the current "compiled" spec document is about 5 years behind the actual production ISA

How could I verify this information?

[pclmulqdq]

Read the RISC-V foundation website. There are numerous "ratified" parts of the RISC-V instruction set that are not in the latest "compiled" spec document.

[therealcamino]

Saying a "compiled" spec is out of date may be technically accurate (or not, I don't have any idea) but if open, published documentation of the ratified extensions is on the web site, it's misleading to cite it as evidence that the spec is not open. And I know that the draft specifications are open for public comment prior to being ratified, so it's not a secret what's under development, either.

[nradov]

It's kind of hilarious how complex some "reduced" instruction sets have become.

[therealcamino]

That was my question, too. What instructions have been undocumented for five years? What non-standardized extensions exist in SiFive cores?