適用於等效性檢測的符號模擬
作者:Paul Hoxey

目前，等效性檢查已作為全定製記憶體和巨集驗證流程的組成部份被廣泛採用。基於圓錐的等效性檢查對於採用閘級實現的可合成設計極為有效，但不太適用於行為模型或全定製電路。而符號模擬可以覆蓋全定製設計領域，但它應該與其它等效性檢查方法協同使用。當模擬模型和電路設計被製作的時候，及早採用符號模擬將會實現特別高的生產效率。本文除了概述符號模擬的優勢，還提供了在設計流程的早期利用符號模擬經常無法覆蓋之若干類型問題的應用實例。