RVFI support - bare minimum on xrun (!1518) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/YoannPruvost/cv32e40p/dev_rvfi_2 into cv32e40p/dev Nov 30, 2022

Created by: YoannPruvost

Updating e40p testbench to support RVFI Focus on ci_checks. Debug_test is failing due to an issue on the reference model integration. This will be solved by implementing the rvvi based integration.

This PR requires PR https://github.com/openhwgroup/cv32e40p/pull/743

RVFI support - bare minimum on xrun

Merge request reports