Would be interesting to know what verification they've done on this core. Given it's included as a bonus feature presumably they haven't done full DV on it. Th

Would be interesting to know what verification they've done on this core. Given it's included as a bonus feature presumably they haven't done full DV on it. The repository has a testbench for running binaries, which includes the RISC-V compliance suite plus some usage of RISCV formal https://github.com/YosysHQ/riscv-formal https://github.com/YosysHQ/riscv-formal which is intriguing. Though nothing obvious of the level you'd need to close production level verification on a design.