Umode assert (!1426) · Merge requests · OpenHW Group / backup-20241120 / core-v-verif

Created by: silabs-robin

Adding assertions for user mode, according to the reviewed and updated vplan (which will be pushed in separate PR).

Passes ci_check, except for "debug_test" which gets a miscompare (and I have not touched any relevant files).

Passes formal, except for 2 known RTL/RVFI problems, and 18 non-converging with a bound of >=35.

Umode assert