> The fact that you can add instructions quickly is another problem, well, that and the lack of a standardized verification suite for the ISA so that software d

> The fact that you can add instructions quickly is another problem, well, that and the lack of a standardized verification suite for the ISA so that software devs know that implementations are up to spec when they write code for them. There is a formal specification of both the ISA and the memory model. There are 2 working groups extending the formal models to the standard extensions. Plus these formal efforts there is also a working group defining a sweet of verification tests that you have to pass in order to be qualified RISC-V. The standard profile defined for Linux that will primary be used in the server space is RV65GC and most processor in this space will probably not have non-standardised extensions. I would expect a server core to have maybe vector and crypto extensions.