[mhh__]

Cool!

Is there a similarly simple core to compare with in Bluespec and Clash?

[nereye]

Don't know if these would match the 'similarly simple' requirement but there are certainly RISC-V cores written in either Clash: https://github.com/adamwalker/clash-riscv https://github.com/losfair/Violet or Bluespec: https://bluespec.com/category/risc-v/