Page 42 - 遠端守護居家/建築, 無線調校啟動智慧新生活

DESIGN IDEAS
圖1:手動執行ECO流程的實例。
在晶片開發過程中很容易產 生缺陷，因此為了確保晶片中的功 能不受到影響，在投片之前修復 這些缺陷十分重要。在像M1 max 這樣的晶片中，由於電晶體數量 龐大，出現缺陷的機率就更大了。 透過手動修改網表程式碼或使用 Cadence Conformal或新思科技 (Synopsys)的Formality等工具執 行工程變更指令(ECO)可以在RTL 固定後修復發現的缺陷。
圖2:使用Conformal執行光罩製作前平面化ECO流程。
後在RTL程式碼被固定的同時完成 各種後端流程。
查」(LEC)可以直接檢查修改後的 設計，無需從測試台傳遞任何測 試向量。這些檢查比執行回歸模擬 更快，工程師經常在設計更改後使 用這些方法來完成完整性檢查。
PNR1–未執行ECO且源自 RTL1的佈線後網表;
我們可以將該增補程式應用到黃 金設計——PNR1上，以獲取新的 帶ECO的佈線後網表(PNR2)。最 後使用諸如Cadence Genus等合 成工具及其提供的庫資訊完成增 補程式最佳化。為了驗證ECO增補 程式並確保沒有其他故障出現，需 在SYN2和PNR2之間運行LEC，進 而有望得到非等效關鍵點為零的 成功結果。
如前所述，可以修改現有的 LEC流程來適應ECO流程。在執行 ECO的同時修改現有LEC流程的第 一步是比較黃金設計和改版設計， 計算它們之間的增量變化。這個增 量又名增補程式，隨後即被最佳化 並應用於黃金網表。接著再次使用 LEC比較帶增補程式的黃金網表 和帶增補程式的合成網表以驗證 ECO。如果比較結果沒有問題，那 麼ECO就算成功了。
對於小規模ECO來說，手動更 改網表程式碼是有效的，但在較 大規模ECO的情況下，使用EDA 工具是更好的選擇，因為它可以 調整現有的邏輯等效檢查(LEC)流 程，以便自動執行整個ECO過程。 本文將介紹半導體產業中廣泛使 用的光罩製作前(premask)平面型 Conformal ECO流程。
PNR2–執行ECO增補程式的 佈線後網表。
光罩製作前平面型ECO流程 涉及的步驟
完成所有的初步檢查後，將 帶有ECO的合成網表(SYN2)和 原始的佈線後網表(PNR1)一併 提供給Conformal工具。這些網 表分別稱為改版設計和黃金設 計。Conformal工具讀取不同類型 的最佳化，例如由合成工具執行的 邊界最佳化和分層時脈閘控，並在 輸入黃金網表和改版網表之間執 行LEC。LEC會報告非等效點。這 些非等效點都應該仔細審查，因 為增補程式的產生取決於這些失 敗的關鍵點。
簡而言之，我們需要在ECO之 前做三次等效檢查，並在ECO期間 進行兩次等效檢查。在ECO過程 中的兩次等效檢查之間，可以透 過以下指令產生、應用和最佳化 增補程式:
圖2解釋了使用Conformal執 行的光罩製作前平面化ECO流程。 在開始ECO流程之前，應該先執行 特定的等效性檢查。「邏輯等效檢
該工具會產生一個增補程式，
40 www.edntaiwan.com
計; 計;
RTL1–未執行ECO的原始設
RTL2–執行ECO的修改後設
SYN2–執行ECO且源自RTL2 的合成網表;
使用LEC流程完成ECO