專利名稱：基于圖形的處理系統(tǒng)及用于處理基于圖形的數(shù)據(jù)的方法
技術(shù)領(lǐng)域：
本發(fā)明總體上涉及L3GO VLSI設(shè)計(jì)的處理，更具體地涉及一種 通過使用可變圖案來生成L3GO版圖、并進(jìn)行L3GO版圖的基于圖形 的圖案匹配的系統(tǒng)和方法。
背景技術(shù)：
L3GO (使用柵格符號(hào)幾何對(duì)象的版圖)是一個(gè)正在進(jìn)行的用以 提高VLSI (超大規(guī)模集成電路)設(shè)計(jì)的可制造性的項(xiàng)目。L3GO提 供描述電路接線和器件的對(duì)象或圖案的有限集合(restricted set)， 被稱為符號(hào)(glyph) 。 L3GO具有三種符號(hào)類型，包括1. 直線(Stick)符號(hào)，其是在兩個(gè)格點(diǎn)之間畫出的一維線段， 例如，用來描述FET柵極或互連。直線符號(hào)的附加屬性包括直線屬 于哪一層、開始和結(jié)束點(diǎn)，以及目標(biāo)寬度；2. 接點(diǎn)(contact)符號(hào)，其是位于格點(diǎn)的0維點(diǎn)，例如，用來 描述垂直互連(接點(diǎn)和通路)。接點(diǎn)符號(hào)的附加屬性包括接點(diǎn)屬于哪 一層，以及指定一個(gè)矩陣內(nèi)的接點(diǎn)如何布置的參數(shù)，例如，矩陣內(nèi)行 和列的數(shù)目、每個(gè)接點(diǎn)的大小、每個(gè)列和行之間的水平和垂直距離、 以及矩陣中心相對(duì)于符號(hào)位置的可選偏移量；以及3. 區(qū)域(area)符號(hào)，其是二維的、頂點(diǎn)位于格點(diǎn)的軸對(duì)齊矩 形，例如用來描述擴(kuò)散區(qū)域。在它們的特定屬性之外，符號(hào)能夠表達(dá)"設(shè)計(jì)意圖"屬性，例如， 連線(net )名、它們的重要性等級(jí)等等。 一個(gè)被稱為確立(elaboration ) 的處理將符號(hào)集合轉(zhuǎn)換為幾何對(duì)象(數(shù)據(jù)預(yù)處理前掩模形狀， pre-data曙prep mask shapes )。一個(gè)圖案描述一種符號(hào)結(jié)構(gòu)，例如，具有一定屬性的接點(diǎn)符號(hào)位 于具有其它屬性集合的直線符號(hào)之上。確立處理基于參數(shù)集合創(chuàng)建這種結(jié)構(gòu)的形狀，例如，確立處理可以在M1直線上創(chuàng)建焊盤以及在焊 盤上創(chuàng)建四個(gè)冗余通路。由于VLSI設(shè)計(jì)中轉(zhuǎn)換符號(hào)圖案的計(jì)算復(fù)雜 性，預(yù)定義或匹配圖案的識(shí)別是確立處理中的關(guān)鍵部分。L3GO設(shè)計(jì)的操作面臨兩個(gè)突出問題圖案的可變性，以及模糊 的解決方案。為了支持考慮到多個(gè)設(shè)計(jì)特征之間的交互的基于圖案的 設(shè)計(jì)操作，僅僅使用具有明確或固定大小的圖案是不可行的。為了覆 蓋所有可能大小的結(jié)構(gòu)可能需要數(shù)萬個(gè)圖案。因此，圖案必須支持屬 性可變規(guī)范，例如，距離，其值在基于拓樸標(biāo)準(zhǔn)的圖案布置被找到時(shí) 被確定。此外，經(jīng)常存在應(yīng)用于大部分情況的基本修改，例如，擴(kuò)展線的 末端。但是在一定的環(huán)境下，例如，如果線的末端存在特定交互，則 期望有不同的解決方案。在這種情況下， 一個(gè)圖案是另一個(gè)的細(xì)化 (refinement),從而兩個(gè)圖案相互匹配。必須有允許構(gòu)造重疊圖案 復(fù)雜集合的明確解決方案的機(jī)制。發(fā)明內(nèi)容本發(fā)明通過提供將圖案表示為可變對(duì)象，將圖案映射為能夠被檢 索和分組的圖形，并且提供不同圖案分組的布置(placement )優(yōu)先級(jí) 的方案來解決上述及其它問題。在第一方面，本發(fā)明提供一種基于符號(hào)的處理系統(tǒng)，包含通過 使用圖案描述語言來定義可變圖案以創(chuàng)建符號(hào)版圖的系統(tǒng)；以及基于 圖形的圖案匹配系統(tǒng)，用以在符號(hào)版圖的可變圖案中識(shí)別潛在的匹 配。在第二方面，本發(fā)明提供一種存儲(chǔ)在計(jì)算機(jī)可用介質(zhì)上的用以處理基于符號(hào)的數(shù)據(jù)的計(jì)算機(jī)程序產(chǎn)品，包含被配置成通過使用圖案 描述語言來定義可變圖案以創(chuàng)建符號(hào)版圖的程序代碼；以及被配置成 在符號(hào)版圖的可變圖案中識(shí)別潛在的匹配的程序代碼。在第三方面，本發(fā)明提供一種處理基于符號(hào)的數(shù)據(jù)的方法，包含 提供具有可變圖案的符號(hào)版圖；將每個(gè)圖案編碼為圖案圖形，并將每 個(gè)圖案圖形存儲(chǔ)在圖案字典中；將符號(hào)版圖編碼為其中節(jié)點(diǎn)表示規(guī)范 特征以及邊緣表示特征之間的交互的版形；以及比較圖案圖形中 的特征和圖案字典中的數(shù)據(jù)以識(shí)別潛在的匹配。


