Whoa. This is very impressive! It does seem to hilight an increasing unease I have with riscv. Implementations are many and cheap, but reusable verification is

Whoa. This is very impressive! It does seem to hilight an increasing unease I have with riscv. Implementations are many and cheap, but reusable verification is rare and people don't use what is out there. They have maybe the riscv-tests set working. But that's not enough to call your new CPU usable for anything other than a hobby project. Fwiw, the riscv-formal package from Clifford wolf is the closest thing to a turn key solution to verifying a riscv core, even if people must remember it doesn't cover everything.