專利名稱：基于邊的倒序樹掃描線算法優(yōu)化層次版圖驗證技術(shù)的制作方法
技術(shù)領(lǐng)域：
(正文內(nèi)容)一種基于邊的倒序樹掃描線算法優(yōu)化層次版圖驗證技術(shù)屬于集成電路計算機輔助設(shè)計(IC CAD)領(lǐng)域，尤其是IC CAD工具中版圖驗證技術(shù)領(lǐng)域背景技術(shù)(正文內(nèi)容)集成電路(IC)設(shè)計的后期包括版圖設(shè)計和版圖驗證，而這兩項功能是EDA工具中的重要環(huán)節(jié)；版圖驗證是根據(jù)版圖設(shè)計的幾何設(shè)計規(guī)則，電學(xué)規(guī)則和原始輸入的邏輯關(guān)系對版圖設(shè)計進行正確性的驗證并且可以通過對電路和參數(shù)的提取，產(chǎn)生電路模擬的輸入文件進行后模擬，以進一部檢查電學(xué)性能。
現(xiàn)階段集成電路的設(shè)計規(guī)模正由超大規(guī)模(VLSI)向極大規(guī)模(GSI)轉(zhuǎn)變，而制造工藝則由超深亞微米(VDSM)向納米量極轉(zhuǎn)變，隨著版圖規(guī)模的急劇膨脹，傳統(tǒng)的版圖驗證方法在計算速度和內(nèi)存使用方面都落后于用戶的需求。
近來，版圖層次驗證技術(shù)成為當(dāng)今IC CAD工具中VLSI驗證技術(shù)研究的重點內(nèi)容。它能利用版圖層次的特點，減少不必要的操作和運算但目前還沒有一種十分系統(tǒng)和完備的層次版圖處理技術(shù)，適用于所有形式的層次關(guān)系。其實現(xiàn)方法的演變過程大體可以分以下幾個階段●全部版圖打散，所有重復(fù)圖形都要重復(fù)操作。
●完全相同的單元只處理一次，其余單元可能重復(fù)操作。
●單元中部分區(qū)域的圖形完全相同，只處理一次，其余區(qū)域的圖形可能重復(fù)操作。這里所指的區(qū)域一般是矩形。
●單元中不同的layer分別考慮，如果某一layer圖形完全相同，只處理一次，其余l(xiāng)ayer再分區(qū)域考慮，這些layer上的圖形可能重復(fù)操作。
●單元中重復(fù)的依據(jù)進一步細化到每一圖形是否重復(fù)出現(xiàn)，對重復(fù)出現(xiàn)的圖形只處理一次，只對不同圖形分別進行處理。
●注意到圖形由邊組成，如果不同圖形的大部分邊相同，仍舊可以把邊作為判斷重復(fù)的依據(jù)，從而減少重復(fù)邊的操作。
以上步驟自上而下，重復(fù)處理的次數(shù)越來越少，而層次處理的難度越來越大。主要的困難在于同一個單元被調(diào)用多次，其調(diào)用環(huán)境往往不完全相同，但不同之處又十分細微。如果僅僅因為單元的調(diào)用環(huán)境不同就將整個單元重復(fù)處理多次，顯然效率低下；而如何處理這些不同的單元調(diào)用環(huán)境使得單元中其它相同的圖形僅處理一次是一個十分棘手的難題。目前理論上工業(yè)界均沒有一套完整、嚴密的處理方法。
隨后在理論體系不完備的情況下，許多版圖層次驗證工具的開發(fā)采用了啟發(fā)式和增量開發(fā)的技術(shù)方法，即每次遇到版圖層次不同的情況，就在算法中增加一種處理方式，長此下去，使得IC CAD工具軟件的規(guī)模急劇增長，軟件的質(zhì)量得不到保證。
目前在版圖驗證中的圖形操作處理有投影法，它的重要的思想是不論環(huán)境圖形來源于哪個上層單元，只要在本單元的邊框范圍內(nèi)，統(tǒng)統(tǒng)將這些環(huán)境投影到本單元內(nèi)。但是問題在于將來在單元內(nèi)進行操作時，如何區(qū)分由于環(huán)境的不同導(dǎo)致操作過程和操作結(jié)果的不同。投影法的最早思想來自于文獻“The haloAlgorithm-An Algorithm for Hierarchical Design Rule Checking of VLSI circuits″，IEEE trans.on CAD，CAD-12，No.2，pp 265-272，1993。

