Correcting rvfi bug on lw (!772) · Merge requests · OpenHW Group / backup-20241120 / cv32e40p

Eclipse Webmaster requested to merge github/fork/YoannPruvost/PR_rvfi_lw_correction into dev Feb 17, 2023

Created by: YoannPruvost

This is a small correction to the way the RVFI collect and report some gpr rights. On some lw, the register file sees 2 consecutive writes. the previous step and compare testbench did not catch this issue. The testbench based on ImperasDV catches it.

Correcting rvfi bug on lw

Merge request reports