本發(fā)明涉及半導(dǎo)體集成電路設(shè)計技術(shù)領(lǐng)域，特別是涉及半導(dǎo)體集成電路設(shè)計中平板顯示版圖的標記規(guī)則檢查工具。

背景技術(shù)：

平板顯示（Flat Panel Display，F(xiàn)PD）版圖的標記規(guī)則檢查（Mark Rule Check, MRC）類似于設(shè)計規(guī)則檢查（Design Rule Check，DRC），是平板顯示版圖電子設(shè)計自動化的一個重要組成部分。設(shè)計規(guī)則檢查通常檢查導(dǎo)線寬度、導(dǎo)線間距等項目，輸出結(jié)果是違反規(guī)則的設(shè)計。版圖交付流片前，必須迭代修改所有違反規(guī)則的設(shè)計，才能確保流片成功。

現(xiàn)有技術(shù)中，對標記單元（Mark Cell）實例的檢查，通常包括以下兩項：

1）檢查標記單元實例在版圖各處的坐標范圍、行列個數(shù)、中心間距是否違反約束條件，即布局檢查（Placement Check）；

2）檢查標記單元實例中心一定長寬范圍內(nèi)是否存在禁止出現(xiàn)的圖形，即凈空區(qū)檢查（Clearance Zone Check）。

同設(shè)計規(guī)則檢查類似，版圖交付流片前，必須迭代修改所有違反標記規(guī)則的設(shè)計，才能確保流片成功。

傳統(tǒng)的標記規(guī)則檢查的表達方法主要基于命令文件，通常包括規(guī)則命令、參數(shù)、選項等信息。

對于現(xiàn)有制造工藝的平板顯示版圖，這樣的命令文件有成千上萬行，盡管檢查規(guī)則比較簡單，但約束條件數(shù)量太大，每個條件一條命令，用戶需要在一個文本編輯器里寫上幾千上萬行，工作量極大。

此外，標記規(guī)則檢查不像設(shè)計規(guī)則檢查技術(shù)成熟，各家檢查工具標準不同，命令文件的語法格式區(qū)別很大。那么，如果用戶采購了多家標記規(guī)則檢查工具，為同一檢查就要維護多套不同寫法的命令文件，愈發(fā)加劇工作負擔(dān)，且工作中出錯概率很高。

技術(shù)實現(xiàn)要素：

為了解決現(xiàn)有技術(shù)存在的不足，本發(fā)明的目的在于提供一種數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置及方法，采用數(shù)據(jù)驅(qū)動模式，將用戶積累的標記約束數(shù)據(jù)庫或電子表格轉(zhuǎn)換為二維數(shù)據(jù)表格進行平板顯示版圖的標記規(guī)則檢查。

為實現(xiàn)上述目的，本發(fā)明提供的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置，包括，約束條件表格生成模塊、約束內(nèi)容生成模塊、檢查項目表格生成模塊、檢查內(nèi)容生成模塊、命令文件生成模塊、規(guī)則內(nèi)容生成模塊、版圖內(nèi)容生成模塊，以及標記規(guī)則檢查輸出模塊，其中，

所述約束條件表格生成模塊，其將標記約束數(shù)據(jù)庫或電子表格轉(zhuǎn)換為約束條件表格；

所述約束內(nèi)容生成模塊，其將所述約束條件表格轉(zhuǎn)換為默認檢查項目表格和約束內(nèi)容；

所述檢查項目表格生成模塊，其根據(jù)所述默認檢查項目表格生成檢查項目表格；

所述檢查內(nèi)容生成模塊，其根據(jù)所述檢查項目表格生成檢查內(nèi)容；

所述命令文件生成模塊，其根據(jù)所述約束內(nèi)容和所述檢查內(nèi)容生成命令文件；

所述規(guī)則內(nèi)容生成模塊，其根據(jù)所述命令文件生成規(guī)則內(nèi)容；

