Signal instruction PMP error on RVFI (!366) · Merge requests · OpenHW Group / backup-20241120 / cv32e40s

Eclipse Webmaster requested to merge github/fork/silabs-oivind/rvfi_instr_pmp into master Dec 20, 2022

Created by: silabs-oivind

Fix for https://github.com/openhwgroup/cv32e40s/issues/333

This update has been verified formally by asserting that we signal PMP error on rvfi_trap.cause_type if and only if we have a instruction access fault. Since PMA can also give instruction access fault, PMA had to be disabled to get the assertions to pass. Because of this, the assertions used to verify this are not checked in.

Signed-off-by: Oivind Ekelund oivind.ekelund@silabs.com

Signal instruction PMP error on RVFI

Merge request reports