專利名稱：版圖驗(yàn)證規(guī)則文件與測試向量的自動比對方法
技術(shù)領(lǐng)域：
版圖驗(yàn)證規(guī)則文件與測試向量的自動比對方法是集成電路輔助設(shè)計軟件工具中版圖驗(yàn)證(DRC)中的一種檢查方法。本發(fā)明屬于集成電路輔助設(shè)計軟件工具中版圖驗(yàn)證領(lǐng)域。
背景技術(shù)：
集成電路(IC)設(shè)計的后期包括版圖設(shè)計和版圖驗(yàn)證，而這兩項(xiàng)功能是EDA工具中的重要環(huán)節(jié)；版圖驗(yàn)證是根據(jù)版圖設(shè)計規(guī)則、電學(xué)規(guī)則和原始輸入的邏輯關(guān)系對版圖設(shè)計進(jìn)行正確性的驗(yàn)證并且可以通過對電路和參數(shù)的提取，產(chǎn)生電路模擬的輸入文件進(jìn)行后模擬，以進(jìn)一步檢查電學(xué)性能。版圖驗(yàn)證規(guī)則文件是用來驗(yàn)證版圖設(shè)計是否符合工藝加工約束條件的重要文件， 這個文件的正確與否直接關(guān)系著芯片加工成敗。為了驗(yàn)證該規(guī)則文件的正確性，需要構(gòu)造很多測試向量，然后分析測試向量的計算結(jié)果是否與版圖驗(yàn)證規(guī)則文件一致。這里測試向量指的一般是一組版形，用來反映是否違反設(shè)計規(guī)則的測試用例。為了分析測試向量與版圖驗(yàn)證規(guī)則文件是否一致，傳統(tǒng)的方法是針對每個測試向量，運(yùn)行版圖驗(yàn)證工具得到計算結(jié)果，然后人工比對每個計算結(jié)果是否符合預(yù)期。人工比對測試用例的方法有兩個顯著缺點(diǎn)，首先，隨著工藝技術(shù)的不斷發(fā)展，設(shè)計規(guī)則的數(shù)目急劇膨脹，人工比對測試向量的方法工作量很大，效率很低。據(jù)統(tǒng)計，當(dāng)集成電路工藝進(jìn)入納米尺寸后，一套工藝的設(shè)計規(guī)則數(shù)目往往超過1000個，假設(shè)每個設(shè)計規(guī)則需要構(gòu)造6個以上的測試向量，總計一套規(guī)則的測試向量超過6000個，要人工去一一比對結(jié)果是否正確需要花大量的時間。其次，人工比對構(gòu)造向量難以保證測試的全面性。由于人在比對過程中難免會有小的疏忽與錯誤，會導(dǎo)致最終的測試向量或者設(shè)計規(guī)則文件隱含某些錯誤，最終導(dǎo)致芯片加工失敗。為了克服人工比對測試向量的缺陷，本發(fā)明提出了一種測試向量的自動比對方法，該方法由計算機(jī)程序自動檢查版圖驗(yàn)證規(guī)則文件與測試向量是否完全一致，可以在很短的時間內(nèi)完成大量測試向量的比對，大大提高了開發(fā)效率，保證了規(guī)則文件的正確性。