所述版圖內(nèi)容生成模塊，其用于將版圖文件轉(zhuǎn)換為版圖內(nèi)容；

所述標記規(guī)則檢查輸出模塊，其根據(jù)所述規(guī)則內(nèi)容和所述版圖內(nèi)容，進行標記規(guī)則檢查，輸出違反檢查規(guī)則的錯誤報告。

進一步地，所述約束條件表格，其記錄了如下約束內(nèi)容：標記單元在平面X、Y方向的坐標范圍、行列個數(shù)、中心間距。

進一步地，所述檢查項目表格，其記錄了如下檢查內(nèi)容：標記單元名、布局檢查方式、凈空區(qū)檢查方式、凈空區(qū)X方向?qū)挾群蛢艨諈^(qū)Y方向高度。

更進一步地，所述約束條件表格和所述檢查項目表格為二維數(shù)據(jù)表格式。

為實現(xiàn)上述目的，本發(fā)明提供的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查方法，包括以下步驟：

1）將標記約束數(shù)據(jù)庫或電子表格轉(zhuǎn)換為約束條件表格，并生成檢查項目表格；

2）根據(jù)所述約束條件表格和所述檢查項目表格，進行布局檢查和凈空區(qū)檢查；

3）輸出違反檢查規(guī)則的錯誤報告。

進一步地，步驟1）進一步包括以下步驟：將標記約束數(shù)據(jù)庫或電子表格轉(zhuǎn)換為記錄了約束內(nèi)容為標記單元在平面X、Y方向的坐標范圍、行列個數(shù)、中心間距的約束條件表格；基于所述約束條件表格，建立包含檢查內(nèi)容為標記單元名、布局檢查方式、凈空區(qū)檢查方式、凈空區(qū)X方向?qū)挾群蛢艨諈^(qū)Y方向高度的檢查項目表格。

進一步地，所述步驟2）進一步包括以下步驟：根據(jù)約束條件表格中的約束內(nèi)容和所述檢查項目表格的檢查內(nèi)容，生成命令文件；根據(jù)所述命令文件，形成布局檢查的規(guī)則內(nèi)容；根據(jù)所述布局檢查的規(guī)則內(nèi)容和版圖內(nèi)容，執(zhí)行平板顯示版圖標記的布局檢查。

更進一步地，所述步驟2）進一步包括以下步驟：根據(jù)約束條件表格中的約束內(nèi)容和所述檢查項目表格的檢查內(nèi)容，生成命令文件；根據(jù)所述命令文件，形成凈空區(qū)檢查的規(guī)則內(nèi)容；根據(jù)所述凈空區(qū)檢查的規(guī)則內(nèi)容和版圖內(nèi)容，執(zhí)行平板顯示版圖標記的凈空區(qū)檢查。

本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置及方法，讓用戶只提供數(shù)據(jù)，檢查規(guī)則隱含定義在數(shù)據(jù)格式中，這樣對用戶最方便。因為用戶事先積累了大量規(guī)則約束，形成技術(shù)參數(shù)數(shù)據(jù)庫，存儲于SQL Server、Access等關(guān)系型數(shù)據(jù)庫或WPS、Excel等電子表格中，其特點是非常容易導(dǎo)出成二維數(shù)據(jù)表格。具體來講，采用數(shù)據(jù)驅(qū)動模式，就是在使用標記規(guī)則檢查工具時，用戶只需要提供純數(shù)據(jù)（通常為二維數(shù)據(jù)表格，易于通過WPS、Excel電子表格、SQL Server、Access數(shù)據(jù)庫等辦公軟件編輯、導(dǎo)入導(dǎo)出，用戶可以高效書寫與維護），即可確保工具正確執(zhí)行。采用命令驅(qū)動，就是在使用標記規(guī)則檢查工具時，用戶必須書寫命令文件（通常為幾千上萬行的純文本，每行或幾行定義了一條規(guī)則檢查命令，包括命令名稱、參數(shù)、選項等信息），才能確保工具正確執(zhí)行。

