There are multiple WIP formal specs for Risc-V it seems one will be chosen as official and is then likely to be used for further tooling eg hardware and softwa

There are multiple WIP formal specs for Risc-V it seems one will be chosen as official and is then likely to be used for further tooling eg hardware and software verification.