層次lvs中的port歸納匹配方法
【專利說明】層次LVS中的PORT歸納匹配方法 技術(shù)領(lǐng)域
[0001] 本發(fā)明屬于半導(dǎo)體集成電路自動化設(shè)計(jì)領(lǐng)域，主要涉及后端版圖設(shè)計(jì)（Layout)與 原理圖設(shè)計(jì)（Schematic) -致性檢查（LVS-LayoutVersusSchematic)技術(shù)。 【背景技術(shù)】
[0002] 版圖設(shè)計(jì)和驗(yàn)證是集成電路設(shè)計(jì)流程中重要的一環(huán)，高效準(zhǔn)確的驗(yàn)證能夠有效地 提高集成電路設(shè)計(jì)的效率，極大降低設(shè)計(jì)失敗的風(fēng)險(xiǎn)，是集成電路在流片之前的最后一個(gè) 驗(yàn)證環(huán)節(jié)。然而隨著工藝不斷的向著納米級發(fā)展，在超大規(guī)模乃至甚大規(guī)模集成電路設(shè)計(jì) 中，版圖規(guī)模急劇膨脹，F(xiàn)lat(打散）的版圖驗(yàn)證方法開始漸漸不能應(yīng)對這種甚大規(guī)模級別 的版圖驗(yàn)證，層次版圖驗(yàn)證方法的優(yōu)點(diǎn)逐漸體現(xiàn)出來：利用版圖在設(shè)計(jì)過程中所具有層次 的特點(diǎn)，對多次重復(fù)出現(xiàn)的版圖單元只需驗(yàn)證一次，減少冗余的驗(yàn)證操作和運(yùn)算，從而有效 提高計(jì)算效率。
[0003] 層次LVS驗(yàn)證是版圖驗(yàn)證中兩個(gè)最大的驗(yàn)證環(huán)節(jié)之一，首先需要從版圖中提取出 層次網(wǎng)表，然后與原理圖的層次網(wǎng)表進(jìn)行同構(gòu)比較，這種比較基于網(wǎng)表層次，依次對各個(gè)單 元進(jìn)行同構(gòu)比較。相對于傳統(tǒng)的FlatLVS驗(yàn)證方法，層次化LVS的思想就是利用原理圖和 版圖網(wǎng)表本身具有層次性的特點(diǎn)，減少重復(fù)比較，避免了在打散情況下，若一個(gè)單元被引用 了η次，則打散LVS要對這個(gè)單元的內(nèi)容作η次比較，同樣的，若單元內(nèi)有一個(gè)LVS錯(cuò)，則打 散LVS對同一個(gè)錯(cuò)會報(bào)η次等情況。由此可見，層次LVS比打散LVS充分利用了版圖數(shù)據(jù) 的層次化關(guān)系，在處理電路的規(guī)模、減少數(shù)據(jù)處理時(shí)間、減少內(nèi)存占用、和減少錯(cuò)誤結(jié)果數(shù) 量等諸方面有著極大的優(yōu)越性。對規(guī)模超過百萬晶體管的集成電路設(shè)計(jì)優(yōu)勢更加明顯。
[0004] 對于層次的LVS驗(yàn)證，在理想情況下，按照拓?fù)浠蛘叻赐負(fù)漤樞虬阉袉卧来?比較一次就能夠完成LVS比較，但是在實(shí)際中，單元中可能包含對稱電路導(dǎo)致PORT(端口)相 互可交換，或者單元實(shí)例的PIN(引腳)對稱連接造成無法一次性決定Layout與Schematic 的對應(yīng)匹配關(guān)系，當(dāng)出現(xiàn)類似情況時(shí)，層次LVS驗(yàn)證通常會任意選定匹配關(guān)系或者多次循 環(huán)反復(fù)比較?？焖俑咝У卮_定這種狀態(tài)下的PORT對應(yīng)匹配關(guān)系，成為層次LVS通常需要重 點(diǎn)解決的問題。
[0005] 部分術(shù)語和簡寫的說明： 層次單元XXX-YYY:表示由Layout單元XXX和Schematic單元YYY所組成的層次單 元； 層次單元XXX:層次單元（XXX-XXX)的簡寫； PORT是一種特殊的線網(wǎng)，是單元中與外部環(huán)境連接的線網(wǎng)； PIN是PORT在父單元中的表現(xiàn)形式，子單元實(shí)例X引用單元SC，則每個(gè)SC的PORT就 是一個(gè)X的PIN，父單元中的線網(wǎng)通過PIN與子單元的PORT相連接； 匹配對（Nodel，Node2):表不Layout中Nodel與Schematic中Node2 匹配，Nodel和Node2可以是線網(wǎng)或者器件或者單元實(shí)例； 分組關(guān)系{(Nodel,Node2, · ·，Noden)，（_Nodel, _Node2,…，_Noden)}:表不Layout中 節(jié)點(diǎn)Node1，Node2,··，Noden與Schematic中 _Nodel, _Node2,…，_Noden不能確定具體的 一一對應(yīng)的匹配關(guān)系，但由于對稱關(guān)系屬于同一組，即Layout中第i個(gè)節(jié)點(diǎn)Nodei有可能 與Schematic(_Nodel, _Node2,…，_Noden)中任何一個(gè)節(jié)點(diǎn)匹配，而不會與Schematic中 (_Nodel，_Node2, ..·，_Ν〇(1θη)以外的其他節(jié)點(diǎn)匹配。
【發(fā)明內(nèi)容】

[0006] 本發(fā)明提供一種層次LVS中的PORT歸納匹配方法，能夠充分利用所有父單元中所 有子單元實(shí)例的PIN上連接關(guān)系，無論是已經(jīng)確定匹配關(guān)系的PIN匹配對還是未匹配的多 個(gè)PIN線網(wǎng)組成的分組，均按照統(tǒng)一方法歸納整理出權(quán)重值給子單元，從而幫助子單元確 定其PORT的匹配或者分組關(guān)系，減少LVS層次驗(yàn)證的循環(huán)迭代次數(shù)。
[0007] 本發(fā)明的主要思路有：充分利用所有父單元中所有子單元實(shí)例的PIN上連接關(guān) 系，歸納整理出權(quán)重值給子單元的PORT，從而幫助子單元確定其PORT的匹配或者分組關(guān) 系，對父單元和子單元的處理分別如下： (1) 對父層次單元，分別處理組成層次單元的Layout和Schematic單元，遍歷其中所 有子單元實(shí)例，對子單元實(shí)例的PIN上連接的每一個(gè)線網(wǎng)，依據(jù)線網(wǎng)自身獨(dú)有的某些特性 --歸納出一個(gè)權(quán)重值，累計(jì)到子單元對應(yīng)的PORT上： 其中歸納的具體步驟為：對當(dāng)前的子單元實(shí)例，依次遍歷PIN連接的線網(wǎng)，然后依據(jù) 線網(wǎng)自身獨(dú)有的某些特性計(jì)算出一個(gè)權(quán)重值并累計(jì)到子單元的對應(yīng)PORT上； 其中權(quán)重值計(jì)算方法為： 對于已經(jīng)匹配的Layout線網(wǎng)LayNetID和Schematic線網(wǎng)SouNetID，權(quán)重公式Wl=LayNetSig〈〈移位數(shù) +SouNetSig,這里L(fēng)ayNetSig，SouNetSig分別是Layout線網(wǎng) LayNetID和Schematic線網(wǎng)SouNetID獨(dú)有的特性，LayNetSig,SouNetSig可以是一個(gè)唯 一的編號，也可以是內(nèi)存指針地址，能夠唯一代表該線網(wǎng)特性即可； 對于還處于未匹配狀態(tài)的線網(wǎng)，權(quán)重公式W2=GroupSig*GroupSig，這里GroupSig是線 網(wǎng)所在的分組唯一的編號或者內(nèi)存指針地址； (2) 對子層次單元，遍歷所有未匹配的PORT分組，遍歷組中Layout和Schematic的 PORT并根據(jù)PORT各自的權(quán)重值，將具有相同權(quán)重值的PORT組成新的組，從而對PORT原來 所在的分組進(jìn)行二次分組，縮小組的規(guī)模。
[0008] 最小的組中有且僅有一個(gè)版圖PORT和原理圖PORT，即為匹配對。
[0009] 【附圖說明】 圖1層次PORT歸納匹配流程圖 圖2 -個(gè)層次LVS實(shí)例 【具體實(shí)施方式】 【具體實(shí)施方式】，主要包括兩部分： (1)遍歷所有父層次單元，并分別按照以下步驟處理其Layout和Schematic單元： 依次遍歷本單元（Layout或Schematic)中的每一個(gè)子單元實(shí)例，對子單元SC的實(shí)例Xn，遍歷其PINi上連接的線網(wǎng)Nj，依據(jù)線網(wǎng)Nj自身獨(dú)有的某些特性歸納出一個(gè)權(quán)重值W， 并將權(quán)重值W累計(jì)到子單元SC對應(yīng)的第i個(gè)PORT上，其中： 1. 1歸納的具體步驟為，對當(dāng)前的子單元實(shí)例Xn，依次遍歷PINi連接的線網(wǎng)Nj，然后 依據(jù)線網(wǎng)Nj是否匹配分別采用不同的特性計(jì)算出一個(gè)權(quán)重值W并累計(jì)到子單元SC的第i 個(gè)PORT上，權(quán)重值計(jì)算方法為： 對于已經(jīng)匹配的線網(wǎng)Nj，以及其匹配線網(wǎng)為Nk，按照Layout線網(wǎng)和Schematic線網(wǎng) 的順序，取線網(wǎng)各自的指針地址組成獨(dú)有特性對（LayNetSig，SouNetSig)，采用權(quán)重公式 Wl=LayNetSig〈〈 32 +SouNetSig計(jì)算，這里L(fēng)ayNetSig,SouNetSig可以是一個(gè)唯一的編 號，也可以是內(nèi)存指針地址，移位數(shù)選擇32,也可以是其他整數(shù)值； 對于還處于未匹配狀態(tài)的線網(wǎng)Nj，將其所屬的組的指針地址GroupSig作為線網(wǎng)的獨(dú) 有特性，采用權(quán)重公式W2=GroupSig*GroupSig計(jì)算，當(dāng)然GroupSig也可以是線網(wǎng)所在的分 組唯一編號； (2)對子層次單元，具體的實(shí)施步驟為： 2. 1遍歷所有未匹配的PORT分組； 2. 2對當(dāng)前PORT所在的組G，遍歷組G中包含的Layout和Schematic的PORT; 2. 3根據(jù)父單元所歸納出的每個(gè)PORT各自的權(quán)重值，將G中具有相同權(quán)重值的PORT組 成新的組，這樣原來的組G可以被分裂成多個(gè)更小的組Gl，G2,…，Gk; 當(dāng)分組小到一定程度，即有且僅有一個(gè)版圖PORT和