采用數(shù)據(jù)驅(qū)動模式的標記規(guī)則檢查工具，其規(guī)則表達能力不變，對檢查內(nèi)容和輸出結(jié)果無任何影響，又能顯著提高用戶工作效率。尤其此模式可以作為業(yè)界通用標準，即使用戶購買多家工具，也無需維護多套不同寫法的命令文件，只維護生產(chǎn)工藝相關(guān)的技術(shù)參數(shù)數(shù)據(jù)庫即可，大大降低用戶工作中出錯概率，在提高用戶工作效率同時，確保裝置的正確執(zhí)行。

本發(fā)明的技術(shù)效果在于，更換了標記規(guī)則的表達方法：將傳統(tǒng)的命令文件表達法（稱為命令驅(qū)動），轉(zhuǎn)變?yōu)槎S數(shù)據(jù)表格式的純數(shù)據(jù)表達方法（稱為數(shù)據(jù)驅(qū)動）。采用數(shù)據(jù)驅(qū)動模式，其規(guī)則表達能力不變，對檢查內(nèi)容和輸出結(jié)果無任何影響，但用戶工作量由書寫幾千上萬行的純文本，變?yōu)閺募扔械募夹g(shù)參數(shù)數(shù)據(jù)庫導(dǎo)出數(shù)據(jù)，瞬間完成，顯著提高了工作效率。根據(jù)標記規(guī)則檢查的特點，二維數(shù)據(jù)表格包括兩類，一類定義約束條件，另一類定義檢查項目。每類表格可以有一到多個，根據(jù)用戶檢查需求定義。

本發(fā)明的其它特征和優(yōu)點將在隨后的說明書中闡述，并且，部分地從說明書中變得顯而易見，或者通過實施本發(fā)明而了解。

附圖說明

附圖用來提供對本發(fā)明的進一步理解，并且構(gòu)成說明書的一部分，并與本發(fā)明的實施例一起，用于解釋本發(fā)明，并不構(gòu)成對本發(fā)明的限制。在附圖中：

圖1為根據(jù)本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置架構(gòu)圖；

圖2為根據(jù)本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查方法工作流程圖；

圖3為根據(jù)本發(fā)明的標記規(guī)則檢查中布局檢查輸入版圖及規(guī)則示意圖；

圖4為根據(jù)本發(fā)明的標記規(guī)則檢查中布局檢查輸出報告示意圖；

圖5根據(jù)本發(fā)明的標記規(guī)則檢查中凈空區(qū)檢查范圍示意圖。

具體實施方式

以下結(jié)合附圖對本發(fā)明的優(yōu)選實施例進行說明，應(yīng)當(dāng)理解，此處所描述的優(yōu)選實施例僅用于說明和解釋本發(fā)明，并不用于限定本發(fā)明。

圖1為根據(jù)本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置架構(gòu)圖，如圖1所示，本發(fā)明的本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置，包括，約束條件表格生成模塊101、約束內(nèi)容生成模塊102、檢查項目表格生成模塊103、檢查內(nèi)容生成模塊104、命令文件生成模塊105、規(guī)則內(nèi)容生成模塊106、版圖內(nèi)容生成模塊107，以及標記規(guī)則檢查輸出模塊108，其中，

約束條件表格生成模塊101，其將接收的用戶積累的標記約束數(shù)據(jù)庫或電子表格轉(zhuǎn)換為二維數(shù)據(jù)表格式的約束條件表格，并發(fā)送給約束內(nèi)容生成模塊102。約束條件表格記錄了標記單元在平面X、Y方向的坐標范圍、行列個數(shù)、中心間距等約束條件，約束條件采用區(qū)間表示。

