Merge 2024-10-14
Created by: silabs-robin
This PR merges from core-v-verif to cv32e40s-dv.
That is, from branch cv32e40s/dev, taking the git subtree of core-v-verif/cv32e40s/.
(The goal is to do the same as for the x, to delete the dir in cvverif and have a *-dv repo instead.)
Method: Approximately same as in https://github.com/openhwgroup/cv32e40s-dv/pull/2
Test status:
- Hello world:
✅ (Passed) - ci_check:
✅ (All passed,CV_CORE=cv32e40s ./bin/ci_check --iss 0 -s xrun) - Formal (s-dv):
✅ (Compiles and runs, but CEXes) - Formal (internal):
✅ (Compiles and runs, no CEXes in a few minutes)
Cloned tb with:
CV_CORE=cv32e40s VERIF_ENV_REPO=https://github.com/silabs-robin/cv32e40s-dv.git VERIF_ENV_REF=cv32e40s_subtree_cv32e40sdev_2024-10-14 ./bin/clonetb --clone
Note: Ran without ISS, because I haven't had my idv license server configured in a while.
How to review.
Compare old commits: See the latest commits of this repo, "Aug 17, 2023". See the first commits of this PR, "Aug 18, 2023". ^ Indicates that this PRs diff, along with "git subtree", has picked up at the right location in history.
Compare new commits: See the latest commits of core-v-verif, "correct indent again". See the latest commits of this PR, "correct indent again". ^ Indicates that "git subtree" has gathered commits correctly.
Consider the "Test status" results.
Look at the "Files changed", if you want, but there are so many lines changed that I don't think it is feasible. Rely instead on comparing the commits.
If one wants to run tests, checkout core-v-verif at cv32e40s/dev, then use clonetb as described above.