Static Structural Analysis and Formal Verification of SoC with Software Safety Mechanisms for Functional Safety Author(s): Hyunsun Ahn, Euisang Yoon Download