Merge From S

Created by: silabs-robin

This PR merges from cv32e40s/dev using the standard script.

Rejection diff: https://github.com/openhwgroup/cv32e40x-dv/compare/merge_cv32e40s_2023.09.11-16.39..merge_cv32e40s_2023.09.11-16.39_rejection_diff

Recommendations for review: https://github.com/openhwgroup/cv32e40x-dv/blob/main/docs/SX_Merge_PR_Review_Strat.md

Test Results:

• ci_check - Fails on clic and debug_test2.
  • clic - Fails from before. (See screenshot below.)
  • debug_test2 - Fails from before. (See screenshot below.)
• Formal (cvverif) - No obvious problems.
• Formal (internal) - No obvious problems.

---