Skip to content

Merge cv32e40s 2023.12.20 13.32

Created by: silabs-krdosvik

Should be PR along with this: https://github.com/openhwgroup/core-v-verif/pull/2341

Formal compiling: ok ci check: pass

Merge request reports

Loading