Skip to content

Merge S->X

Created by: silabs-robin

This PR does the periodical merge from core-v-verif:cv32e40s/dev into cv32e40x-dv:main.

Test status:

  • ci_check - Passes (except for 2 known baddies).
  • Internal Formal - Runs again (thanks to this).
  • Core-v-verif Formal - (Not tested).

Merge request reports

Loading