約束內(nèi)容生成模塊102，其將接收的約束條件表格轉(zhuǎn)換為默認檢查項目表格和約束內(nèi)容，并分別發(fā)送給檢查項目表格生成模塊103和命令文件生成模塊105。其中，約束內(nèi)容包括標記單元在平面X、Y方向的坐標范圍、行列個數(shù)、中心間距等。

檢查項目表格生成模塊103，其對默認檢查項目表格進行確認或修改后生成二維數(shù)據(jù)表格式的檢查項目表格發(fā)送給檢查內(nèi)容生成模塊104。檢查項目表格記錄了標記單元名、布局檢查方式、凈空區(qū)檢查方式、凈空區(qū)X方向?qū)挾群蛢艨諈^(qū)Y方向高度等項目。

檢查內(nèi)容生成模塊104，其根據(jù)檢查項目表格生成檢查內(nèi)容，并發(fā)送給命令文件生成模塊105。其中，檢查內(nèi)容包括標記單元名、布局檢查方式、凈空區(qū)檢查方式、凈空區(qū)X方向?qū)挾群蛢艨諈^(qū)Y方向高度。

命令文件生成模塊105，其根據(jù)接收的約束內(nèi)容和檢查內(nèi)容生成命令文件，并將該命令文件發(fā)送到規(guī)則內(nèi)容生成模塊106。

規(guī)則內(nèi)容生成模塊106，其根據(jù)命令文件生成規(guī)則內(nèi)容，并發(fā)送給標記規(guī)則檢查輸出模塊108。

版圖內(nèi)容生成模塊107，其將接收的版圖文件轉(zhuǎn)換為版圖內(nèi)容，并發(fā)送給標記規(guī)則檢查輸出模塊108。

標記規(guī)則檢查輸出模塊108，其根據(jù)規(guī)則內(nèi)容和版圖內(nèi)容，進行標記規(guī)則檢查（MRC），并輸出違反檢查規(guī)則的錯誤報告。

圖2為根據(jù)本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查方法工作流程圖，下面將參考圖2，對本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查方法進行詳細描述。

首先，在步驟201，建立約束條件表格。約束條件表格記錄了標記單元在平面X、Y方向的坐標范圍、行列個數(shù)、中心間距等約束條件，約束條件采用區(qū)間表示。一個典型的約束條件表格各列定義如下：

l 標記單元名（非空，不唯一，同一標記單元可在多行出現(xiàn)）；

l X坐標min（非空）；

l X坐標max（非空）；

l X個數(shù)min（為空表示區(qū)間無左邊界）；

l X個數(shù)max（為空表示區(qū)間無右邊界）；

l X間距min（為空表示區(qū)間無左邊界）；

l X間距max（為空表示區(qū)間無右邊界）；

l Y坐標min（非空）；

l Y坐標max（非空）；

l Y個數(shù)min（為空表示區(qū)間無左邊界）；

l Y個數(shù)max（為空表示區(qū)間無右邊界）；

l Y間距min（為空表示區(qū)間無左邊界）；

l Y間距max（為空表示區(qū)間無右邊界）。

上述同一約束的min、max均為空時表示不約束，例如“X個數(shù)min”與“X個數(shù)max”同時為空時，表示X方向列的個數(shù)無限制。綜合坐標范圍、行列個數(shù)、中心間距三個約束，這種定義方式的表義能力很強，既可以表示區(qū)間范圍內(nèi)可浮動的坐標，也可以表示固定坐標。例如，下面一條數(shù)據(jù)記錄：

Mark_1，7500，11500，3，3，2000，2000，12500，12500，空，空，空，空

這是約束條件表格的一行，指定標記單元Mark_1的實例X坐標>=7500且<=11500，指定X方向有3列且中心間距為2000，指定Y坐標為12500；事實上，此約束的Mark_1實例位置只有確定的（7500，12500）（9500，12500）（11500，12500）三個點，這就實現(xiàn)了固定坐標約束。同理，單點固定坐標或行列數(shù)都大于1的矩陣固定坐標，都可以用類似的方式實現(xiàn)。

