IC驗證方法基礎

數字IC的設計流程，如下圖所示： 其中講到形式驗證的時候就懵了。當時老師說，其實我也記不太清了，就從網上找了一下： 形式驗證（Formal Verification）是一種IC設計的驗證方法，它的主要思想是通過使用數學證明的方式來驗證一個設計的功能是否正確。 形式驗證可以分爲三大類： 等價性檢查（Equivalence Checking）、 形式模型檢查（Formal Model Checking

>>阅读原文<<