Adding support for RVFI on cv32e40p env (!1358) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/YoannPruvost/cv32e40p/dev_rvfi into cv32e40p/dev Aug 03, 2022

Created by: YoannPruvost

First step toward supporting RVFI based test, done by merging the original env and testbench with the cv32e40x one. For now, only the ci tests are supported

Adding support for RVFI on cv32e40p env

Merge request reports