are there any common instruction sets (i.e., you can find binaries in that wild that use it) with (perhaps large practical subsets that exclude extended instructions) "real" formal semantics written down that you can just use off-the-shelf?
Conversation
Replying to
Not sure if it is common enough, but hasn't the RISC-V Foundation adopted the Sail model for their specification?
