Merge cv32e40s 2023.11.07 12.57
Created by: silabs-robin
This PR merges s/dev into x-dv.
Rejection diff: https://github.com/silabs-robin/cv32e40x-dv/compare/merge_cv32e40s_2023.11.07-12.57..silabs-robin:cv32e40x-dv:theirs_cv32e40s_2023.11.07-12.57
Test status:
- ci_check - All green.
- formal - Compiles and runs, no obvious breakage.
(As a reminder, here is the merge script improvements issue https://github.com/openhwgroup/core-v-verif/issues/2134 .)