Functional verification project for the CORE-V family of RISC-V cores. - View it on GitHub