)。下面以條件〈NOT, 2>為例，描述步驟3) -5)實施過程。
[0013]3)建立拓?fù)浣Y(jié)構(gòu)子圖集合:以條件〈NOT, 2>中的命令為關(guān)鍵字查找對應(yīng)的圖層列表0UT2, 0UT3，0UT4，0UT5，0UT6};遍歷圖層列表兒對每一個圖層，按照條件中的圖層深度2在拓?fù)浣Y(jié)構(gòu)有向圖G中提取出以該圖層為起始節(jié)點圖層的拓?fù)浣Y(jié)構(gòu)子圖集合 Τ{Τ1, Τ2，Τ3，Τ4，Τ5，Τ6} (T1:<0UT1, Xl>, T2:<0UT2, X2>, T3:<0UT3，X3>, T4:<0UT4, X4>,T5: <0UT5, X5>, T6: <0UT6, Χ6? (圖 3 為拓?fù)浣Y(jié)構(gòu)子圖 Tl)。
[0014]4)對所有的拓?fù)浣Y(jié)構(gòu)子圖進(jìn)行哈希和歸類:對集合Γ中的所有子圖，從子圖的起始節(jié)點圖層開始mn JOUTl開始)，遍歷子圖Vm序為0UT1->X1->LA1->LB1->L0')，':&步哈希每一個節(jié)點中圖層的生成命令，同一種命令的哈希值相同；對所有子圖哈希完成后，按哈希值對子圖進(jìn)行歸類，得到兩個拓?fù)浣Y(jié)構(gòu)子圖集合'Τ'1{Τ1，T2, T3, TW和T'2{T5，Τ6}。
[0015]5)對子圖集合廠2和廠中的各子圖做同構(gòu)比較:對廠7，定義節(jié)點數(shù)組V<V1, V2, V3, 1?),初始值<^/77, OUT2, 0UT3，0UT4>,以子圖Tl為參照，節(jié)點數(shù)組K做多節(jié)點同步遍歷操作(順序為〈OUT1，OUT2，0UT3，0UT4>~XX1, X2, X3, X4>~XLA1, LA2, LA3, LA4>-><LB1, LB2，LB3，LB4>~XL0, LO,)，逐步對廠7做等價類拆分，由于只有{XI，X2}與{X3, X4J中的命令內(nèi)容不同(一為OPT1N1，另一為OPT1N2\所以第二步的等價類拆分集合{Tl，T2, T3, T4}最拆分成{Tl，T2J和{T3，T4}，并保持到最后；對T'2,處理步驟與T'I相同，最后得到的等價類集合為{T5，T6J ;最終得到同構(gòu)子圖集合W2/77, T2j,ST2{T3, T4}和 ST3 {T5，T6}。
[0016]6)生成宏結(jié)構(gòu)，進(jìn)行內(nèi)容替換:處理完條件表C后，最終的同構(gòu)子圖集合為^/7，ST2和ST3,根據(jù)各集合中的內(nèi)容，生成對應(yīng)宏結(jié)構(gòu)，并根據(jù)其可替換的拓?fù)浣Y(jié)構(gòu)子圖，優(yōu)化設(shè)計規(guī)則文件。
[0017]最后，設(shè)計規(guī)則文件內(nèi)容轉(zhuǎn)換如下:
MACRO AutoMACROl LAl LBl LO
{ Xl = AND LAl LBl [OPTI ON I]
NOT Xl LO }
MACRO AutoMACR02 LA3 LB3 LO/ X? 二 AND LA3 LB3 [OPT1N2]
NOT X3 LO }
MACRO AutoMACR03 LA5 LB5 LO{ X5 = OR LA5 LB5NOT X5 LO }
OUTl 二 MACRO AutoMACROl LAl LBl LOOUT2 二 MACRO AutoMACROl LA2 LB2 LO0UT3 二 MACRO AutoMACR02 LA3 LB3 LO0UT4 = MACRO AutoMACR02 LA4 LB4 LO0UT5 二 MACRO AutoMACR03 LA5 LB5 LO0UT6 二 MACRO AutoMACR03 LA6 LB6 LO。
【主權(quán)項】
1.本發(fā)明提供一種集成電路設(shè)計規(guī)則文件的優(yōu)化方法，其特征在于:首先分析設(shè)計規(guī)則文件內(nèi)容中圖層之間的關(guān)系，得到所有圖層組成的拓?fù)浣Y(jié)構(gòu)有向圖，然后查找所有同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖，再對每組同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖生成宏結(jié)構(gòu)并用宏結(jié)構(gòu)替換原有設(shè)計規(guī)則的相應(yīng)內(nèi)容。
2.根據(jù)權(quán)利要求1所述的分析設(shè)計規(guī)則文件內(nèi)容中圖層之間的關(guān)系，得到所有圖層組成的拓?fù)浣Y(jié)構(gòu)有向圖，其特征在于:解析設(shè)計規(guī)則文件，按照各圖層之間的依賴關(guān)系生成所有圖層組成的拓?fù)浣Y(jié)構(gòu)有向圖仏并建立命令到其所有輸出圖層的索引；遍歷拓?fù)浣Y(jié)構(gòu)有向圖^中所有圖層的生成命令，按使用頻率從高到低排序，圖層深度的范圍從拓?fù)浣Y(jié)構(gòu)有向圖G的最大圖層深度值到2，然后命令與圖層深度兩兩組合，生成條件表CVt/, C2…}(其中每個條件C包括命令和圖層深度)；遍歷條件表G根據(jù)每一個條件C查找同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖。
3.根據(jù)權(quán)利要求1所述的在整個規(guī)則內(nèi)容的拓?fù)浣Y(jié)構(gòu)有向圖中，查找所有同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖，其特征在于: 第一步，根據(jù)條件G中的命令，從索引中找到拓?fù)浣Y(jié)構(gòu)有向圖^中該命令的所有輸出圖層集合J ;遍歷集合兒以當(dāng)前圖層為起始節(jié)點，按照條件G中的圖層深度在拓?fù)浣Y(jié)構(gòu)有向圖^中提取出拓?fù)浣Y(jié)構(gòu)子圖Tn ;最后由圖層集合J生成一個拓?fù)浣Y(jié)構(gòu)子圖集合Τ{Τ1, Τ2 …}； 第二步，對拓?fù)浣Y(jié)構(gòu)子圖集合r中的所有子圖Tn進(jìn)行哈希和歸類，得到多個拓?fù)浣Y(jié)構(gòu)子圖集合廠厶T'n2…} (n=a，b… 第三步，遍歷所有的拓?fù)浣Y(jié)構(gòu)子圖集合廠/7…入對子圖集合廠中的所有子圖進(jìn)行同構(gòu)比較，并最終得到同構(gòu)子圖集合Sr作他厶STn2…)(n=a, b...)。
4.根據(jù)權(quán)利要求1所述的對每組同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖生成宏結(jié)構(gòu)并用宏結(jié)構(gòu)替換原有設(shè)計規(guī)則的相應(yīng)內(nèi)容，其特征在于:遍歷所有的同構(gòu)子圖集合STn2 -)(n=a, b…)，對每一個同構(gòu)子圖集合STn，生成宏結(jié)構(gòu)，并進(jìn)行內(nèi)容替換。
5.根據(jù)權(quán)利要求3所述的對拓?fù)浣Y(jié)構(gòu)子圖集合Γ中的所有子圖7?進(jìn)行哈希和歸類，得至Ij多個拓?fù)浣Y(jié)構(gòu)子圖集合廠/?/T'/?7, T'n2…7 …,其特征在于: 第一步，哈希方法:從拓?fù)浣Y(jié)構(gòu)子圖Tn的起始節(jié)點圖層開始,遍歷子圖，哈希每一個節(jié)點中圖層的生成命令，并將哈希值做移位相加； 第二步，歸類:將拓?fù)浣Y(jié)構(gòu)子圖集合Γ按哈希值分解成多個拓?fù)浣Y(jié)構(gòu)子圖集合T'n{T'nl, Τ'η2…7 (?=? 6…)，其中哈希值相同的子圖放入同一個集合,哈希值不同的子圖不放入同一個集合。
6.根據(jù)權(quán)利要求3所述的遍歷所有的拓?fù)浣Y(jié)構(gòu)子圖集合廠/7…人對子圖集合廠中的所有子圖進(jìn)行同構(gòu)比較，并最終得到同構(gòu)子圖集合STn2...)(n=a，b...)，其特征在于:多節(jié)點同步遍歷子圖集合T 'n,并在遍歷中每一步對子圖集合T 'n做一次等價類拆分； 6.1多節(jié)點同步遍歷:定義一節(jié)點數(shù)組K/? (Vn的節(jié)點數(shù)目等于集合廠/?中的子圖數(shù)量)，分別存儲T'η中對應(yīng)子圖的起始節(jié)點；取廠/?中某一子圖T'nl為參照，Vn中對應(yīng)節(jié)點Vnl遍歷子圖T'nl,同時其它節(jié)點Vni做同步遍歷操作，存儲對應(yīng)子圖T'ni的對應(yīng)節(jié)點；針對遍歷中Vn的每一組節(jié)點,做等價類拆分步驟； 6.2等價類拆分:處理節(jié)點數(shù)組吻，按各節(jié)點內(nèi)圖層的生成命令內(nèi)容是否相同將子圖集合廠/7拆分成多個子圖集合，其中集合內(nèi)的子圖所對應(yīng)節(jié)點命令內(nèi)容相同，集合間的子圖所對應(yīng)節(jié)點命令內(nèi)容不相同，這樣，最終集合T'η將被拆分成同構(gòu)子圖集合^他。
【專利摘要】本發(fā)明公開了一種集成電路設(shè)計規(guī)則文件的優(yōu)化方法，屬于半導(dǎo)體集成電路設(shè)計自動化領(lǐng)域，主要用于優(yōu)化集成電路設(shè)計中驗證模塊的規(guī)則文件。本發(fā)明針對集成電路版圖設(shè)計規(guī)則文件開發(fā)中，宏的使用不充分、過于依賴開發(fā)人員經(jīng)驗的弊端，提供了一種自動分析和生成宏的方法。它首先解析設(shè)計規(guī)則文件，按照各圖層之間的依賴關(guān)系生成所有圖層組成的拓?fù)浣Y(jié)構(gòu)有向圖，然后查找所有同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖，再對每組同構(gòu)的拓?fù)浣Y(jié)構(gòu)子圖生成宏結(jié)構(gòu)并用宏結(jié)構(gòu)替換原有設(shè)計規(guī)則的相應(yīng)內(nèi)容，從而能夠幫助設(shè)計規(guī)則開發(fā)人員優(yōu)化規(guī)則內(nèi)容，理清規(guī)則邏輯，并使開發(fā)效率顯著提高，后期的維護(hù)和修改更加方便。
【IPC分類】G06F17-50
【公開號】CN104715098
【申請?zhí)枴緾N201310691715
【發(fā)明人】戴文華, 李楨榮, 張晉民, 陳光前, 王小波, 白麗雙
【申請人】北京華大九天軟件有限公司
【公開日】2015年6月17日
【申請日】2013年12月17日