發(fā)明內(nèi)容
(正文內(nèi)容)本發(fā)明的目的在于提出一種新的技術(shù)方法，“基于邊的層次版圖倒序樹掃描線法”，可以適用任何層次情況下的版圖驗證；本發(fā)明的總體思路利用基于邊的掃描線算法和VLSI版圖驗證的局部性原理，創(chuàng)造性地引入版圖倒序樹(ILTInverse Layout Tree)和投影元素(halo element單元內(nèi)部中來自其他單元投影的圖形)的概念，應(yīng)用投影法的原則把父單元的圖形中與子單元有相互運算關(guān)系的圖形投影到子單元中，在子單元中處理這些圖形，提出“存在狀態(tài)”與”不存在狀態(tài)”兩種類型的ILT并克服投影法的重復(fù)性圖形操做這一執(zhí)行效率不高的技術(shù)缺陷。
在了解本發(fā)明的具體過程前本發(fā)明先定義兩個概念定義1采用投影法時，單元內(nèi)部的某個圖形如果來自于其它單元的投影法則把該圖形稱為投影邊(halo element)。如果圖形用梯形表示，則把一個梯形稱為一個投影元素(halo element)。halo element簡稱為halo。
定義2采用投影法時，單元內(nèi)部的某個圖形如果不是來源于其它單元的投影，則把該圖形稱為原始邊(primitive element)。如果圖形用邊表示，則把一條邊稱為一個原始邊(primitive element)。如果圖形用梯形表示，則把一個梯形稱為一個原始邊(primitive element)。primitive element簡稱為primitive。而投影法處理步驟是1.層次預(yù)處理自頂向下尋找每個單元中圖形是否與子單元的邊框有交疊部分，如果有，則將它與子單元有交疊的部分切割到到子單元中。同時，在子單元中記錄該圖形來源于哪個父單元。
2.分別對每一條命令進行操作由于每個單元中都包含了來自不同父單元的圖形信息，不能按照普通的非層次處理方法對單元中的圖形進行處理，必須對來不同父單元中的圖形進行分別處理，處理結(jié)果不能全部放在當(dāng)前單元中，與父單元相關(guān)的圖形應(yīng)放到父單元中。
本發(fā)明的特征在于包含以下主要步驟一.自頂向下形成每個單元的halo elementa)對每個單元的邊框，計算父單元是否有圖形與單元邊框重疊，將重疊部分記為投影邊(halo element)，并形成版圖倒序樹(ILT)，記錄它的來源，這些投影邊(halo element)可以被其子單元繼承，形成子單元的版圖倒序樹(ILT)。
b)對于子單元與子單元有重疊關(guān)系的情形，需要把其中一個子單元的圖形遞歸投影到另一個子單元中，形成投影邊(halo element)。一個單元的多個投影邊(halo element)如果有重復(fù)部分，只記為一個投影邊(halo element)，同時它的ILT記錄了不同來源。
二.自底向上對單元進行操作當(dāng)每個單元的投影邊(halo element)形成完畢后，分別對每個單元內(nèi)的圖形進行類似于包括圖形幾何運算(GOA)，設(shè)計規(guī)則檢查(DRC)，網(wǎng)表提取(NE)的操作。
1)每個單元自底向上采用掃描線算法處理。在掃描線上對所有邊按縱坐標(biāo)排序，垂直邊不參與運算。排序的主要目的是為下一步計算邊的狀態(tài)做準(zhǔn)備。步驟2的詳細實現(xiàn)在程序SCscan.cpp中。
2)掃描線上自底向上逐個計算每條邊的狀態(tài)，狀態(tài)值采用多個ILT表示，狀態(tài)的記錄分為兩類，分別是當(dāng)本邊存在時的ILT狀態(tài)(ExistStatusILT)和本邊不存在時的ILT狀態(tài)(NonExistStatusILT)。其中ExistStatusILT根據(jù)不同的狀態(tài)值采用多個的ILT存儲，NonExistStatusILT也根據(jù)不同的狀態(tài)值采用多個的ILT存儲。步驟3的詳細實現(xiàn)在程序UTedge.h中。
如GOA(圖形幾何運算)中的NOT命令操作來體現(xiàn)halo element的組合情況NOT X YB中有兩個投影邊(halo element)分別是h1和h2。h1表示版圖倒序樹(ILT)的補集；分別求出h1*h2、h1*h2、h1*h2的版圖倒序樹a)h1*h2代表h1和h2兩個投影邊(halo element)同時存在的情形下與單元B中的原始邊(primitive)圖形進行交集操作，操作結(jié)果是一個投影邊(haloelement)，它的版圖倒序樹結(jié)構(gòu)同h1*h2相同。
b)h1*h2代表當(dāng)圖形h1在單元B中存在，但圖形h2在單元B中不存在的情形下與單元B中的原始(primitive)圖形進行操作，操作結(jié)果是一個投影邊(halo element)，它的版圖倒序樹結(jié)果正是h1*h2的結(jié)果。判定當(dāng)前邊是否為原始邊(primitive)三.定前一邊狀態(tài)是否為單狀態(tài)i)是，則當(dāng)前邊的狀態(tài)也是單一數(shù)值，它的狀態(tài)值＝前一條邊的狀態(tài)+1(當(dāng)前邊的方向為正)或減1(當(dāng)前邊的方向為負)。
ii)否，則當(dāng)前邊的狀態(tài)也是由多個ILT組成，它與前一條邊的ILT存在狀態(tài)完全一致，但狀態(tài)數(shù)要加1或減1。
a.判定前一條邊的狀態(tài)是多個ILT狀態(tài)？i)是，則當(dāng)前邊的狀態(tài)也是由一個個ILT組成，它的ILT存在狀態(tài)就是當(dāng)前邊的投影邊，當(dāng)前邊的非ILT存在狀態(tài)是投影邊(halo)的補集。
ii)否，則當(dāng)前邊的狀態(tài)也是由多個ILT組成它的ILT存在狀態(tài)＝前一條邊的ILT狀態(tài)“AND”當(dāng)前邊的投影邊(halo)；它的非ILT存在狀態(tài)＝前一條邊的ILT狀態(tài)“NOT”當(dāng)前邊的投影邊(halo)；
四].利用邊界掃描算法，基于邊的掃描線算法出自文獻““Time Efficient VLSIArtwork Analysis Algorithms in GOALIE2”，25thDesign Automation Conference，1988，pp.471-475.”結(jié)合投影法的策略進行幾何邊操作的線形化處理；通過前一條邊存在狀態(tài)和不存在狀態(tài)的ILT與本邊ILT做邏輯”減”運算得到本邊不存在的狀態(tài).
本邊不存在狀態(tài)的ILT＝前一條邊的不存在狀態(tài)“減”本邊的halo+前一條邊的不存在狀態(tài)“減”本邊的halo本邊不存在狀態(tài)的數(shù)值＝前一條邊的狀態(tài)數(shù)值(不論本邊的方向為正或負)。
步驟6的詳細實現(xiàn)在程序SC status.cpp中對GOA操作來說，基于邊的掃描線算法，每次幾何操作邊的狀態(tài)僅與相臨邊有關(guān)，即halo element之間的組合最多與當(dāng)前的兩條邊有關(guān)，n1≤2，n2≤2，n3≤2，Λ，nk≤2，所有halo element的組合數(shù)由2n降為2n1+2n2+Λ+2nk≤22+22+Λ22≤4n,]]>即組合數(shù)由指數(shù)增長變?yōu)榫€性增長。對于DRC來說，每條邊的操作可能與周圍的幾條邊有關(guān)，但組合數(shù)仍舊是線性增長。
五.利用版圖的局部性原理，所有的初始邊(primitive)只處理一次，當(dāng)halo element參與運算時，將halo element的各種組合情形都要計算一遍，這些需要多次操作的圖形僅僅是halo element的局部范圍，而不是其它全部圖形?；谶叺膾呙杈€算法，僅對halo邊以及由于halo邊的影響導(dǎo)致其它的狀態(tài)發(fā)生變化的邊進行重復(fù)計算。
實驗證明它達到了預(yù)期目的。


