PMP Assert - Fix CEXes (!1636) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Created by: silabs-robin

This PR fixes some CEXes in the PMP asserts, mostly related to the new DM_REGION_START/END.

Passes in formal. Passes ci_check (except debug_test) BUT ONLY AFTER https://github.com/openhwgroup/core-v-verif/pull/1631 IS MERGED.

PMP Assert - Fix CEXes