ImpDV Formal Fix (!1475) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-robin/impdv_formal into cv32e40s/dev Nov 04, 2022

Created by: silabs-robin

@silabs-hfegran does this make sense?

This PR excludes everything rvvi from formal.

Lets formal run again. Passes ci_check except for debug_test (which has been known to fail for a while), interrupt_test and illegal also fails (but these also fail in vanilla 40s/dev now).

ImpDV Formal Fix

Merge request reports