Here's a collection of RISC-V cores in Bluespec: https://github.com/csail-csg/riscy