數字系統設計中形式驗證

下圖給出等價性驗證的基本概念。   等價性驗證用於驗證A與B是否等價，這裏的B是由A轉換得到的。這裏的A與B可以是RTL代碼，也可以是門級網表。在進行等價性驗證時，A是參考，B稱爲實現。可以用形式驗證來檢查綜合結果是否正確（將RTL級的設計與門級網表比較）、插掃描鏈前後的網表是否一致、佈局前後網表是否一致、插時鐘樹前後的網表是否一致、佈線前後的網表是否一致。如下圖所示。   通常在綜合後、在第一次

>>阅读原文<<