約束條件表格的具體實施方式如下：

圖3為根據(jù)本發(fā)明的標記規(guī)則檢查中布局檢查輸入版圖及規(guī)則示意圖，如圖3所示，31至36顯示了標記單元Mark_1在版圖中的位置及規(guī)則。其中每個實心十字表示一個Mark_1實例的實際位置，虛線框表示布局約束（即應(yīng)該存在Mark_1實例的位置）。布局約束33，空白的虛線框是“漏布”的位置，需要報錯；虛線框外的實心十字12，是“多布”的位置，根據(jù)用戶需要也可能報錯。另外，包含若干實心十字的虛線框也可能也要報錯，如果Mark_1實例的坐標位置、行列個數(shù)、中心間距等屬性不能同時滿足這個虛線框的要求，這樣的虛線框同樣認為是約束未被滿足，屬于“漏布”。

約束條件表格示例（記錄了標記單元Mark_1、Mark_2、Mark_3在X、Y方向的坐標范圍、行列個數(shù)、中心間距等約束條件，約束條件采用區(qū)間表示）：

l 表頭：標記單元名，X坐標min，X坐標max，X個數(shù)min，X個數(shù)max，X間距min，X間距max，Y坐標min，Y坐標max，Y個數(shù)min，Y個數(shù)max，Y間距min，Y間距max；

l 數(shù)據(jù)1：Mark_1，5000，5000，空，空，空，空，10000，16000，3，3，2500，空；

l 數(shù)據(jù)2：Mark_1，9500，9500，空，空，空，空，15500，15500，空，空，空，空；

l 數(shù)據(jù)3：Mark_1，10500，10500，空，空，空，空，16500，16500，空，空，空，空；

l 數(shù)據(jù)4：Mark_1，12500，12500，空，空，空，空，16000，16000，空，空，空，空；

l 數(shù)據(jù)5：Mark_1，7500，11500，3，3，2000，2000，12500，12500，空，空，空，空；

l 數(shù)據(jù)6：Mark_1，8500，12500，3，3，2000，2000，6000，9000，2，2，空，空；

l 數(shù)據(jù)7：Mark_1，3000，15000，2，2，12000，12000，3000，18000，2，2，15000，15000；

l 數(shù)據(jù)8：Mark_2，8000，8000，空，空，空，空，12000，12000，空，空，空，空；

l 數(shù)據(jù)9：Mark_2，9000，9000，空，空，空，空，13000，13000，空，空，空，空；

l 數(shù)據(jù)10：Mark_3，5000，5000，空，空，空，空，10000，16000，3，3，3000，3000；

l 數(shù)據(jù)11：Mark_3，10000，10000，空，空，空，空，15000，15000，空，空，空，空；

l 數(shù)據(jù)12：Mark_3，11000，15000，3，3，2000，2000，6000，9000，2，2，空，空。

上述數(shù)據(jù)1表示圖3中的虛線框約束31，指定X坐標為5000，指定Y坐標>=10000且<=16000，指定Y方向有3行且中心間距>=2500；虛線框約束31中實心十字實際位置（5000，10000）（5000，13000）（5000，15000）不符合中心間距約束，虛線框條件未被滿足，虛線框?qū)儆凇奥┎肌保瑢嵭氖钟捎谖礉M足任何一條約束，實心十字屬于“多布”。

上述數(shù)據(jù)2、3、4表示虛線框約束33，分別為（9500，15500）（10500，16500）（12500，16000）三個固定點；其中數(shù)據(jù)3對應(yīng)的虛線框空白，十字實際位置缺少（10500，16500）這個點，虛線框條件未被滿足，屬于“漏布”。

