Skip to content

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).

Merge request reports

Loading