[IshKebab]

There are Sail models for ARM, RISC-V, x86 and MIPS. I think ARM has its own executable spec too.