Added PC hardening for table jumps. Both the pointer fetch and the ju… (!205) · Merge requests · OpenHW Group / backup-20241120 / cv32e40s

Created by: silabs-oysteink

…mp-to-pointer is hardened.

Formal for design assertions ran for approximately 20 minutes with no failures on pc_check assertions. Longer run will be performed over the weekend.

SEC clean when ZC_EXT=0.

Signed-off-by: Oystein Knauserud Oystein.Knauserud@silabs.com

Added PC hardening for table jumps. Both the pointer fetch and the ju…