Functional verification project for the CORE-V family of RISC-V cores.
2020-12-16: The cv32e40p_v1.0.0 of core-v-verif is released.
This tag clones the v1.0.0 release of the CV32E40P CORE-V core and will allow you to reproduce the verification environment as it existed at
More news is available in the archive.
Getting started with CV32E40P
If you want to run a simulation there are two options:
- To run the CORE testbench, go to
cv32e40p/sim/coreand read the README.
- To run the CV32E40P UVM environment, go to
cv32e40p/sim/uvmtand read the README.
CV32E40P coverage data
The most recently published coverage report for the CV32E40P can be found here.
Getting started with CVA6
To run CVA6 testbench, go to cva6 directory and read the README.
Directory Structure of this Repo
Various utilities for running tests and performing various verification-related activities in the core-v-verif repository.
Empty sub-directory into which the RTL from one or more of the CORE-V-CORES repositories is cloned.
Verification Environments, testbenches, testcases and simulation Makefiles for the CV32E40P core.
Verification Environments, testbenches, testcases and simulation Makefiles for the CVA6 cores.
Common simulation Makefiles that support testbenches for all CORE-V cores.
Common components for the all CORE-V verification environments.
Verification components supported by third-parties.
We highly appreciate community contributions. You can get a sense of our current needs by reviewing the GitHub
projects associated with this repository. Individual work-items
within a project are defined as issues with a
To ease our work of reviewing your contributions, please:
- Review CONTRIBUTING.
- Split large contributions into smaller commits addressing individual changes or bug fixes. Do not mix unrelated changes into the same commit!
- Write meaningful commit messages.
- If asked to modify your changes, do fixup your commits and rebase your branch to maintain a clean history.