前幾天在 PT 里做手動(dòng) ECO：把一只 latch 型 clock gating cell 從 X2 換成 X4。同一個(gè)庫(kù)、同一個(gè)系列、pin 一個(gè)不差，就是驅(qū)動(dòng)不同。結(jié)果 PT 直接拒絕：
Error: Could not size 'xxx/latch' ('lib/TLATNCA_X2') with 'lib/TLATNCA_X4':
Cells not functionally equivalent. (NED-005)
第一反應(yīng)是：X2 和 X4 功能還能不一樣？是不是哪個(gè)設(shè)置把工具帶偏了？
工具沒偏，是我對(duì)"功能等價(jià)"的理解和它不一樣。
翻 size_cell 的文檔，PT 判功能等價(jià)看四樣：輸入 pin 數(shù)、輸出 pin 數(shù)、邏輯功能，外加 enabled timing arc 的數(shù)量、類型和 sense。前三個(gè)好理解，第四個(gè)平時(shí)真不太注意。另外，如果 lib cell 上帶著 Library Compiler 生成的 function_id、mog_func_id、user_function_class 這幾個(gè)屬性，兩邊也得一致。
clock gating latch 是典型的復(fù)雜時(shí)序 cell，LC 經(jīng)常生成不了標(biāo)準(zhǔn)的 function_id，得靠 user_function_class 標(biāo)注。不同 drive 的 cell，arc 建模差一點(diǎn)、或者這個(gè)屬性標(biāo)得不一樣，PT 就判"不等價(jià)"。功能上確實(shí)一樣，但四件套有一條不過，門就是關(guān)的。
想確認(rèn)卡在哪條，兩個(gè)命令。get_alternative_lib_cells 返回 PT 認(rèn)可的等價(jià) cell 列表，和 size_cell 是同一套判定：
get_alternative_lib_cells [get_cells xxx/latch]
列表是空的、或者沒有你要的 X4，就是過不了（實(shí)測(cè)空列表會(huì)帶 NED-002 warning）。再對(duì)比兩個(gè) lib cell 的屬性：
get_attribute [get_lib_cells lib/TLATNCA_X2] function_id
get_attribute [get_lib_cells lib/TLATNCA_X2] user_function_class
到這兒其實(shí)還是紙上談兵。我手里沒有現(xiàn)成的庫(kù)能復(fù)現(xiàn)，就在跑工具的那臺(tái) Linux 服務(wù)器上造了個(gè)最小 case：兩個(gè) latch cell，邏輯功能一模一樣，只有 timing arc 集不同，看 PT 到底怎么判。造庫(kù)的過程本身也踩了幾個(gè)小坑——邊沿弧類型、when 和 sdf_cond 要配對(duì)、constraint 表要帶模板變量——不過那是另一個(gè)話題。結(jié)果復(fù)現(xiàn)是復(fù)現(xiàn)了，報(bào)的文案跟我項(xiàng)目里那句不一樣：
Error: Could not size 'u1' ('demo_icg/TLATNCA_X1_LVT') with 'demo_icg/TLATNCA_X4_LVT':
Mismatch in the number of enabled library cell arcs
Library cells are incompatible. (NED-005)
同一個(gè) NED-005，拒絕理由有好幾種措辭。項(xiàng)目里是 "Cells not functionally equivalent"，復(fù)現(xiàn)出來(lái)是 "Mismatch in the number of enabled library cell arcs"，還有一種 "Cells must have same connections"。排查的時(shí)候先看清手上是哪一種，別拿著 A 的解法去套 B。
如果只是 arc 集有差異、邏輯功能確實(shí)一致，PT 留了個(gè)放行的口子：
set eco_strict_lib_arc_equivalence false
這個(gè)變量默認(rèn) true，卡的就是 arc 的數(shù)量、from/to pin、sense、when 條件四項(xiàng)。設(shè)成 false 之后，get_alternative_lib_cells 立刻列出 X4，size 也過了，但會(huì)給一個(gè) NED-082 warning："Sizing ... relaxing library arc check"。這個(gè) warning 不能當(dāng)沒看見，放寬掉的那幾條 arc 差異里有沒有關(guān)鍵的 setup/hold，得人工核一遍。
但放行變量不是萬(wàn)能的?？ㄔ?user_function_class 不匹配上，它管不著——它只管 arc。還有一種我實(shí)測(cè)踩到的：cell 的某個(gè)功能輸入 pin 在目標(biāo) cell 里一條時(shí)序弧都沒有，PT 報(bào) "Cells must have same connections"，這種連 arc 放松都救不回來(lái)，PT 認(rèn)為連接關(guān)系本身就不一樣。
這種情況只能上強(qiáng)制通道 swap_cell：
swap_cell [get_cells xxx/latch] [get_lib_cells lib/TLATNCA_X4]
swap_cell 只查一件事：換出 cell 的每個(gè)邊界 pin，在換入 cell 里要有同名 pin，反過來(lái)也一樣。功能等價(jià)？它不看。arc 變量是 true 還是 false？也不管。文檔里倒是寫了一句"只是換尺寸應(yīng)該用 size_cell，它更高效"，言下之意：size_cell 管不了的場(chǎng)景，才輪到它。
兩個(gè)實(shí)測(cè)才知道的細(xì)節(jié)。第一，swap_in 直接寫裸 cell 名會(huì)匹配不到（SEL-003），要寫 library/cell 全名，或者干脆 get_lib_cells。第二，swap 成功的瞬間 PT 打印 PTE-018："Abandoning fast timing updates. Reset incremental engine."——文檔說(shuō)"時(shí)序更新開銷更大"不是客氣話，它直接把增量時(shí)序引擎重置了，代價(jià)實(shí)打?qū)崱?/span>
swap 之后有兩條要注意。第一，別顯式跑 link_design——swap 只做了局部 relink，顯式 link 會(huì)把 swap 撤銷，PT 不保存 swap 信息。第二，既然繞過了等價(jià)檢查，事后必須用 FM 之類的手段把等價(jià)性坐實(shí)，尤其 clock gating 路徑上的 cell，萬(wàn)一真不等價(jià)就是功能事故，不是 timing 問題。
到這兒以為完了？最大的坑在交接。
ECO 做完要寫 change list 給實(shí)現(xiàn)側(cè)。PT 的 write_changes 支持好幾種格式，給 ICC2 用 icctcl：
write_changes -format icctcl -output eco_icc2.tcl
寫的時(shí)候 PT 當(dāng)場(chǎng)報(bào)了一條：
Error: This netlist editing command ('swap_cell') is not supported in IC
Compiler. (NED-051)
打開生成的文件一看，size_cell 那條改動(dòng)好好地寫在腳本里，swap_cell 這條變成了三行注釋：
# ERROR: Note that swap_cell is not supported by IC Compiler.
# The following comment shows what PrimeTime did:
# swap_cell [get_cells {u2}] demo_icg/TLATNCA_X4_LVT
也就是說(shuō)，PT 其實(shí)喊了，但只喊在 write_changes 的 log 里，腳本本身照常生成。要是像平時(shí)一樣寫完就扔給 ICC2 source，不看 log 不打開文件，這條改動(dòng)就神不知鬼不覺地沒了。文檔里其實(shí)白紙黑字寫了 swap_cell 不寫入 icctcl 和 dctcl 腳本，但不踩一次，誰(shuí)注意得到那行字？
所以正確做法是寫兩份：icctcl 給 ICC2 跑其余改動(dòng)，text 格式留一份核對(duì)清單，然后手工把 swap 翻譯成 ICC2 命令補(bǔ)進(jìn)腳本。ICC2 側(cè)對(duì)應(yīng)的是 change_link，真機(jī) help 確認(rèn)過存在：
change_link xxx/latch TLATNCA_X4
要求和 PT 的 swap_cell 一個(gè)標(biāo)準(zhǔn)：port 數(shù)量、名字、方向一致即可，不查功能等價(jià)——正好語(yǔ)義對(duì)應(yīng)。跑完記得 link 一下讓綁定生效。當(dāng)然也可以先試 ICC2 自己的 size_cell——ICC2 和 PT 的等價(jià)判定是各自獨(dú)立的，PT 判不等價(jià)不代表 ICC2 也判不過，能過的話用 size_cell 最干凈。還有個(gè)細(xì)節(jié)：PT 寫進(jìn) icctcl 腳本的 size_cell 不帶庫(kù)前綴，最終綁定到哪個(gè)庫(kù)由 ICC2 的 link library 設(shè)置決定，跑完務(wù)必 report_cell 確認(rèn) ref 換對(duì)了。
最后跑 FM，把 X2 換 X4 的等價(jià)性正式坐實(shí)，這條 ECO 才算閉環(huán)。
回頭看這次排查，印象最深的不是 NED-005 本身，而是"工具的判定"和"我以為的判定"之間的 gap：四件套加 LC 屬性，少一樣都不行；每層檢查都有繞過的口子——arc 差異有 eco_strict_lib_arc_equivalence，屬性差異有 swap_cell——但每繞開一層，驗(yàn)證責(zé)任就往你身上多壓一層，swap_cell 連增量時(shí)序引擎都給你重置了。以及交接時(shí)那個(gè)最不起眼的坑：icctcl 里的 swap_cell 只剩注釋，NED-051 喊是喊了，聽不見就等于沒有。
你在 ECO 流程里還踩過哪些"改動(dòng)寫了但沒生效"的坑？歡迎評(píng)論區(qū)聊聊。