上述數(shù)據(jù)5表示的虛線框約束34，指定X坐標>=7500且<=11500，指定X方向有3列且中心間距為2000，指定Y坐標為12500；事實上，能夠滿足虛線框約束34約束的Mark_1實例位置只有確定的（7500，12500）（9500，12500）（11500，12500）三個點；虛線框約束34中實心十字實際位置缺少（11500，12500）這個點，虛線框條件未被滿足，屬于“漏布”，實心十字由于未滿足任何一條約束，屬于“多布”。

上述數(shù)據(jù)6表示虛線框約束35，指定X坐標>=8500且<=12500，指定X方向有3列且中心間距為2000，指定Y坐標>=6000且<=9000，指定Y方向有2行且中心間距不限；該虛線框中實心十字滿足約束條件，虛線框與實心十字均不報錯。

上表數(shù)據(jù)7表示虛線框約束36，指定X坐標>=3000且<=15000，指定X方向有2列且中心間距為12000，指定Y坐標>=3000且<=18000，指定Y方向有2行且中心間距為15000；事實上，能夠滿足虛線框約束36約束的Mark_1實例位置只有確定的（3000，3000）（3000，18000）（15000，3000）（15000，18000）四個點；該虛線框中實心十字滿足約束條件，虛線框與實心十字均不報錯。

另外，兩個實心十字32未滿足任何一條約束，屬于“多布”。

在步驟202，建立檢查項目表格。

檢查項目表格引用約束條件表格，對符合約束及不符合約束的標記單元實例，分別定義布局檢查、凈空區(qū)檢查等檢查項目，指定各個項目的檢查方式及所需參數(shù)。一個典型的檢查項目表格各列定義如下：

l 標記單元名（非空，唯一）；

l 布局檢查方式（可以為檢查漏布多布、僅查漏布，為空表示不查）；

l 凈空區(qū)檢查方式（可以為僅查符合約束布局、檢查全部布局，為空表示不查）；

l 凈空區(qū)X方向?qū)挾龋ㄊ欠駷榭张c凈空區(qū)檢查方式一致）；

l 凈空區(qū)Y方向高度（是否為空與凈空區(qū)檢查方式一致）。

上述“布局檢查方式”一列中，所謂“漏布”是指針對“約束條件表格”中的某一行約束條件，在標記單元實例的實際布局中，沒有任何一個或幾個能夠滿足其約束條件，那么這一行約束條件被“漏布”，需要報錯。所謂“多布”，是指標記單元實例的實際布局中，某個實例不滿足“約束條件表格”中任何一行約束條件，那么這個實例被“多布”，根據(jù)用戶需要也可能報錯?！奥┎肌眻箦e內(nèi)容是某行約束條件，“多布”報錯內(nèi)容是某個單元實例。

上述“凈空區(qū)檢查方式”一列中，根據(jù)用戶需求，或者檢查全部標記單元實例周邊的凈空區(qū)，或者只檢查符合“約束條件表格”中約束條件的標記單元實例周邊的凈空區(qū)。凈空區(qū)以標記單元實例中心為中心，所以無需定義基準點坐標，只需要定義X方向?qū)挾扰cY方向高度。

檢查項目表格的具體實施方式如下：

檢查項目表格示例（記錄了標記單元Mark_1、Mark_2、Mark_3的檢查項目及參數(shù)）：

l 表頭：標記單元名，布局檢查方式，凈空區(qū)檢查方式，凈空區(qū)X方向?qū)挾龋瑑艨諈^(qū)Y方向高度；

l 數(shù)據(jù)1：Mark_1，檢查漏布多布，僅查符合約束布局，2000，1500；

l 數(shù)據(jù)2：Mark_2，空，檢查全部布局，3000，4000；

l 數(shù)據(jù)3：Mark_3，僅查漏布，空，空，空。

上述數(shù)據(jù)1表示要對標記單元Mark_1做布局檢查，且同時輸出“漏布”和“多布”的結(jié)果，都認為是錯誤；還要對Mark_1做凈空區(qū)檢查，僅查符合約束的布局位置的凈空區(qū)，也就是說“多布”的位置的凈空區(qū)不查，凈空區(qū)以Mark_1實例中心為中心，尺寸為2000×1500。

