Merge: master->x
Created by: silabs-robin
This PR merges "master" into "cv32e40x/dev".
There was only a minor conflict in uvma_rvfi_instr_mon.sv, fixed.
Passes ci_check. Passes rel_check. Formal works.
Created by: silabs-robin
This PR merges "master" into "cv32e40x/dev".
There was only a minor conflict in uvma_rvfi_instr_mon.sv, fixed.
Passes ci_check. Passes rel_check. Formal works.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent