Static Structural Analysis and Formal Verification of SoC with Software Safety Mechanisms for Functional Safety