上述數(shù)據(jù)2表示對Mark_2僅做凈空區(qū)檢查，檢查全部Mark_2實例位置的凈空區(qū)，不論該實例是否滿足約束條件，凈空區(qū)以Mark_2實例中心為中心，尺寸為3000×4000。

上述數(shù)據(jù)1表示要對標記單元Mark_3僅做布局檢查，且僅輸出“漏布”的結(jié)果，“多布”不認為是錯誤。

此處注意，同一個標記單元名（例如Mark_1），在約束條件表格可以出現(xiàn)多次，因為可能存在多個約束條件，而在檢查項目表格中只能出現(xiàn)一次，因為對標記單元只進行唯一確定的檢查項目。在實際應(yīng)用中，約束條件表格幾千上萬行，基于此定義檢查項目，幫助用戶生成默認的檢查項目表格，即將約束條件表格中的標記單元名唯一列出，并填充默認的檢查項目（例如對每個標記單元都填充上表的“檢查漏布多布”、“僅查符合約束布局”等），用戶在默認的檢查項目表格上稍加修改，即可得到所需的檢查項目表格。

在步驟203，結(jié)合約束條件表格與檢查項目表格，進行布局檢查。

圖4為根據(jù)本發(fā)明的標記規(guī)則檢查中布局檢查輸出報告示意圖，如圖4所示，結(jié)合約束條件與檢查項目兩個表格，布局檢查的內(nèi)容被精確確定，以標記單元Mark_1為例，其布局檢查結(jié)果（即錯誤報告），其中虛線框為“漏布”結(jié)果，空心十字為“多布”結(jié)果。其中虛線框41的結(jié)果來自于虛線框31的約束，虛線框43的結(jié)果來自于虛線框33的約束，虛線框44的結(jié)果來自于虛線框34的約束，空心十字42的結(jié)果純屬“多布”，不符合任何約束。

布局檢查漏布結(jié)果示例如下（記錄了標記單元Mark_1的約束條件在X、Y方向的坐標范圍，采用區(qū)間表示）：

l 表頭：標記單元名，X坐標min，X坐標max，Y坐標min，Y坐標max

l 數(shù)據(jù)1：Mark_1，5000，5000，10000，16000；

l 數(shù)據(jù)2：Mark_1，10500，10500，16500，16500；

l 數(shù)據(jù)3：Mark_1，7500，11500，12500，12500。

布局檢查多布結(jié)果示例如下（記錄了標記單元Mark_1實例的實際位置在X、Y方向的坐標范圍，采用區(qū)間表示）：

l 表頭：標記單元名，X坐標min，X坐標max，Y坐標min，Y坐標max；

l 數(shù)據(jù)1：Mark_1，5000，5000，10000，10000；

l 數(shù)據(jù)2：Mark_1，5000，5000，13000，13000；

l 數(shù)據(jù)3：Mark_1，5000，5000，15000，15000；

l 數(shù)據(jù)4：Mark_1，5000，5000，5000，5000；

l 數(shù)據(jù)5：Mark_1，6000，6000，6500，6500；

l 數(shù)據(jù)6：Mark_1，7500，7500，12500，12500；

l 數(shù)據(jù)7：Mark_1，9500，9500，12500，12500。

事實上，標記單元實例的實際位置都是固定點坐標，上表采用區(qū)間表示，為了與“布局檢查漏布結(jié)果”格式一致，方便合并輸出結(jié)果到一個表格中。

至此，布局檢查的輸入輸出都可以很清晰地表達出來，用戶只需提供二維數(shù)據(jù)表格，即可得出檢查結(jié)果。

在步驟204，結(jié)合約束條件表格與檢查項目表格，進行凈空區(qū)檢查。

凈空區(qū)的檢查，與上文的布局檢查類似，當(dāng)用戶提供了約束條件與檢查項目兩個表格后，凈空區(qū)檢查內(nèi)容也被精確確定。

