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

Hyunsun Ahn, Euisang Yoon, Namyul Cho, Arun Gogineni, Ann Keffer, Sungjin Park, Sungyun Yoo, Bumju Kim, Junhyuk Park, Youngsik Kim, Seonil Brian Choi