glitch prefix, better decode logic usage
requested to merge github/fork/silabs-krdosvik/trigger_glitch_and_xsecure_dummy_correction into cv32e40s/dev
Created by: silabs-krdosvik
Only run trigger exception integrity assert if integrity faults are enabled. Change support logic usage in xsecure dummy as mentioned here: https://github.com/openhwgroup/core-v-verif/pull/2124.
ci_check: all green formal integrity cutpoint run: the glitch_dt_* assertions is all green formal no cutpoint run: the glitch_dt_*_noprecondition-s are on bound 32, and still running.