圖5根據(jù)本發(fā)明的標記規(guī)則檢查中凈空區(qū)檢查范圍示意圖，如圖5所示，顯示了標記單元Mark_1的凈空區(qū)檢查范圍。以虛線框51為代表的空心十字屬于不符合條件的Mark_1實例布局，周邊虛線范圍為每個實例的凈空區(qū)；以虛線框52為代表的實心十字屬于符合條件的Mark_1實例布局，周邊虛線范圍為每個實例的凈空區(qū)。根據(jù)上文的檢查項目表格，對Mark_1僅查符合約束的布局位置的凈空區(qū)，“多布”位置的凈空區(qū)不查，凈空區(qū)以Mark_1實例中心為中心，尺寸為2000×1500。那么，要求每個實心十字周邊的虛線范圍內(nèi)為空，除了Mark_1實例本身，不允許出現(xiàn)任何圖形。一旦出現(xiàn)其他圖形，該虛線范圍報錯。

在步驟205，輸出上述布局檢查和凈空區(qū)檢查違反檢查規(guī)則的錯誤報告。

本發(fā)明的數(shù)據(jù)驅(qū)動的平板顯示版圖標記規(guī)則檢查裝置及方法，“檢查項目表格”引用“約束條件表格”，兩類表格共同作用，能夠形成與命令文件同等含義的標記規(guī)則檢查定義，從而保證了兩種表達方式下的檢查內(nèi)容和輸出結(jié)果完全相同。

在數(shù)據(jù)驅(qū)動模式下，用戶不需要手工書寫命令文件，只需從技術(shù)參數(shù)數(shù)據(jù)庫導(dǎo)出約束表格，由加載后生成檢查表格，再加載檢查表格，命令文件即可自動生成。其中檢查表格生成后，用戶還可以用二維表編輯工具（例如WPS、Excel）稍作修改。

本發(fā)明中，重新定義標記規(guī)則的表達方法，用戶輸入檢查規(guī)則時，避免書寫命令文件，只需提供純數(shù)據(jù)，檢查規(guī)則隱含定義在數(shù)據(jù)格式中，提高用戶工作效率。其中“純數(shù)據(jù)”是指二維數(shù)據(jù)表格，可以導(dǎo)出自任何關(guān)系型數(shù)據(jù)庫或電子表格，易于用戶書寫與維護，根據(jù)標記規(guī)則檢查的特點，二維數(shù)據(jù)表格包括兩類，一類定義約束條件，另一類定義檢查項目，約束條件表格定義了標記單元實例在平面X、Y方向的坐標范圍、行列個數(shù)、中心間距等約束條件，檢查項目表格引用約束條件表格，對符合約束及不符合約束的標記單元實例，分別定義布局檢查、凈空區(qū)檢查等檢查項目，指定各個項目的檢查方式及所需參數(shù)。每類表格可以有一到多個，根據(jù)用戶檢查需求定義。

“檢查項目表格”引用“約束條件表格”，兩類表格共同作用，能夠形成與命令文件同等含義的標記規(guī)則檢查定義，從而保證兩種表達方式下的檢查內(nèi)容和輸出結(jié)果完全相同，在提高用戶工作效率同時，確保工具正確執(zhí)行。

本領(lǐng)域普通技術(shù)人員可以理解：以上所述僅為本發(fā)明的優(yōu)選實施例而已，并不用于限制本發(fā)明，盡管參照前述實施例對本發(fā)明進行了詳細的說明，對于本領(lǐng)域的技術(shù)人員來說，其依然可以對前述各實施例記載的技術(shù)方案進行修改，或者對其中部分技術(shù)特征進行等同替換。凡在本發(fā)明的精神和原則之內(nèi)，所作的任何修改、等同替換、改進等，均應(yīng)包含在本發(fā)明的保護范圍之內(nèi)。