從下面結(jié)合附圖對(duì)本發(fā)明的各個(gè)方面所做的詳細(xì)描述中，本發(fā)明 的這些和其它特征將會(huì)被更加容易地理解，附圖中圖1描述了具有根據(jù)本發(fā)明實(shí)施例的L3GO處理系統(tǒng)的計(jì)算機(jī)系統(tǒng)。圖2描述了表示根據(jù)本發(fā)明實(shí)施例的處理L3GO數(shù)據(jù)的方法的 流程圖。圖3描述了根據(jù)本發(fā)明實(shí)施例的用以移動(dòng)PCNC"T"的規(guī)則的應(yīng) 用示例。
具體實(shí)施方式
現(xiàn)在請(qǐng)參考附圖，圖1描述了具有用以生成和處理L3GO設(shè)計(jì) 數(shù)據(jù)30的L3GO處理系統(tǒng)18的計(jì)算機(jī)系統(tǒng)10。 L3GO處理系統(tǒng)18 包括定義L3GO版圖內(nèi)的可變圖案的系統(tǒng)20，以及識(shí)別L3GO版圖 內(nèi)的匹配圖案的基于圖形的圖案匹配系統(tǒng)35。請(qǐng)注意盡管示例性實(shí)施 例通過參考基于L3GO的系統(tǒng)來描述，但本發(fā)明可以應(yīng)用于任何現(xiàn)在 已知或以后開發(fā)的用以生成VLSI或其它類型的設(shè)計(jì)的基于符號(hào)的系 統(tǒng)。還請(qǐng)注意盡管L3GO處理系統(tǒng)18被作為獨(dú)立的過程而示出，但 其一部分可以被集成到確立系統(tǒng)或處理中。 I.圖案描述語言定義可變圖案的系統(tǒng)20通過提供可變LG30圖案可以被定義的 機(jī)制的圖案描述語言33來實(shí)現(xiàn)。這減少了存儲(chǔ)成千上萬個(gè)不同形狀 的屬性的需求。作為替代，具有可變參數(shù)的通用形狀集合可以被提供，其接著可以被設(shè)計(jì)者選擇并且定位。根據(jù)本文的目的，術(shù)語可變圖案 指的是其中一個(gè)或更多參數(shù)(如大小)直到最后版圖通過確立過程而 生成時(shí)才被解決的符號(hào)(直線、點(diǎn)或區(qū)域)。圖案描述語言33的兩個(gè)特征包括規(guī)則集34和圖案規(guī)范36的使 用。本文所述的是實(shí)現(xiàn)圖案描述語言33的示例性語法。然而，能夠 理解本文中討論的特定語法并非用于限制，也就是說，在不脫離本發(fā) 明的范圍的前提下不同的語法變化可以被使用。請(qǐng)注意RX、 PC和 CA涉及與制造過程中使用的光刻掩模相對(duì)應(yīng)的VLSI設(shè)計(jì)層的名稱。每個(gè)目標(biāo)層，也就是，被作為確立處理的主要輸出而被制造的層， 需要一個(gè)規(guī)則集34。在本文所描述的示例性實(shí)施例中，規(guī)則集標(biāo)識(shí)符 是目標(biāo)層的名稱，并且規(guī)則集34的內(nèi)容被括弧"{}"框住。規(guī)則集34 的主體包括以所列順序排序的下述聲明* 一個(gè)基本輸入聲明?；据斎肼暶鞯膬?nèi)容被括弧"{}，，框住。其 內(nèi)容是一個(gè)表示L3GO層的一個(gè)或更多標(biāo)識(shí)符的逗號(hào)分隔列表?；?輸入是一個(gè)主要與目標(biāo)層相關(guān)的L3GO層的集合，即，由規(guī)則集轉(zhuǎn)換 的層的集合。* 一個(gè)上下文輸入聲明。其主體，被括弧"{}"框住，包含一個(gè)表 示L3GO層的零或更多標(biāo)識(shí)符的逗號(hào)分隔列表。上下文輸入是一個(gè)影 響基本輸入至目標(biāo)層的轉(zhuǎn)換的L3GO層的集合。* 一個(gè)單位聲明。其主體，被括弧"{}，，框住，以納米為單位詳細(xì)說明了在圖案規(guī)范中使用的長度單位。這個(gè)單位被用于規(guī)則集34的 所有距離規(guī)范。*任意數(shù)量的圖案聲明(下面被描述)。一個(gè)PC規(guī)則集34的示例如下所示<formula>formula see original document page 7</formula>基本輸入和上下文輸入之間的區(qū)別能夠被用于覆蓋(coverage )檢查。例如，需要規(guī)則集34利用其輸出區(qū)域覆蓋所有基本輸入的需 求保證所有輸入特征在圖案中被考慮。圖案規(guī)范36由圖案的拓樸描述組成，其基本地描述了設(shè)計(jì)特征 以及設(shè)計(jì)特征之間的關(guān)系。圖案規(guī)范36的剩余部分提供附加過濾標(biāo) 準(zhǔn)。圖案規(guī)范36由關(guān)鍵字"Pattern",其后是被圓括號(hào)"()"框住的圖案 標(biāo)識(shí)符以及其后是被括弧"{}，，框住的圖案主體組成。圖案主體具有多 個(gè)部分，每個(gè)部分被括弧"U"框住，其必須以固定的順序出現(xiàn)。下面 是圖案規(guī)范36的一個(gè)示例<formula>formula see original document page 8</formula>圖案規(guī)范36的每個(gè)部分在下面被說明。參數(shù)部分聲明變量。被 作為變量名稱聲明的字符串可以被使用在元素規(guī)范和約束中，并且它 們的實(shí)際值由圖案布置來確定。例如Parameters{L,W,P}，在圖案中，變量能夠以兩種形式出現(xiàn)。如在參數(shù)部分指定的，變 量必須出現(xiàn)一次，并且這種引用是其定義使用。定義使用確定圖案的 哪個(gè)屬性為具有實(shí)際對(duì)應(yīng)圖案元素的圖案布置的參數(shù)分配值。變量的步驟105:在確定的目錄中，查找關(guān)聯(lián)文件。本實(shí)施例中，只需要在確定出的目錄中查找與版權(quán)對(duì)應(yīng)的文件。比如， 在步驟104中確定出關(guān)聯(lián)文件存放在目錄B中，則可以采用現(xiàn)有技術(shù)，從目 錄B中確定出關(guān)聯(lián)文件。再比如，確定關(guān)聯(lián)文件存放在目錄A或目錄C中， 則可以先在目錄A中查找，若沒有查找到，再到目錄C中查找。當(dāng)然也可 以先查收目錄C再查找目錄A。下面具體舉例進(jìn)行說明。圖2為本發(fā)明第一個(gè)實(shí)施例中查找關(guān)聯(lián)文件的方法流程示意圖。本實(shí)施 例中，攜帶關(guān)聯(lián)文件屬性的文件為版權(quán)文件，如圖2所示，具體包括以下步 驟步驟201:終端接收DCF文件。終端可以接收來自另一個(gè)終端的DCF文件，比如，通過藍(lán)牙技術(shù)從計(jì) 算^/L終端或移動(dòng)終端得到DCF文件。終端也可以A^網(wǎng)^"側(cè)^接收DCF文件。 本實(shí)施例中，假設(shè)釆用從網(wǎng)絡(luò)側(cè)接收DCF文件。步驟202:終端將接收到的DCF文件存儲(chǔ)到與該DCF文件的屬性對(duì)應(yīng) 的目錄中。本實(shí)施例中，終端將接收到的DCF文件存儲(chǔ)到與該DCF文件的屬性對(duì) 應(yīng)的目錄的方法是在接收到DCF文件后，確定該DCF文件的屬性；根據(jù) 預(yù)先設(shè)置的目錄與屬性的對(duì)應(yīng)關(guān)系，將具有相同屬性的DCF文件存放到至 少一個(gè)目錄中或者將具有不同屬性的至少一個(gè)DCF文件存放到一個(gè)目錄中。 屬性種類不同，查找版權(quán)對(duì)應(yīng)的文件的屬性的方法也有多種，比如，可以才艮 據(jù)文件名后綴確定出DCF文件是音頻、視頻、圖片、應(yīng)用還是文本的文件 類型。當(dāng)然，也可以根據(jù)DCF文件包含的文件類型字段，比如根據(jù)支持 DRM2.1下載的DCF中的分類(CLSF)字段，確定出DCF文件的文件類型 屬性。當(dāng)然，也可以根據(jù)DCF文件包含的其它字段得到DCF文件的其它文 件屬性。本實(shí)施例假設(shè)預(yù)先設(shè)置了以下的目錄與文件類型屬性的對(duì)應(yīng)關(guān)系，如表 2所示音頻格式把所選片段呈現(xiàn)給用戶。然而，如果在步驟30中的確定是否 定的，則該系統(tǒng)在步驟34告知用戶音頻格式不可用，并且該系統(tǒng)繼續(xù) 在步驟36以視覺格式呈現(xiàn)所選片段，如果對(duì)于這種呈現(xiàn)已經(jīng)進(jìn)行了提 供的話。因此，本公開內(nèi)容的方法使用戶能夠在不收聽對(duì)完整文獻(xiàn)的閱讀的 情況下以可聽形式接收來自該文獻(xiàn)的信息。該方法允許把印刷文獻(xiàn)轉(zhuǎn)換 成電子格式并且將其分割成各片段，所述片段隨后被組織成分級(jí)結(jié)構(gòu)并 且隨之生成音頻再現(xiàn)，所述音頻再現(xiàn)把該分級(jí)結(jié)構(gòu)呈現(xiàn)給用戶以便選擇 所期望的片段。在接收到所迷選擇之后，本方法把所述片段的音頻再現(xiàn) 呈現(xiàn)給用戶；如果音頻再現(xiàn)不可用，則本方法告知用戶，并且可以以4見 覺格式來呈現(xiàn)所選片段，如果對(duì)于這種呈現(xiàn)已經(jīng)進(jìn)行了提供的話。5 -/^/"http://wfl^/AfC^LJGO,^,^,/,/,^^^^^; cn^i'wtefse"六 C = 6fmwrf"owg附e"《(7LV-iJ(;O，(^P，0，fifoww，"込/叫cW/fiT^/^"六錨點(diǎn)(anchor)部分指定了錨點(diǎn)的類型，被括弧"{}，，框住，其作 為圖案匹配的種子(seed)并且定義圖案所指明的坐標(biāo)系統(tǒng)的原點(diǎn)。 錨點(diǎn)部分的主體指定了作為圖案種子的元素，以及所述元素的哪一部 分與原點(diǎn)交叉。錨點(diǎn)始終位于坐標(biāo)(O，O)并且點(diǎn)沿著X軸的正方向。錨點(diǎn)有兩種類型的規(guī)范。第一種錨點(diǎn)規(guī)范具有〈element:par^的 形式。element是來自元素部分的元素標(biāo)識(shí)符，第二部分是下列說明 符中的一個(gè)* s:開始點(diǎn)或直線或邊界。* e:直線或邊界的結(jié)束點(diǎn)。* i:直線或邊界的內(nèi)部。* p:點(diǎn)矩陣的位置。第二種錨點(diǎn)規(guī)范具有〈element幷element〉的形式。這個(gè)規(guī)范描述 了錨點(diǎn)的位置位于兩個(gè)特定元素交叉的地方。例如關(guān)系部分指定了直線之間的交互。所列元素的每個(gè)可能配對(duì)必須 存在關(guān)系。每個(gè)聲明具有這樣的形式e/e附e",:pa" /^/flriowj^/;e多個(gè)關(guān)系通過逗號(hào)分隔。每個(gè)關(guān)系聲明指定哪些元素具有交互而 關(guān)系類型指定發(fā)生的交互的類型。元素(element)是指元素部分定義 的標(biāo)識(shí)符。下面的例子舉例說明了語法。必附fl"/m加"/mW/s/(7"。，2卿C"， 存在以下類型的關(guān)系* manhattanmindist(min,max):表明在被指出的符號(hào)部分之間的最小Manhattan多巨離必須最小為min且最大為max。 max必須大 于或等于min并且兩個(gè)值都必須大于0。* mindist(min，max):表明在被指出的符號(hào)部分之間的以無窮級(jí) (L-infinity)作為度量的最小距離必須最小為min且最大為max。 max必須大于或等于min并且兩個(gè)值都必須大于0。 交叉(intersect)是mindist(O，O)的特例。 不相交(disjoint)或沒有交叉表明在指定的元素部分之間沒 有交互。正關(guān)系(即，交叉并且基于距離的)必須形成元素的生成樹。 約束部分允許對(duì)表達(dá)式的值的限制規(guī)范，表達(dá)式的值必須在特定 的閉區(qū)間之內(nèi)。例如標(biāo)識(shí)符infty表示正無窮。輸入?yún)^(qū)域部分列出了圖案的輸入?yún)^(qū)域。輸入?yún)^(qū)域僅僅被允許被在 元素部分作為int或dnc列出的輸入層上的符號(hào)所交叉。輸入?yún)^(qū)域的 聲明具有/"/7",/^^0"/;..7的形式。區(qū)域被指定為能夠接觸(即，鄰接)，但不能交叉的矩形的集合。 語法如下re"(Y3^0Hy;/oH^，(^7i/g^vA/g/i"， 其中xlow、 ylow、 xhigh、 yhigh表示矩形左下和右上的坐標(biāo)。這些坐標(biāo)的值必須由或者常量或 者變量(前面具有前綴'％，的變量)的引用使用來表示。多個(gè)rect規(guī) 范必須由逗號(hào)分隔。被限制為單層的區(qū)域能夠被指定為 LAYER={...}。例如jRA:一U(70 = "(t-75，-75 ，75";輸出區(qū)域部分列出了圖案的輸出區(qū)域。輸出區(qū)域的聲明具有 0"卬"http:// "/0/^.../的形式。除了對(duì)層沒有限制是被允許的之外，輸出區(qū)域的語法和輸入?yún)^(qū)域的語法完全相同。轉(zhuǎn)換部分列出了圖案可能出現(xiàn)的坐標(biāo)轉(zhuǎn)換。轉(zhuǎn)換部分的聲明具有7V""s/orw^…7的形式。在括號(hào)內(nèi)，進(jìn)行一個(gè)或更多的下列轉(zhuǎn)換聲明， 由逗號(hào)分隔。*標(biāo)識(shí)標(biāo)識(shí)轉(zhuǎn)換。* rot90， rotl80， rot270:圍繞坐標(biāo)系統(tǒng)的原點(diǎn)的三個(gè)正交旋轉(zhuǎn)。 *鏡像x軸的鏡像。
mrot90， mrotl80, mrot270:具有后續(xù)旋轉(zhuǎn)的x軸上的鏡像。 請(qǐng)注意每個(gè)轉(zhuǎn)換，包括標(biāo)識(shí)，必須被清楚地列出。對(duì)于被列出的每個(gè)轉(zhuǎn)換， 一個(gè)規(guī)則被生成，其中元素規(guī)范以及區(qū)域和結(jié)果的幾何組 件被轉(zhuǎn)換。請(qǐng)注意變量也被轉(zhuǎn)換，也就是說，(X，Y)的規(guī)范被轉(zhuǎn)換 為用于"鏡像"的(X，-Y)。當(dāng)值被確定，任何坐標(biāo)的交換或求反被考 慮。請(qǐng)注意約束部分不被轉(zhuǎn)換。為了讓圖案描述語言33允許使用變量來描述圖案，下列要求也 是必須的。第一，變量僅僅用于點(diǎn)特征的位置和線特征的封閉端。第 二，輸入?yún)^(qū)域必須為空，除非與在元素部分作為int或dnc列出的符 號(hào)相交叉。第三，作為圖案結(jié)果的點(diǎn)集合必須被輸出區(qū)域覆蓋。第四， 如果關(guān)系類型被列出為關(guān)鍵，則在關(guān)系部分指定的連接必須在設(shè)計(jì)中 針對(duì)每個(gè)接點(diǎn)被完全匹配。例如，具有列出為關(guān)鍵的交叉的由單個(gè)直 線末端組成的圖案不匹配作為"L"一部分的直線末端。請(qǐng)注意交互區(qū) 域增加了仍然可以導(dǎo)致不匹配的附加過濾器。II.基于圖形的圖案匹配一旦L3GO版圖通過使用上述的圖案描述語言33來定義，所述 版圖能夠被確立系統(tǒng)處理以生成VLSI設(shè)計(jì)。如上所述，在L3GO版 圖中識(shí)別匹配的圖案的能力大大減少了確立處理的計(jì)算成本。因此， 基于圖形的圖案匹配系統(tǒng)35被用來查找匹配的圖案?；趫D形的圖案匹配系統(tǒng)35的核心使用回溯(backtracking) 算法以在版形中查找圖案圖形?；厮菔羌s束滿足問題的標(biāo)準(zhǔn)策 略。這種應(yīng)用的一個(gè)有趣的方面是在回溯問題的期間不是所有被約束的變量的值都是已知的。也就是說，在相應(yīng)的版圖對(duì)象被找到時(shí)圖案 圖形的節(jié)點(diǎn)的一些屬性不是已知的。圖案編碼系統(tǒng)22提供L3GO圖案至圖案圖形的轉(zhuǎn)化，版圖編碼 系統(tǒng)23提供L3GO版圖(即，設(shè)計(jì))至版形的轉(zhuǎn)化。圖案編碼 系統(tǒng)22將圖案元素直接轉(zhuǎn)化為節(jié)點(diǎn)，以及將節(jié)點(diǎn)之間的關(guān)系轉(zhuǎn)化為 邊緣(即，圖案圖形)。節(jié)點(diǎn)具有元素的指定屬性，邊緣具有交互的 類型，例如，它們相互交叉等等。節(jié)點(diǎn)屬性中的每個(gè)值，即，開始坐 標(biāo)、長度、寬度屬性等等，被編碼為表達(dá)式。存在多種類型的表達(dá)式*如果圖案中提供一個(gè)數(shù)值，則表達(dá)式是常量。*如果表達(dá)式是變量(沒有％前綴)的定義布置，其參照存儲(chǔ) 變量值和它們的狀態(tài)的位置(slot)被記錄為未初始化的變量。初始 時(shí)，所有的變量都是未初始化的。*如果包含變量使用(具有％前綴)的表達(dá)式被提供，表達(dá)式參照變量被轉(zhuǎn)化為字節(jié)碼。針對(duì)每個(gè)指定的轉(zhuǎn)換創(chuàng)建一個(gè)單獨(dú)的圖案。圖案元素中的每個(gè)屬性被轉(zhuǎn)換。對(duì)于開始點(diǎn)，x和y坐標(biāo)在必要時(shí)被交換和求反，方向被 改變并且點(diǎn)符號(hào)矩陣的屬性被轉(zhuǎn)換(通過交換和求反的偏移點(diǎn)，行和 列以及節(jié)距的數(shù)目僅僅被交換)。請(qǐng)注意對(duì)于變量(使用和定義布置) 符號(hào)的改變分別被記錄為l或-l的因數(shù)。對(duì)于以下部分發(fā)生轉(zhuǎn)換 元素，輸入和輸出區(qū)域，以及結(jié)果。約束不被轉(zhuǎn)換。接著對(duì)于每個(gè)圖案，基于其錨點(diǎn)計(jì)算一個(gè)關(guān)鍵字(key),即， 錨點(diǎn)所在的層，以及在錨點(diǎn)是交叉等的情況下的錨點(diǎn)特征(開始或結(jié) 束)。接著基于那些錨點(diǎn)關(guān)鍵字將圖案存儲(chǔ)在字典中。每個(gè)圖案圖形 被存儲(chǔ)有一個(gè)相關(guān)聯(lián)的錨點(diǎn)關(guān)鍵字。版圖編碼系統(tǒng)23，其將L3GO版圖編碼為圖形，首先需要L3GO 版圖的規(guī)范表示的創(chuàng)建。點(diǎn)矩陣被指定為是規(guī)范的，但區(qū)域和直線符 號(hào)必須被處理。對(duì)于具有區(qū)域符號(hào)的每層，區(qū)域符號(hào)被合并 (unioned)，接著連接組件的輪廓被作為線段的集合來計(jì)算。這些 線段是區(qū)域符號(hào)的規(guī)范特征。直線通過兩個(gè)階段來被規(guī)范。首先所有平行的和重疊的直線在它 們的寬度屬性相同時(shí)被合并。如果寬度不相同，具有較大寬度的符號(hào) 擦除具有較小寬度的直線的重疊部分。在第二個(gè)階段，直線被斷開， 從而直線之間的僅有交互出現(xiàn)在直線末端。具有與關(guān)系距離和關(guān)鍵聲明距離中的最大值相等的交互距離的侵入(intrusion)檢索在由規(guī)范過程獲取的特征集合上執(zhí)行。規(guī)范后 的特征被映射至節(jié)點(diǎn)；侵入被映射至邊緣并且具有與邊緣相鄰的兩個(gè) 特征之間的最小距離。上述處理的結(jié)果形成了版形。對(duì)于每個(gè)圖案，計(jì)算來源于錨點(diǎn)特征(即，預(yù)匹配節(jié)點(diǎn))的生成 樹。生成樹的構(gòu)造建立了被用于回溯算法的順序。生成樹是圖案圖形 的子圖形。圖案檢索系統(tǒng)24通過掃描所有規(guī)范后的特征(即，邊界線段、 直線和點(diǎn)矩陣點(diǎn))來查找在版形中匹配的所有圖案。對(duì)于每個(gè)特 征，子圖形檢索系統(tǒng)24查找圖案字典以查看是否存在其錨點(diǎn)與線段、 直線末端或點(diǎn)矩陣點(diǎn)中的一個(gè)相匹配的圖案。如果存在位于線特征 (邊界段和直線)的交叉處的錨點(diǎn)，掃描執(zhí)行交叉檢索(例如，使用 掃描線算法)以查找潛在的錨點(diǎn)，并且使用交叉點(diǎn)以在圖案字典中檢 索。對(duì)于其錨點(diǎn)匹配版形的當(dāng)前位置的所有字典項(xiàng)，子圖形檢索 被啟動(dòng)。子圖形檢索開始于預(yù)匹配，即，提供潛在的錨點(diǎn)位置的一或 兩個(gè)元素被分別映射至在圖案中定義錨點(diǎn)的一或兩個(gè)元素。*將預(yù)匹配作為開始點(diǎn)，執(zhí)行回溯。請(qǐng)注意該算法必須查找每 個(gè)圖案匹配；在相同錨點(diǎn)位置的相同圖案可能有多個(gè)匹配。*回溯算法依照生成樹順序獲取沒有被匹配的下一個(gè)節(jié)點(diǎn)Q并 且查找在生成樹中對(duì)應(yīng)其在前節(jié)點(diǎn)(predecessor ) P的版圖節(jié)點(diǎn)L ( P 和L在這個(gè)點(diǎn)是匹配的)。* L的所有鄰居被進(jìn)行匹配測試。*如果潛在的匹配被找到(由于未初始化的變量到目前不是所 有的節(jié)點(diǎn)屬性都已知)，匹配移動(dòng)到下一個(gè)未匹配的節(jié)點(diǎn)Q并且進(jìn)入步驟l。*如果在L的任何鄰居中沒有匹配被找到，其不匹配在前節(jié)點(diǎn)P 并且繼續(xù)把P作為一個(gè)未匹配節(jié)點(diǎn)。*如果全部匹配被找到，最后一個(gè)匹配被反轉(zhuǎn)并且回溯繼續(xù)。 請(qǐng)注意對(duì)于每個(gè)匹配的版圖節(jié)點(diǎn)所述算法必須保持追蹤哪些鄰居已 經(jīng)被試過從而當(dāng)回溯到那個(gè)節(jié)點(diǎn)時(shí)其繼續(xù)新的組合。請(qǐng)注意上面所述的回溯算法的一個(gè)挑戰(zhàn)是并不是做決定所需的 所有屬性在匹配完成時(shí)是已知的。因此，為了獲得相當(dāng)好的性能，回 溯分支必須被盡早剪除。因而，對(duì)于每個(gè)完成的匹配，當(dāng)前定義的變 量值被確定并且被用來測試。當(dāng)匹配沒有完成時(shí)，變量被相應(yīng)地重置 為未定義狀態(tài)。建立匹配的第一個(gè)標(biāo)準(zhǔn)集合是元素的拓樸和它們的關(guān) 系。因?yàn)椴皇撬械淖兞恐刀际且阎模⑶乙虼瞬皇撬械臈l件都 能夠被測試，所以這種最初的"局部，，匹配處理可能創(chuàng)建后來被發(fā)現(xiàn)是 不正確的匹配。只要匹配被創(chuàng)建，值被指定給變量，并且當(dāng)匹配被反 轉(zhuǎn)時(shí)，這些指定被反轉(zhuǎn)。通常，變量確定元素的實(shí)際大小，例如，對(duì)于終止于觸碰它的第 一個(gè)CA的直線開始，觸碰相同直線的其它CA在版圖上距離更遠(yuǎn)并 且因此版形中的相鄰不是真正合格的圖案候選。因此，變量賦值 能夠?qū)嶋H上具有對(duì)匹配處理的拓樸組件的影響。部分圖案匹配以布置(placement)的形式來實(shí)現(xiàn)。布置包含對(duì) 圖案、版圖中圖案錨點(diǎn)所在的位置的坐標(biāo)以及具有變量的值和狀態(tài)的 位置的集合的引用。在匹配過程中，每個(gè)新的匹配創(chuàng)建新的布置(可 能具有更多初始化的變量)，并且前面的布置被存儲(chǔ)在堆棧。為了回 溯，布置的老版本被從堆棧中取出。如果全部匹配被找到，所生成的最后布置的所有變量被初始化。 接著一系列附加(further)過濾器被進(jìn)行如下應(yīng)用*不是生成樹的一部分的圖案關(guān)系(即，邊緣)被驗(yàn)證。*元素的關(guān)鍵交互被測試。*約束被估計(jì)。*輸入?yún)^(qū)域的內(nèi)容被檢查。沖突解決系統(tǒng)26提供當(dāng)兩個(gè)或更多圖案具有重疊的輸出區(qū)域時(shí) 解決沖突的機(jī)制。子圖形檢索系統(tǒng)(即，圖案檢索階段)的結(jié)果是圖 案布置的完整集合，也就是說，該集合包含所有潛在的匹配。圖案布 置由所放置的圖案和圖案錨點(diǎn)適合于創(chuàng)建布置的版圖的坐標(biāo)組成。如上所述，經(jīng)常存在這樣的情況或者是相互之間的精細(xì)級(jí)別不 同或者是具有重疊部分的多個(gè)圖案相互匹配。在每組圖案中(如規(guī)則 集34所定義)，基于圖案優(yōu)先級(jí)必須找到布置的有效集合從而不存 在模糊。當(dāng)兩個(gè)圖案的輸出區(qū)域重疊時(shí)兩者之間相互沖突。當(dāng)它們的 輸出區(qū)域重疊時(shí)具有更高優(yōu)先級(jí)的圖案布置禁止具有更低優(yōu)先級(jí)的 圖案布置。優(yōu)先級(jí)可以基于組內(nèi)規(guī)范的順序而確定。布置的完整集合通過下面的方法被縮減為布置的有效集合*圖形被構(gòu)造，其中布置是節(jié)點(diǎn)并且輸出區(qū)域之間的重疊是邊緣。*具有最大優(yōu)先級(jí)的節(jié)點(diǎn)被選擇。其禁止更低優(yōu)先級(jí)的所有鄰近匹配，因此這些節(jié)點(diǎn)從圖形中被移除。*第二個(gè)步驟被重復(fù)直到圖形不包含任何邊緣。 請(qǐng)注意具有相同優(yōu)先級(jí)的圖案布置能夠相互重疊。既然所有圖案 (及它們的轉(zhuǎn)換)具有唯一的優(yōu)先級(jí)，因此只有相同圖案的兩個(gè)布置能夠重疊。組覆蓋系統(tǒng)28提供基于它們的優(yōu)先級(jí)而覆蓋組的機(jī)制。每個(gè)組 是在規(guī)則集34中定義的一系列圖案，并且每個(gè)組的優(yōu)先級(jí)可以按照 組被定義的順序來確定。在解決圖案(組)之間的沖突之后，如上所 述，結(jié)果是很多有效布置的集合，每個(gè)組一個(gè)集合。組覆蓋系統(tǒng)28 基于它們的優(yōu)先級(jí)來覆蓋組。*具有最低優(yōu)先級(jí)的組被選擇并且為該組生成結(jié)果。 *下一個(gè)未被處理的組G (具有下一個(gè)更高的優(yōu)先級(jí))的輸出 區(qū)域被選擇，其輸出區(qū)域被合并，并將結(jié)果從到目前為止所計(jì)算的結(jié) 果中減去(差分運(yùn)算)。接著結(jié)果G被相加(合并)。*步驟2被重復(fù)直到所有的組被處理。請(qǐng)注意順序較高的組實(shí)際上能夠通過它們輸出區(qū)域的空部分而 從前面組中移除部分結(jié)果。圖2描述了本發(fā)明方法的流程圖。在步驟S1，具有可變圖案的 L3GO版圖通過使用圖案描述語言來被創(chuàng)建，如上所述。在步驟S2， 每個(gè)圖案被編碼為圖案圖形并且與相關(guān)聯(lián)的錨點(diǎn)關(guān)鍵字一同被存儲(chǔ) 在圖案字典中。在步驟S3，整個(gè)L3GO版圖被編碼為其中節(jié)點(diǎn)表示 規(guī)范特征并且邊緣表示相鄰特征之間的交互的版形。在步驟S4， 通過比較版形中的特征和圖案字典中的數(shù)據(jù)，進(jìn)行子圖形檢索。 在步驟S5，對(duì)于具有未被定義的變量的圖案任何部分圖案匹配被管理 (例如，使用堆棧的剪枝)。在步驟S6，在多個(gè)圖案匹配版形中 的一個(gè)特征的情況下，沖突通過圖案優(yōu)先級(jí)方案來解決。在步驟S7， 形成布置的圖案組之間的沖突基于組優(yōu)先級(jí)方案來解決。m.規(guī)則集如上所述，RX、 PC和CA涉及與制造過程中使用的光刻掩模對(duì) 應(yīng)的VLSI設(shè)計(jì)層的名稱。每個(gè)層包括圖案規(guī)范的規(guī)則集。RX規(guī)則保證接點(diǎn)被足夠數(shù)量的RX所覆蓋。在這個(gè)示例性實(shí)施 例中，只有水平RX邊界邊緣被改變，并且如果CA矩陣點(diǎn)位于水平 RX邊界，該RX邊界被移出60納米。確立后的CA接點(diǎn)從點(diǎn)位置延 伸45納米，在擴(kuò)展RX在垂直方向從接點(diǎn)延伸至少15納米之后。RX 在水平方向上必須從確立后的接點(diǎn)邊界延伸至少55納米。還存在必須滿足與RX的交互的限制點(diǎn)矩陣。其"引用點(diǎn)"位于 RX圖形的內(nèi)部或邊界的CA點(diǎn)矩陣的所有點(diǎn)必須在相同的RX連接 組件的內(nèi)部。作為特例，具有對(duì)水平RX邊界的引用的CA矩陣必須 嚴(yán)格地具有一行點(diǎn)(即，因?yàn)樗且痪S的)。具有RX內(nèi)而不是位于 邊界的引用的具有一個(gè)點(diǎn)位于邊界的點(diǎn)矩陣能夠最多具有2行和2 列。只具有一個(gè)組的RX規(guī)則集生成與RX_L3GO的區(qū)域符號(hào)合并的 附加結(jié)果形狀。規(guī)則集的語法如下<formula>formula see original document page 19</formula>CA規(guī)則能夠從概念上被劃分為兩種類型，與RX交互的接點(diǎn)和 與PC交互的接點(diǎn)。對(duì)于引用點(diǎn)與RX_L3GO區(qū)域符號(hào)交叉的點(diǎn)矩陣， 矩陣的所有點(diǎn)必須與FO^L3GO的相同連接組件交叉。如果矩陣具有 一個(gè)點(diǎn)觸碰RX—L3GO的邊界，那么(l)邊界必須水平；(2)如 果矩陣的引用點(diǎn)位于邊界則矩陣必須嚴(yán)格地具有一行并且垂直偏移 量為0;以及(3)矩陣必須最大是2乘2 (并且偏移少于x和y節(jié)距 的一半)。如果PC移動(dòng)時(shí)引用點(diǎn)與PC_L3GO或PCNC_L3GO符號(hào)交叉 的點(diǎn)矩陣必須移動(dòng)。CA規(guī)則集只有一個(gè)組并且被定義如下語法PC規(guī)則具有定義PC層的多個(gè)組，并且被定義如下語法PC規(guī)則集的第一組確立水平PC線。第二組考慮可能已經(jīng)被移 動(dòng)的CA而為CA創(chuàng)建PC覆蓋盤(pad)。第三組使用內(nèi)部以及交叉 點(diǎn)分解以處理PCNC—L3GO及其與PC—L3GO的交互。交叉點(diǎn)責(zé)任 "區(qū)域(area)"為寬度和高度是PCNC目標(biāo)寬度的區(qū)域。圖3描述了 包括因?yàn)樘拷従佣仨毐灰苿?dòng)的PCNC"T"的PC規(guī)則的示例性 應(yīng)用。執(zhí)行這種移動(dòng)的代碼片段如下所示<formula>formula see original document page 19</formula><formula>formula see original document page 20</formula>C_PCNC—WIDTH/2)，(0，C—PCNC—WIDTH/2))， rect((0，l)，((C_PCNC_HSAVED-l)，C—PCNC—WIDTH/2))， rect((0，-C_PCNC—WIDTH/2)，(C_PCNC—HSAVED-l，-環(huán)}OutputRegion{ rect((-C一PCNC一WIDTH/2，畫C一PCNC一WIDTH/2)，(C一PCNC一WIDTH/2，C—PCNC一WIDTH/2)) }Result{rect((-C一PCNC一WIDTH/2+C一PCNC一MOVE，-C一PCNC—WIDTH/2), (C—PCNC_WIDTH/2，CJPCNC_WIDTH/2))}Transforms{identity，rotl80，mirror，mrotl80}圖3示出了圖案"PCNC—T—Move，，的顯示(visualization)，圖 案顯示在左側(cè)，生成的結(jié)果和圖案的輸出區(qū)域顯示在右側(cè)。大小標(biāo)記 (箭頭以及小距離的> <)與如上所示的圖案代碼中的變量和常量對(duì) 應(yīng)。變量在圖案代碼的"Parameter，，部分被聲明，常量被從外部定義 并且取決于制造技術(shù)。請(qǐng)注意以這種方式編碼的整個(gè)規(guī)則集能夠通過 僅僅更新常量的定義而被更新為新的技術(shù)參數(shù)。通常，計(jì)算機(jī)系統(tǒng)10(圖l)可以包含任何類型的計(jì)算機(jī)系統(tǒng)并 且可以實(shí)現(xiàn)為客戶端和/或服務(wù)器的一部分。計(jì)算機(jī)系統(tǒng)10通常包括 處理器12、輸入/輸出(I/O) 14、存儲(chǔ)器16,以及總線17。處理器 12可以包含單個(gè)處理單元，或被分布在一個(gè)或更多位置，例如，客戶 端和服務(wù)器上的一個(gè)或更多處理單元。存儲(chǔ)器16可以包含任何已知 類型的數(shù)據(jù)存儲(chǔ)和/或傳輸介質(zhì)，包括磁性介質(zhì)、光學(xué)介質(zhì)、隨機(jī)存取 存儲(chǔ)器(ROM)、只讀存儲(chǔ)器(ROM)、數(shù)據(jù)緩存、數(shù)據(jù)對(duì)象等等。 而且，存儲(chǔ)器16可以位于包含一個(gè)或更多類型的數(shù)據(jù)存儲(chǔ)的單個(gè)物 理位置，或以各種形式分布在多個(gè)物理系統(tǒng)。I/O 14可以包含與外部資源交換信息的任何系統(tǒng)。外部設(shè)備/資 源可以包含任何已知類型的外部設(shè)備，包括監(jiān)視器/顯示器、揚(yáng)聲器、 存儲(chǔ)裝置、其它計(jì)算機(jī)系統(tǒng)、手持設(shè)備、鍵盤、鼠標(biāo)、語音識(shí)別系統(tǒng)、 語音輸出系統(tǒng)、打印機(jī)、傳真機(jī)、尋呼機(jī)等等。總線17提供計(jì)算機(jī) 系統(tǒng)10中每個(gè)組件之間的通信連接并且同樣的可以包含任何已知類 型的傳輸連接，包括電連接、光連接、無線連接等等。盡管未示出， 附加組件，如緩沖存儲(chǔ)器、通信系統(tǒng)、系統(tǒng)軟件等等，可以被合并在 計(jì)算機(jī)系統(tǒng)10中。對(duì)計(jì)算機(jī)系統(tǒng)10的訪問可以通過網(wǎng)絡(luò)如因特網(wǎng)、局域網(wǎng)(LAN)、 廣域網(wǎng)(WAN)、虛擬專用網(wǎng)絡(luò)(VPN)等來提供。通信可以經(jīng)由 直接硬線連接(例如，串行端口)，或經(jīng)由可以使用有線和/或無線傳 輸方法的任何組合的可尋址連接來發(fā)生。而且，常規(guī)的網(wǎng)絡(luò)連接，如 令牌環(huán)、以太網(wǎng)、WiFi或其它常規(guī)的通信標(biāo)準(zhǔn)可以被使用。連接還 可以通過常規(guī)的基于TCP/IP套接字的協(xié)議來提供。在這個(gè)實(shí)例中， 因特網(wǎng)服務(wù)提供商可以被用來建立互連。而且，如上所述，通信可以 發(fā)生在客戶端_服務(wù)器或服務(wù)器—服務(wù)器環(huán)境中。應(yīng)該理解，本發(fā)明的教導(dǎo)可以作為商業(yè)方法以訂購或付費(fèi)的方式 提供。例如，包含L3GO處理系統(tǒng)18的計(jì)算機(jī)系統(tǒng)IO可以由為客戶 提供本文所述功能的服務(wù)提供商創(chuàng)造、維護(hù)和/或配置。也就是說，服 務(wù)提供商可以提供如上所述的基于圖形的圖案匹配。能夠理解本文所述的系統(tǒng)、功能、機(jī)制、方法、引擎和模塊能夠 以硬件、軟件，或硬件和軟件的組合來實(shí)現(xiàn)。它們能夠被用以執(zhí)行本 文所述方法的任何類型的計(jì)算機(jī)系統(tǒng)或其它裝置來實(shí)現(xiàn)。硬件和軟件 的一個(gè)典型組合是具有下述計(jì)算機(jī)程序的通用目的計(jì)算機(jī)系統(tǒng)，所述 計(jì)算機(jī)程序在被裝載和執(zhí)行時(shí)，控制計(jì)算機(jī)系統(tǒng)從而使其實(shí)現(xiàn)本文所 述的方法?；蛘撸靡詫?shí)現(xiàn)本發(fā)明的一個(gè)或更多功能任務(wù)的特定 硬件的專用計(jì)算機(jī)可以被使用。在另一實(shí)施例中，本發(fā)明的部分或全 部能夠以分布式的方式實(shí)現(xiàn)，例如，通過如因特網(wǎng)的網(wǎng)絡(luò)。本發(fā)明還可以包含在計(jì)算機(jī)程序產(chǎn)品中，其包含使得本文所述的方法和功能被實(shí)現(xiàn)的全部特征，并且其在被裝栽至計(jì)算機(jī)系統(tǒng)時(shí)能夠 實(shí)現(xiàn)這些方法和功能。本文中的術(shù)語如計(jì)算機(jī)程序、軟件程序、程序、 程序產(chǎn)品、軟件等等的含義是意圖導(dǎo)致系統(tǒng)具有信息處理能力的一組 指令的任何語言、代碼或符號(hào)的任何表達(dá)式，所述信息處理能力或者直接或者在下述處理的一種或全部之后來執(zhí)行特定功能(a)轉(zhuǎn)換 為其它語言、代碼或符號(hào)；和/或(b)以不同的材料形式再現(xiàn)。對(duì)本發(fā)明的上述描述是出于示例和描述的目的。其不是排它性， 也不是意圖限制本發(fā)明為所公開的精確形式，并且明顯的，各種修改 和變化是可能的。這種對(duì)于本領(lǐng)域普通技術(shù)人員來說明顯的修改和變 化被包括在所附權(quán)利要求所限定的本發(fā)明的范圍內(nèi)。
權(quán)利要求
1.一種基于符號(hào)的處理系統(tǒng)，包含通過使用圖案描述語言來定義可變圖案以創(chuàng)建符號(hào)版圖的系統(tǒng)；以及基于圖形的圖案匹配系統(tǒng)，用于在所述符號(hào)版圖的可變圖案中識(shí)別潛在的匹配。
2. 如權(quán)利要求1所述的基于符號(hào)的處理系統(tǒng)，其中所述符號(hào)版 圖包含L3GO (使用柵格符號(hào)幾何對(duì)象的版圖)設(shè)計(jì)數(shù)據(jù)。
3. 如權(quán)利要求1所述的基于符號(hào)的處理系統(tǒng)，其中所述圖案描 述語言包括定義規(guī)則集和圖案規(guī)范的機(jī)制。
4. 如權(quán)利要求3所述的基于符號(hào)的處理系統(tǒng)，其中所述規(guī)則集 包括用于定義目標(biāo)層中的圖案的圖案聲明集合，所述目標(biāo)層由確立過 程所生成。
5. 如權(quán)利要求3所述的基于符號(hào)的處理系統(tǒng)，其中所述圖案規(guī) 范提供圖案的拓樸描述。
6. 如權(quán)利要求1所述的基于符號(hào)的處理系統(tǒng)，其中所述基于圖 形的圖案匹配系統(tǒng)包括將圖案轉(zhuǎn)換為包括節(jié)點(diǎn)集和邊緣集的圖案圖 形的圖案編碼系統(tǒng)，并且其中所述圖案編碼系統(tǒng)在圖案字典中存儲(chǔ)每 個(gè)圖案圖形和定義所述圖案圖形的錨點(diǎn)的關(guān)鍵字。
7. 如權(quán)利要求6所述的基于符號(hào)的處理系統(tǒng)，其中所述基于圖 形的圖案匹配系統(tǒng)進(jìn)一步包括將所述符號(hào)版圖編碼為版形的版 圖編碼系統(tǒng)，其中所述版圖編碼系統(tǒng)創(chuàng)建符號(hào)設(shè)計(jì)數(shù)據(jù)集合的規(guī)范表 示，并且其中所述版形包括存儲(chǔ)所述規(guī)范表示的特征的節(jié)點(diǎn)和定 義相鄰特征之間的交互的邊緣。
8. 如權(quán)利要求7所述的基于符號(hào)的處理系統(tǒng)，其中所述基于圖 形的圖案匹配系統(tǒng)進(jìn)一步包括比較所述版形中的特征和所述圖 案字典中的數(shù)據(jù)以定位匹配圖案的子圖形檢索系統(tǒng)。
9. 如權(quán)利要求8所述的基于符號(hào)的處理系統(tǒng)，其中所述基于圖形的圖案匹配系統(tǒng)進(jìn)一步包括當(dāng)多個(gè)匹配圖案被找到時(shí)解決沖突的 沖突解決系統(tǒng)。
10. 如權(quán)利要求9所述的基于符號(hào)的處理系統(tǒng)，其中所述基于圖 形的圖案匹配系統(tǒng)進(jìn)一步包括解決圖案組之間的圖案沖突的組覆蓋 系統(tǒng)。
11. 一種處理基于符號(hào)的數(shù)據(jù)的方法，包含如下步驟 提供具有可變圖案的符號(hào)版圖；將每個(gè)圖案編碼為圖案圖形，并將每個(gè)圖案圖形存儲(chǔ)在圖案字典中；將所述符號(hào)版圖編碼為其中節(jié)點(diǎn)表示規(guī)范特征以及邊緣表示特 征之間的交互的版形；以及比較所述圖案圖形中的特征和所述圖案字典中的數(shù)據(jù)以識(shí)別潛 在的匹配。
12. 如權(quán)利要求11所述的方法，進(jìn)一步包含處理涉及具有未定 義變量的圖案的部分圖案匹配的步驟。
13. 如權(quán)利要求11所述的方法，進(jìn)一步包含如下步驟 基于優(yōu)先級(jí)方案解決匹配所述版形中的特征的多個(gè)圖案之間的沖突；以及基于優(yōu)先級(jí)方案通過重疊布置解決包括一組圖案的布置沖突。
全文摘要
用以處理與生成超大規(guī)模集成電路(VLSI)設(shè)計(jì)有關(guān)的基于符號(hào)的數(shù)據(jù)的系統(tǒng)和方法。提供一種系統(tǒng)，其包括通過使用圖案描述語言來定義可變圖案以創(chuàng)建符號(hào)版圖的系統(tǒng)；以及能夠在符號(hào)版圖的可變圖案中識(shí)別潛在的匹配的基于圖形的圖案匹配系統(tǒng)。
文檔編號(hào)G06F17/50GK101226563SQ20081000291
公開日2008年7月23日 申請(qǐng)日期2008年1月11日 優(yōu)先權(quán)日2007年1月16日
發(fā)明者羅伯特·T.·薩亞赫, 阿爾里奇·A.·芬科勒, 馬克·A·萊文 申請(qǐng)人:國際商業(yè)機(jī)器公司