發(fā)明內(nèi)容
本發(fā)明提出了版圖驗(yàn)證規(guī)則文件與測試向量的自動比對方法，主要內(nèi)容如下1.存在性原則檢查針對構(gòu)造測試向量的合法單元(good cell)，自動運(yùn)行版圖驗(yàn)證工具得到計算結(jié)果，并通過軟件程序檢查該good cell對應(yīng)規(guī)則的報錯結(jié)果個數(shù)是否為0，如果為0表明測試向量與驗(yàn)證規(guī)則文件符合存在性原則，如果為非0，表明測試向量與驗(yàn)證規(guī)則文件不符合存在性原則。針對構(gòu)造測試向量的非法單元(bad cell)，自動運(yùn)行版圖驗(yàn)證工具得到計算結(jié)果，并檢查該bad cell對應(yīng)規(guī)則的報錯結(jié)果個數(shù)是否為不為0，如果不為0表明測試向量與驗(yàn)證規(guī)則文件符合存在性原則，如果為0，表明測試向量與驗(yàn)證規(guī)則文件不符合存在性原則。
例如，一個典型的金屬寬度規(guī)則描述的是MEl_a :Min. Width of MEl is 0. 6.MEl_b :Min. Spacing of MEl is 0. 5.它們的具體含義是金屬M(fèi)El的最小寬度是0.6，金屬M(fèi)El的最小間距是0.5。針對以上2個規(guī)則，測試向量會分別生成如下的單元good_MEl_a 該測試向量包含多個圖形，每個圖形寬度都大于等于0. 6。bad_MEl_a 該測試向量包含多個圖形，每個圖形寬度都小于0. 6。good_MEl_b 該測試向量包含多個圖形，每個圖形間距都大于等于0. 6。bad_MEl_b 該測試向量包含多個圖形，每個圖形間距都小于0. 6。當(dāng)測試向量構(gòu)造完畢后，本方法首先自動針對good_MEl_a，bad_MEl_a，good_MEl_ b，bad_MEl_b等4個單元運(yùn)行版圖驗(yàn)證檢查工具，得到4組結(jié)果，分別是reSult_g00d_ MEl_a. db, result_bad_MEl_a. db, result_good_MEl_b· db, result_bad_MEl_b. db。其次， 該方法針對上述4組計算結(jié)果，分別通過軟件程序自動檢查每個good cell對應(yīng)的rule計算結(jié)果是否為0，檢查每個bad cell對應(yīng)的rule計算結(jié)果是否為非0，以此結(jié)果來判斷存在性是否符合要求。例如，針對上述用例，假設(shè)result_good_MEl_a. db的結(jié)果如下MEl_aErrorNum0MEl_bErrorNum 5上述結(jié)果的含義是針對測試向量的合法單元MEl_a，其對應(yīng)的rule MEl_a報錯結(jié)果為0，而與其無關(guān)的rule MEl_b其對應(yīng)的報錯結(jié)果為5。在本方法中，存在性檢查僅檢查與good cell單元名對應(yīng)的rule的結(jié)果是否為0，本例結(jié)果為0，因此符合存在性檢查的原則。針對上述用例，假設(shè)reSult_g00d_MEl_a. db的結(jié)果如下MEl_aErrorNum2MEl_bErrorNum0上述結(jié)果的含義是針對測試向量的合法單元MEl_a，其對應(yīng)的rule MEl_a報錯結(jié)果為2，而與其無關(guān)的rule MEl_b其對應(yīng)的報錯結(jié)果為0。在本方法中，存在性檢查僅檢查與good cell單元名對應(yīng)的rule的結(jié)果是否為0，本例結(jié)果為非0，因此不符合存在性檢查的原則，用戶需要修改測試向量或者版圖驗(yàn)證規(guī)則文件，才能滿足要求。上述結(jié)果的存在性報錯文件如下#caseNameruIeNameerrorsauto_testpattern/good_MEl_aMEl_a2通過以上例子可以看出，通過采用軟件程序自動檢查每個測試向量的運(yùn)行結(jié)果為 0或者非0，可以快速判斷測試向量與版圖驗(yàn)證規(guī)則文件是否滿足存在性的檢查原則。當(dāng)工藝中有幾百上千個規(guī)則時，采用上述方法可以快速發(fā)現(xiàn)錯誤，提高設(shè)計驗(yàn)證效率2.完整性原則檢查針對構(gòu)造測試向量的非法單元(bad cell)，其內(nèi)部一般有多個測試向量的圖形。本方法通過軟件程序自動檢查其內(nèi)部每個測試向量是否至少有一個報錯結(jié)果，如果符合上述條件，表明測試向量與驗(yàn)證規(guī)則文件符合完整性原則，如果不符合， 表明測試向量與驗(yàn)證規(guī)則文件不符合完整性原則。
仍以上一步的kid_MEl_a為例說明，MEl_a要求金屬的寬度不能小于0. 6，在 MEl_a中的測試向量都是違反上述規(guī)則的圖形，有圖形的寬度為0. 59，有圖形的寬度為 0. 58，有圖形的形狀為長方形，有圖形的形狀為圓形，總之，該單元中所有的圖形都違反了寬度不能小于0.6的規(guī)則。根據(jù)存在性原則，如果在kid_Ml_a中有一個圖形的檢查結(jié)果為非0，就符合了存在性原則。顯然，針對本例，我們希望檢查所有的圖形都要有報錯結(jié)果，應(yīng)用存在性原則僅能檢查所有的圖形中是否有一個錯誤，而不能檢查每個圖形是否都有錯誤，因此存在性原則還不能實(shí)現(xiàn)上述目標(biāo)。本方法的完整性檢查可以有效達(dá)到上述目標(biāo)，其方法是首先在kid_Ml_a的單元中，找到每個圖形的邊框并記錄在中間文件中，然后針對版圖驗(yàn)證的運(yùn)行結(jié)果，自動檢查在 kid_MEl_a的每個圖形邊框內(nèi)是否都至少包含一個報錯結(jié)果，如果有則符合完整性原則，如果沒有則不符合完整性原則。一個典型的完整性報錯文件如下box size is------400209906000050990071980300001019800125460434801554600206450120000上述報錯的含義是在4個測試向量圖形的邊框內(nèi)，發(fā)現(xiàn)沒有對應(yīng)的結(jié)果報錯，需要檢查原因。4個圖形邊框的左下、右上坐標(biāo)分別在每行列出。3.互斥性原則檢查針對任意兩個不同版圖器件的測試向量非法單元AO^ad cell Α)與非法單元B(bad cell B)，通過軟件程序自動檢查kid cell A的報錯結(jié)果是否有kid cell B的對應(yīng)報錯結(jié)果，如果存在上述情況，表明測試向量與驗(yàn)證規(guī)則文件不符合互斥性原則，如果沒有上述情況，表明測試向量與驗(yàn)證規(guī)則文件符合互斥性原則。例如，在工藝文件中有2個不同類型的器件，一個為電阻器件RES，另外一個為電容器件CAP，針對電阻器件RES，有一個檢查規(guī)則RES_rulel要求其POLY圖形的寬度不能小于2，而針對電容器件CAP，有另外一個檢查規(guī)則CAP_rule2要求其POLY圖形的寬度不能小于4。顯然，電阻與電容是兩個獨(dú)立的器件，雖然二者都有POLY圖形，但其檢查的大小是獨(dú)立與互斥的，不應(yīng)該將兩個規(guī)則的錯誤同時出現(xiàn)在電阻與電容的測試向量中。具體到本例，假設(shè)t3ad_RES_rulel單元的測試向量報錯結(jié)果如下bad_RES_rulelErrorNum2bad_CAP_rule2ErrorNum2則我們可以判定，第一行的報錯是符合預(yù)期的，而第二行的錯誤違背了互斥性的原則，在電阻器件的測試向量中把電容器件的錯誤報錯是不符合預(yù)期的。本方法通過軟件程序運(yùn)行可以自動將上述互斥性錯誤發(fā)現(xiàn)，其報錯文件為#caseNameruIeNameerrorsauto_testpattern/bad_RES_rulelCAP_rule22可以看到，通過軟件工具的自動檢查，可以快速將違反互斥性原則的測試向量準(zhǔn)確找到。


