Determine nmi load/store fault (!1087) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-robin/nmi_determination into cv32e40x/dev Dec 27, 2021

Created by: silabs-robin

This PR makes uvma_rvvi_ovpsim choose correct signaling for load/store nmi fault. Fixes https://github.com/openhwgroup/cv32e40x/issues/339 . The new rvfi_nmip[1:0] RTL signal made this relatively easy.

Tested on the latest cv32e40x/dev branch. It was possible to reproduce the problem reported by the issue without having to use an old hash of core-v-verif. Tested with corev_rand_data_obi_err_debug using different seeds, as well as with ..._data_obi_err and ..._instr_obi_err. Passes ci_check.

Before:

After:

Determine nmi load/store fault

Merge request reports