Fencei asserts update (!1086) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Eclipse Webmaster requested to merge github/fork/silabs-robin/fencei_assert_v2_integration into cv32e40x/dev Dec 27, 2021

Created by: silabs-robin

This PR updates the fencei assertions to keep up with RTL. One SVA bug was fixed, a cover was made conditionally disabled, and a few additional minor checks were added. It passes ci_check and the handfull of pma configs that I tried in formal.

NB! I "stole" the bufferable_in_config function from a 40x SVA file. Is there any legal issue about this?

Fencei asserts update

Merge request reports