Survey on Formal Verification Methods for Digital IC
Jianhua Wang, Jingbo Shao, Yingmei Li, Jinfeng Ding · 2009
This paper presents a survey of the state-of-art of formal verification technique. The expression models for formal verification are introduced and analyzed. The characteristics of each model are expounded. Moreover, the typical model checking techniques are studied. Equivalence checking and property checking are introduced. The development trend for formal verification is discussed.