RiVer Core is an open source Python based RISC-V Core Verification framework. - View it on GitHub