有各種用於執行LEC的EDA工具,例如Synopsys Formality和Cadence Conformal。這裡,我們將Conformal工具作為參考,以解釋LEC的重要性。 邏輯等效檢查的步驟.
確定! 回上一頁