1. 形式验证 利用数学分析的方式,对设计的状态空间进行穷举分析的验证,数据静态验证,不需要灌注激励,对设计进行检查; 参考: Formal Verification (一) 形式验证的分类、发展、适用场景