圖1測試向量與版圖驗(yàn)證規(guī)則違反完整性原則示意圖
具體實(shí)施例方式第一步通過軟件程序遍歷所有的測試向量運(yùn)行結(jié)果，檢查違反存在性原則的情況。第二步通過軟件程序遍歷所有的測試向量運(yùn)行結(jié)果，檢查違反完整性原則的情況。第三步通過軟件程序遍歷所有的測試向量運(yùn)行結(jié)果，檢查違反互斥性原則的情況。采用上述步驟，針對一個典型的200個規(guī)則的驗(yàn)證文件，自動運(yùn)行存在性檢查時間僅需3分鐘，自動運(yùn)行完整性檢查時間僅需1分鐘，自動運(yùn)行互斥性檢查時間僅需1分鐘，遠(yuǎn)遠(yuǎn)小于人工比對所需的幾天以上的時間。
權(quán)利要求
1.版圖驗(yàn)證規(guī)則文件與測試向量的自動比對方法，它的基本含義是在版圖驗(yàn)證規(guī)則的測試向量構(gòu)造完畢后，需要檢查該測試向量與版圖驗(yàn)證的規(guī)則文件是否完全一致，現(xiàn)有的方法是完全依靠人工去分析和判斷，工作量大且無法覆蓋全面；為了提高分析比較效率，本發(fā)明提出了一種對測試向量與版圖驗(yàn)證規(guī)則文件進(jìn)行自動比對的方法。具體步驟如下(1)存在性原則檢查針對構(gòu)造測試向量的合法單元(goodcell)，自動運(yùn)行版圖驗(yàn)證工具得到計算結(jié)果，并通過軟件程序檢查該good cell對應(yīng)規(guī)則的報錯結(jié)果個數(shù)是否為0， 如果為0表明測試向量與驗(yàn)證規(guī)則文件符合存在性原則，如果為非0，表明測試向量與驗(yàn)證規(guī)則文件不符合存在性原則。針對構(gòu)造測試向量的非法單元(bad cell)，自動運(yùn)行版圖驗(yàn)證工具得到計算結(jié)果，并檢查該bad cell對應(yīng)規(guī)則的報錯結(jié)果個數(shù)是否為不為0，如果不為0表明測試向量與驗(yàn)證規(guī)則文件符合存在性原則，如果為0，表明測試向量與驗(yàn)證規(guī)則文件不符合存在性原則。(2)完整性原則檢查針對構(gòu)造測試向量的非法單元(badcell)，其內(nèi)部一般有多個測試向量的圖形。本方法通過軟件程序自動檢查其內(nèi)部每個測試向量是否至少有一個報錯結(jié)果，如果符合上述條件，表明測試向量與驗(yàn)證規(guī)則文件符合完整性原則，如果不符合，表明測試向量與驗(yàn)證規(guī)則文件不符合完整性原則。(3)互斥性原則檢查針對任意兩個不同版圖器件的測試向量非法單元A(badcell Α)與非法單元B(bad cell B)，通過軟件程序自動檢查kid cell A的報錯結(jié)果是否有kid cell B的對應(yīng)報錯結(jié)果，如果存在上述情況，表明測試向量與驗(yàn)證規(guī)則文件不符合互斥性原則，如果沒有上述情況，表明測試向量與驗(yàn)證規(guī)則文件符合互斥性原則。
全文摘要
版圖驗(yàn)證規(guī)則文件是用來驗(yàn)證版圖設(shè)計是否符合工藝加工約束條件的重要文件，為了驗(yàn)證該規(guī)則文件的正確性，需要構(gòu)造很多測試向量，然后分析測試向量的計算結(jié)果是否與版圖驗(yàn)證規(guī)則文件一致。傳統(tǒng)的分析方法是針對每個測試向量，人工比對每個計算結(jié)果是否符合預(yù)期。人工比對測試用例的方法有兩個顯著缺點(diǎn)，首先，人工比對測試向量的方法工作量很大，效率很低；其次，人工比對構(gòu)造向量難以保證測試的全面性。本發(fā)明提出了一種測試向量的自動比對方法，該方法由計算機(jī)程序自動檢查版圖驗(yàn)證規(guī)則文件與測試向量是否完全一致，通過自動檢查存在性、完整性、互斥性三個原則可以在很短的時間內(nèi)完成測試向量的比對，保證規(guī)則文件的正確性。
文檔編號G06F17/50GK102368275SQ20111026967
公開日2012年3月7日 申請日期2011年9月14日 優(yōu)先權(quán)日2011年9月14日
發(fā)明者侯勁松, 張萍, 李寧, 王勇 申請人:天津藍(lán)海微科技有限公司