[RVFI_AGENT] Decouple RVFI from cva6cfg in tandem configuration (!2358) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/MarioOpenHWGroup/feature/rvfi_decouple into master Feb 01, 2024

Created by: MarioOpenHWGroup

QoL: Adding print function for the parameters Parameters: Implementation pmpregions, misaligned ZcntrExt: Implementation of isa extension in case of Zcb active rvfi agent: cva6cfg decouple C++: Lint with clang-format LLVM

[RVFI_AGENT] Decouple RVFI from cva6cfg in tandem configuration

Merge request reports