rvfi rvvi e40x update (!609) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/strichmo/rvfi_rvvi_initial_e40x into rvfi_rvvi_initial_e40x May 20, 2021

Created by: strichmo

Merge in cv32e40x/dev Point RTL to Halfdan's latest RVFI branch (which includes latest master in cv32e40x) Stalls appear to be fixed (for PC/GPR checks) Still no CSRs

rvfi rvvi e40x update

Merge request reports