XiangShan
Open-source high-performance RISC-V processor
...The project invests heavily in verification: differential testing against reference models, extensive random instruction tests, and full software stacks (bootloaders, Linux) to validate correctness under realistic workloads. Tooling around the core (build scripts, simulators, waveform/debug support) lowers the barrier for academics and industry contributors to experiment and extend.