圖1單元C示意2一個典型的版圖層次調(diào)用圖3用樹型結(jié)構(gòu)表示圖2的調(diào)用關(guān)系圖4單元C對應(yīng)的Inverse Layout Tree圖5單元C中的halo element示意6單元C的halo element的ILT示意7層次掃描線算法示例圖8掃描線上的邊操作示意9掃描線上所有邊的標(biāo)記圖及每條邊上的ILT結(jié)果10 ILT表示圖形或的結(jié)果11倒序數(shù)邊界掃描法流程示意圖具體實施步驟版圖結(jié)構(gòu)的調(diào)用關(guān)系圖用倒序的形式排列從而反映單元被哪些上層單元調(diào)用，就形成了單元ILT結(jié)構(gòu)，記錄投影邊(halo element)投影來源單元，采用版圖倒序樹形結(jié)構(gòu)存儲。ILT的具體圖示請參看

，如圖1中單元C有三個圖形，其中一個有源區(qū)圖形與多晶層圖形形成一個MOS管，另一個有源區(qū)圖形是孤立的圖形，如果有上層單元的多晶圖形與其相交，才能形成MOS管，第二步需要對形成的MOS管是否來源于本單元作出判斷。假設(shè)單元C的調(diào)用環(huán)境如圖2所示，圖3的樹型結(jié)構(gòu)反映圖2的調(diào)用關(guān)系即單元C被哪些單元的instance調(diào)用；圖4將版圖結(jié)構(gòu)的調(diào)用圖形用倒序的形式排列，就形成了單元C的ILT結(jié)構(gòu)；圖5則表示單元C的投影邊(halo element)示意圖，而單元C投影邊(haloelement)的ILT樹形結(jié)構(gòu)，由圖6表示。圖6中，每個葉子節(jié)點的單元instance有一個狀態(tài)T或F，標(biāo)明這個halo element的直接來源。T表示halo element直接來源于該instance，F(xiàn)表示不是直接來源。(T或F的標(biāo)志僅僅是為了方便說明，在實際應(yīng)用中，可以在ILT樹中只畫出狀態(tài)是T的葉子節(jié)點，狀態(tài)是F的節(jié)點不畫出即可。)本節(jié)結(jié)合一個具體的實例說明如何在基于邊的掃描線算法中加入投影法的策略，操作流程步驟可以參看本發(fā)明附圖11圖7表示假設(shè)兩層圖形X，Y分別是陰影部分和無色部分，做幾何運算“ORX Y Z”，單元B中的所有圖形都是來自于單元A的投影，不是單元B的(初始邊)primitive，(為方便描述，單元B的primitive忽略)。
如圖8，9所示，選取其中一條掃描線上的所有邊，對這些邊進行操作。這些邊標(biāo)為a，b，c，d，e，f，g，h。沿著掃描線自底向上對這些邊進行操作，操作的實質(zhì)是對邊的狀態(tài)進行記數(shù)，正向邊狀態(tài)數(shù)加1，負向邊狀態(tài)數(shù)不變，但同時使得下一條邊的狀態(tài)減1，最后所有邊中狀態(tài)數(shù)為1的邊就是“或”的結(jié)果，狀態(tài)數(shù)是2的邊就是“與”的結(jié)果。操作的具體過程如下(1)對a的狀態(tài)記數(shù)a的邊是正向邊，狀態(tài)數(shù)加1，它的ILT是 (狀態(tài)＝1)同時，求出a不存在時的狀態(tài)，作為中間變量，為下一步做準(zhǔn)備，同時中間變量不輸出。
(狀態(tài)＝0)(2)b的狀態(tài)記數(shù)b有2個狀態(tài)，分別是當(dāng)a1存在或a2存在的狀態(tài)，其ILT如下 (狀態(tài)＝1+1＝2)
(狀態(tài)＝0+1＝1)同時，求出b不存在時的狀態(tài)，作為中間變量，為下一步做準(zhǔn)備，注意，中間變量不輸出。
(狀態(tài)＝1) (狀態(tài)＝0)(3)c的狀態(tài)記數(shù)c有4個狀態(tài)，分別是當(dāng)b1，b2，b3，b4存在的狀態(tài)，其ILT如下 (狀態(tài)＝2+0＝2，但記錄下條邊減1)ILTc2＝ILTb2*ILTc＝空集，刪掉。
(狀態(tài)＝1+0＝1，但記錄下條邊減1)ILTc3＝ILTb3*ILTc＝空集，刪掉c3狀態(tài)。
同時，求出c不存在時的狀態(tài)，作為中間變量，為下一步做準(zhǔn)備，注意，中間變量不輸出。
(狀態(tài)數(shù)＝1) (狀態(tài)數(shù)＝0)(4)第四步，對d的狀態(tài)記數(shù)d有4個狀態(tài)，分別是當(dāng)c1，c2，c3，c4存在的狀態(tài)，其ILT如下 (狀態(tài)數(shù)＝2-1+1＝2) (狀態(tài)數(shù)＝1-1+1＝1)ILTd3＝ILTc3*ILTd＝空集，刪掉。
ILTd3＝ILTc4*ILTd＝空集，刪掉。
同時，求出d不存在時的狀態(tài)，作為中間變量，為下一步做準(zhǔn)備，注意，中間變量不輸出。
(狀態(tài)數(shù)＝1) (狀態(tài)數(shù)＝0)(5)第五步，對e的狀態(tài)記數(shù)(同3，4方法一致)。
(6)第六步，對f的狀態(tài)記數(shù)(同3，4方法一致)。
(7)第七步，對g的狀態(tài)記數(shù)(同3，4方法一致)。
(8)第八步，對h的狀態(tài)記數(shù)(同3，4方法一致)。
最后，將所有狀態(tài)數(shù)＝1的邊挑出，就是圖形或的結(jié)果，具體結(jié)果是圖10本發(fā)明使用的硬件是一臺Sun公司的Enterprise 450-型工作站；使用UNIX操作系統(tǒng)由此可見，本發(fā)明所述的采用基于邊的倒序樹掃描線算法和投影法相結(jié)合的優(yōu)化層次版圖嚴驗證技術(shù)，其優(yōu)點主要有以下幾點1.利用VLSI版圖數(shù)據(jù)的局部性原理和基于邊的掃描線算法的特點，把ILT運算的算法復(fù)雜度降到線性的程度，提高了投影法的執(zhí)行效率從而降低了數(shù)據(jù)處理量，使編程規(guī)模得以壓縮。
2.利用版圖的局部性原理引入倒序樹和投影元素的概念避免了重復(fù)圖邊的操作計算量，使版圖處理速度得以提升，軟件的程序規(guī)模得以壓縮。
3.本發(fā)明提出了把版圖倒序樹的數(shù)據(jù)結(jié)構(gòu)與基于邊的層次掃描線算法結(jié)和的思想并提出了把halo邊的狀態(tài)區(qū)分為存在狀態(tài)與不存在狀態(tài)兩類ILT，從而可以直接利用前驅(qū)邊的狀態(tài)值得到本邊的狀態(tài)值。使得投影法可以簡化解決“由于環(huán)境的不同導(dǎo)致圖形操作過程和操作結(jié)果的不同”這一問題，使版圖處理功效得以提高。
權(quán)利要求
1.一種基于倒序樹掃描線的版圖驗證技術(shù)，涉及到層次處理邊中判斷邊的類別和計算邊的狀態(tài)，具體步驟如下(1)層次預(yù)處理在每個單元中，形成所有圖形對應(yīng)邊的ILT(版圖倒序樹)。形成ILT的過程采用版圖層次結(jié)構(gòu)自頂向下投影的步驟，投影操作分為圖形與Instance邊框重合的情況以及Instance與Instance有重合部分的情況兩類，其中Instance與Instance有重合部分時，要利用遞歸投影的方法，尋找所有可能有重疊的圖形。步驟1的詳細實現(xiàn)在程序DPgoa.cpp和UTcell.cpp中。(2)每個單元自底向上采用掃描線算法處理。在每條掃描線上，對邊按照Y坐標(biāo)的大小排序，垂直邊不參與運算。排序的主要目的是為下一步計算邊的狀態(tài)做準(zhǔn)備。步驟2的詳細實現(xiàn)在程序SCscan.cpp中。(3)掃描線上自底向上逐個計算每條邊的狀態(tài)，狀態(tài)值采用多個ILT表示，狀態(tài)的記錄分為兩類，分別是當(dāng)本邊存在時的狀態(tài)存在狀態(tài)(ExistStatusILT)和本邊不存在時的狀態(tài)(NonExistStatusILT).其中ILT存在狀態(tài)(ExistStatusILT)根據(jù)不同的狀態(tài)值采用多個的ILT存儲，NonExistStatusILT也根據(jù)不同的狀態(tài)值采用多個的ILT存儲。步驟3的詳細實現(xiàn)在程序UTedge.h中。(4)每條halo邊的狀態(tài)值僅取決于它的直接前驅(qū)邊，與其它邊的狀態(tài)無關(guān)。這是由于，狀態(tài)對應(yīng)的ILT詳細記錄了它之前所有邊的存在與不存在的情況。(5)通過前一條邊存在狀態(tài)和不存在狀態(tài)的的ILT與本邊的halo做邏輯”與”運算得到本邊的存在狀態(tài)。本邊存在狀態(tài)的ILT＝前一條邊的存在狀態(tài)(ExistStatusIL)“與”本邊的halo+前一條邊的不存在狀態(tài)(NonExistStatusIL)“與”本邊的halo本邊存在狀態(tài)的數(shù)值＝前一條邊的狀態(tài)數(shù)值+1(如果本邊方向為正)。本邊存在狀態(tài)的數(shù)值＝前一條邊的狀態(tài)數(shù)值-1(如果本邊方向為負)。步驟5的詳細實現(xiàn)在程序SCstatus.cpp中(6)通過前一條邊存在狀態(tài)和不存在狀態(tài)的ILT與本邊ILT做邏輯”減”運算得到本邊不存在的狀態(tài)。本邊不存在狀態(tài)的ILT＝前一條邊的ILT存在狀態(tài)(ExistStatus)“減”本邊的halo前一條邊的非ILT存在狀態(tài)(NonExistStatus)“減”本邊的halo本邊不存在狀態(tài)的數(shù)值＝前一條邊的狀態(tài)數(shù)值(不論本邊的方向為正或負)。步驟6的詳細實現(xiàn)在程序SCstatus.cpp中(7)狀態(tài)計算的結(jié)果在區(qū)分內(nèi)邊、外邊時，只需判斷存在狀態(tài)的ILT對應(yīng)的狀態(tài)值，不必考慮不存在狀態(tài)的ILT。步驟7的詳細實現(xiàn)在程序SClayer.cpp中
2.根據(jù)權(quán)利要求1所述的基于邊的層次版圖倒序數(shù)邊界掃描法，它的特征在于步驟通過程序DPgoa.cpp和UTcell.cpp來詳細實現(xiàn)。
3.根據(jù)權(quán)利要求1所述的基于邊的層次版圖倒序數(shù)邊界掃描法，它的特征在于步驟(2)通過程序SCscan.cpp詳細實現(xiàn)。
4.權(quán)利要求1所述的基于邊的層次版圖倒序數(shù)邊界掃描法，它的特征在于步驟(3)通過程序Utedge.h來具體實現(xiàn)。
5.跟據(jù)權(quán)利要求1所述的基于邊的層次版圖倒序數(shù)邊界掃描法，它的特征在于步驟(5)通過程序SCstatus.cpp來具體實現(xiàn)。
6.倒序樹的數(shù)據(jù)結(jié)構(gòu)與基于邊的層次掃描線算法相結(jié)合的任何算法和軟件工具(步驟2，3)應(yīng)得到發(fā)明人的許可。
7.基于邊的層次掃描線算法中，計算邊的狀態(tài)時，利用相鄰邊ILT的邏輯運算直接得到本邊狀態(tài)的具體實現(xiàn)步驟，要求得到專利保護。
8.邊的狀態(tài)時，區(qū)分存在狀態(tài)和不存在狀態(tài)兩類ILT的思想和步驟(步驟6)要求得到專利保護。
全文摘要
基于邊的倒序樹掃描線算法優(yōu)化層次版圖驗證技術(shù)含有)ILT運算的復(fù)雜度降到線性的步驟，其特征在于含有以下操作步驟利用了基于邊的掃描線算法和VLSI版圖驗證的局部性原理，引入版圖倒序樹(Inverse Layout Tree)和投影邊(halo element)的概念，在計算邊的狀態(tài)時發(fā)明了“存在狀態(tài)”與“不存在狀態(tài)”兩種類型的ILT，通過投影法和倒序樹掃描線的結(jié)合來對版圖進行分解，計算操作。利用VLSI版圖數(shù)據(jù)的局部性原理和基于邊的掃描線算法的特點，把(版圖倒序樹)ILT運算的算法復(fù)雜度降到線性的程度。使得避免組合爆炸問題并且避免了不同邊操作下的幾何操作重復(fù)這一技術(shù)缺陷。
文檔編號G06F17/50GK1604089SQ0312649
公開日2005年4月6日 申請日期2003年9月29日 優(yōu)先權(quán)日2003年9月29日
發(fā)明者侯勁松, 魏文靜, 陳福海, 李寧, 張書波, 劉燕 申請人:北京中電華大電子設(shè)計有限責(zé)任公司