不使用模擬，而以數學方式確認邏輯合成前後電路邏輯沒有改變的方法，為下列何者？

正確答案：A. 形式等價性驗證（形式驗證）

形式等價性驗證是以數學方法，全面確認兩個電路是否實現相同邏輯函數的驗證。不需要準備測試圖樣，就能保證所有輸入組合的等價性，因此用於邏輯合成、佈局繞線、ECO前後的確認。若以模擬嘗試所有組合，輸入只要有數十位元就不可能做到。DRC是檢查圖形規則。