On: ARM: “RISC-V Architecture: Understand the Facts”

[_chris_]

Apologies, I may be speaking out of my $(# on that. I'm aware Clifford has used it to demonstrate formal method techniques, but I don't know the full extend to it. Caveat Emptor to anyone who decided to rush out and add it to their SoC. ;)