Initial Setup

This PR merges core-v-verif into 40s-dv.

That is: It merges the git subtree of core-v-verif/cv32e40s/ (from core-v-verif:cv32e40s/dev) into cv32e40s-dv.

---

Method:

1. I cloned and checked out core-v-verif:cv32e40s/dev.
2. Then I ran git subtree split --prefix cv32e40s -b sdv_first.
   • (Note: It took quite some minutes to process the >5000 commits.)
   • (Note: The resulting sdv_first branch contains only the content from the core-v-verif/cv32e40s/ directory and commits that have changed files in that directory.)
3. Finally I did git merge s-dv/main --allow-unrelated-histories --no-commit
   • (Note: The subtree branch from step 2 couldn't be PRed because there was no common ancestor, this fixes that.)

---

Test status:

• ci_check - All green.
• Formal (s-dv) - Runable.
• Formal (internal) - Runable.
• (Note: Using CV_CORE=cv32e40s VERIF_ENV_REPO=git@github.com:silabs-robin/cv32e40s-dv.git VERIF_ENV_REF=sdv_first_ancestorized ./bin/clonetb --clone.)

Just works. No tweaking was needed.