Merge s/dev to x/dev (!2102) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Created by: silabs-krdosvik

ci check is as in #2100 and formal compiles. This is related to https://github.com/openhwgroup/cv32e40x-dv/pull/16

Closed #2100 because I did two merges as I didnt have the updated cv32e40s/dev locally (see comment in the #2100 PR)

Merge s/dev to x/dev