RVFI: Fix for pc_wdata (!111) · Merge requests · OpenHW Group / backup-20241120 / cv32e40x

Eclipse Webmaster requested to merge github/fork/halfdan-dolva/rvfi_pc_wdata_debug_fix into master Jun 28, 2021

Created by: halfdan-dolva

Formal check for pc_wdata now passing. Switched to calculating pc_wdata from the ID stage wdata to avoid the complex modelling required to use the IF pc during debug entry

Signed-off-by: Halfdan Bechmann halfdan.bechmann@silabs.com

RVFI: Fix for pc_wdata

Merge request reports