I just had an idea for a project, but I dont have time to do it: Verify caravel's RISCV core with AAPG: https://gitlab.com/shaktiproject/tools/aapg/-/wikis/Wiki

picorv32 has already been verified with riscv5-formal: https://github.com/SymbioticEDA/riscv-formal