Merge cv32e40s 2023.08.15 10.59
Created by: silabs-robin
This PR merges from core-v-verif:cv32e40s/dev
into cv32e40x-dv:main
.
The new script in core-v-verif/bin/merge.sh
was used, then all changes were manually vetted and resolved.
Rejection diff: https://github.com/silabs-robin/cv32e40x-dv/compare/merge_cv32e40s_2023.08.15-10.59..silabs-robin:cv32e40x-dv:merge_cv32e40s_2023.08.15-10.59_theirs (Shows which changes were rejected and classified as not belonging in x-dv)
Test status:
- ci_check - Passing acceptable (still "clic" and "debug_test2").
- Formal - Still runable.
- (Note: Checked vs cv32e40s/dev).