專(zhuān)利名稱(chēng)：版圖驗(yàn)證中不等于檢查規(guī)則的自動(dòng)生成方法
技術(shù)領(lǐng)域：
版圖驗(yàn)證中的不等于檢查是IC CAD工具中版圖驗(yàn)證中設(shè)計(jì)規(guī)則檢查(DRC)中的 一種特殊操作。本發(fā)明屬于IC CAD工具中版圖驗(yàn)證領(lǐng)域。
背景技術(shù)：
集成電路(IC)設(shè)計(jì)的后期包括版圖設(shè)計(jì)和版圖驗(yàn)證，而這兩項(xiàng)功能是EDA工具中 的重要環(huán)節(jié)；版圖驗(yàn)證是根據(jù)版圖設(shè)計(jì)規(guī)則、電學(xué)規(guī)則和原始輸入的邏輯關(guān)系對(duì)版圖設(shè)計(jì) 進(jìn)行正確性的驗(yàn)證并且可以通過(guò)對(duì)電路和參數(shù)的提取，產(chǎn)生電路模擬的輸入文件進(jìn)行后模 擬，以進(jìn)一步檢查電學(xué)性能。版圖驗(yàn)證規(guī)則中，最常見(jiàn)的檢查規(guī)則是小于檢查，即一旦圖形的距離小于某個(gè)固 定值，有可能導(dǎo)致加工失效的檢查，這類(lèi)規(guī)則稱(chēng)為版圖驗(yàn)證中必須的檢查。還有一類(lèi)檢查是 優(yōu)化版圖的檢查，要保證版圖中的圖形距離既不能太小，也不能太大，如果太小了違反加工 的規(guī)則，如果太大了又會(huì)導(dǎo)致版圖面積過(guò)大，增加了芯片的加工成本。目前，這類(lèi)優(yōu)化檢查 最具有代表性的一類(lèi)規(guī)則就是不等于檢查，即檢查某個(gè)圖形的距離是否不等于某個(gè)固定的 數(shù)值，如果不等于，則報(bào)告錯(cuò)誤，要求用戶(hù)修改。按照一般的版圖驗(yàn)證規(guī)則文件，為了實(shí)現(xiàn)寬度不等于的檢查，很容易想到采用如 下的語(yǔ)法來(lái)實(shí)現(xiàn)Internal AA ！=距離值 //其中 AA 代表有源區(qū) ACTIVE AREA但是很遺憾，上述寫(xiě)法在所有的版圖驗(yàn)證工具中都被定義為非法語(yǔ)句，主要的原 因在于，版圖驗(yàn)證的算法都采用在某個(gè)距離范圍內(nèi)所有的圖形兩兩相互比較的策略，如果 出現(xiàn)了！=的符號(hào)，就需要在整個(gè)版圖中對(duì)所有的圖形進(jìn)行兩兩比較，這個(gè)比較算法是 0(n2)的操作，其中η是版圖中所有圖形的個(gè)數(shù)，這個(gè)算法會(huì)導(dǎo)致版圖驗(yàn)證算法效率急劇降 低，用戶(hù)幾乎不能接受。因此，在版圖驗(yàn)證工具的規(guī)則文件中不允許出現(xiàn)！=的符號(hào)。為了解決用戶(hù)在實(shí)際應(yīng)用中用到不等于檢查的需求，本發(fā)明提出了一種解決不等 于檢查的高效方法，它允許用戶(hù)在規(guī)則文件中出現(xiàn)！=的符號(hào)，然后在程序?qū)崿F(xiàn)過(guò)程中自 動(dòng)將！=符號(hào)轉(zhuǎn)化為另外的高效計(jì)算命令來(lái)實(shí)現(xiàn)，有效滿(mǎn)足了用戶(hù)的需求。

發(fā)明內(nèi)容
本發(fā)明針對(duì)版圖驗(yàn)證中的不等于檢查規(guī)則，提出了一套自動(dòng)生成其它規(guī)則的解決 方法，分為四種情況，具體思路如下1.寬度不等于檢查規(guī)則的自動(dòng)生成寬度不等于檢查可以分解為兩種情況，一種是寬度比要求的數(shù)值小的圖形，一種 是寬度比要求的數(shù)值大的圖形，通過(guò)下述兩條命令的組合可以實(shí)現(xiàn)不等于檢查。假設(shè)圖形 層為NWELL，其檢查的寬度不等于值為wid。1) Internal NWELL < wid(見(jiàn)圖 1)2) Size NWELL by wid/ (-2. 0)(見(jiàn)圖 2)
上述命令中，Internal是一個(gè)命令操作的關(guān)鍵字，其含義是檢查一個(gè)圖形的寬度 距離，在1)中，就是檢查NWELL層中寬度小于wid圖形作為錯(cuò)誤結(jié)果層。Size是一個(gè)命令 操作的關(guān)鍵字，其含義是把圖形按照一個(gè)固定的數(shù)值向外或向內(nèi)縮放，縮放是按照?qǐng)D形上 下左右進(jìn)行內(nèi)縮或外擴(kuò)一個(gè)固定數(shù)值，正數(shù)代表向外擴(kuò)大，負(fù)數(shù)代表向內(nèi)縮小，在2)，即是 把所有寬度或長(zhǎng)度小于wid的圖形縮掉。2.間距不等于檢查規(guī)則的自動(dòng)生成要檢查兩層圖形的間距是否不等于某個(gè)固定值，可以采取將第一層圖形向外延伸 這個(gè)固定值，然后檢查延伸后的圖形是否剛好和第二層圖形剛好接觸。具體的方式是假設(shè)第一層為NN(Native Device)，第二層為NWELL，其檢查的間距不等于值為 wid.1)NN1 = Expand Edge NN Outside wid2)NWELL Not Touch Edge NNl其中第一條命令中Expand Edge是圖形延伸操作的關(guān)鍵字，其含義是把圖形的每 條邊向某個(gè)方向向外或向內(nèi)延伸固定的距離，Outside是第二關(guān)鍵字，表示延伸的方向是向 外。第二條命令中的Not With Edge是圖形關(guān)系檢查的關(guān)鍵字，其含義是如果兩層圖 形的邊沒(méi)有剛好挨在一起，則結(jié)果為空。該命令的具體解釋可以參見(jiàn)圖3。3.延伸長(zhǎng)度不等于檢查規(guī)則的自動(dòng)生成要檢查一層圖形伸出另外一層圖形的延伸長(zhǎng)度是否不等于某個(gè)固定值，可以采取 把一層圖形向外延伸一定距離，然后檢查延伸后的圖形是否剛好和另外一層圖形接觸的策 略。具體的方式是假設(shè)第一層為AA (ACTIVE AREA)，第二層為SMN+Implantation)，其檢查的延伸長(zhǎng) 度不等于值為wid.DAAl =AA Inside Edge SN2)AA2 = Expand EdgeAAl outside wid3) SN Not Touch Edge AA2其中第一條命令中Inside Edge是查找圖形關(guān)系的關(guān)鍵字，其含義首先找出圖形 層1中位于圖形層2內(nèi)部的所有邊，第二條命令Expand Edge是把這些邊向外延伸一定距 離，第三條命令Not Touch Edge是比較延伸后AA2中的邊是否與SN的邊重疊在一起。該命令的具體解釋可以參看圖4。4.包圍距離不等于檢查規(guī)則的自動(dòng)生成要檢查一層圖形包圍另外一層圖形的距離是否不等于某個(gè)固定值，可以采取把一 層圖形向外擴(kuò)展一定距離，然后檢查延伸后的圖形是否剛好和另外一層圖形完全重合。具 體的方式是假設(shè)第一層為NR(NWell Resister)，第二層為 SN(N+Implantation)，其檢查的包 圍長(zhǎng)度不等于值為wid.DNRl = Size NR by wid2)AAl = AA Not Outside NR
3) NRl Xor AAl其中第一條命令首先把圖形層1向外擴(kuò)展一定距離，第二條命令把位于第一層圖 形里面的第二層圖形挑選出來(lái)，第三條命令檢查第一條命令的結(jié)果是否與第二條命令的
結(jié)果完全重合。該命令的具體解釋可參看圖5。


圖1寬度不等于檢查規(guī)則的小于規(guī)則圖示，寬度不等于4. 0檢查中小于命令的圖 示圖2寬度不等于檢查規(guī)則的大于規(guī)則圖示，寬度不等于4. 0檢查中大于命令的圖 示圖3間距不等于檢查規(guī)則圖示，間距不等于1. 0檢查規(guī)則的圖示圖4延伸長(zhǎng)度不等于檢查規(guī)則圖示，擴(kuò)展長(zhǎng)度不等于1. 0檢查規(guī)則的圖示圖5包圍距離不等于檢查規(guī)則圖示，包圍長(zhǎng)度不等于1. 0檢查規(guī)則的圖示具體實(shí)施步驟第一步在命令文件中增加！=的語(yǔ)法，允許用戶(hù)在命令文件中輸入不等于檢查 的規(guī)則。第二步判斷用戶(hù)命令文件中出現(xiàn)的不等于檢查屬于4類(lèi)檢查中的哪一種。第三步根據(jù)4類(lèi)不同檢查的定義，將不等于檢查轉(zhuǎn)化為通常的一組命令。第四步執(zhí)行轉(zhuǎn)化后的命令文件，完成全部檢查。
權(quán)利要求
1.版圖驗(yàn)證工具中不等于檢查規(guī)則的自動(dòng)生成方法，它的基本含義是在一般的版圖驗(yàn) 證規(guī)則文件中，禁止直接書(shū)寫(xiě)不等于的檢查規(guī)則；為了滿(mǎn)足用戶(hù)的不等于檢查需求，提出了 一種自動(dòng)生成該規(guī)則的方法。 具體步驟如下(1)針對(duì)版圖驗(yàn)證的中的寬度檢查不等于需求，采用如下兩條組合規(guī)則來(lái)實(shí)現(xiàn)1)Internal NWELL < wid//wid 為檢查的寬度值2)SizeNWELL by wid/(-2. 0)(2)針對(duì)版圖驗(yàn)證中的間距不等于檢查，采用如下兩條組合規(guī)則來(lái)實(shí)現(xiàn) NNl = Expand Edge NN Outside wid //wid 為檢查的間距值NWELL Not Touch Edge NNl(3)針對(duì)版圖驗(yàn)證中的擴(kuò)展長(zhǎng)度不等于檢查，采用如下三條組合規(guī)則來(lái)實(shí)現(xiàn) AAl = AAInside Edge SNAA2 = Expand EdgeAAloutside wid//wid 為檢查的擴(kuò)展長(zhǎng)度值 SN Not Touch Edge AA2(4)針對(duì)版圖驗(yàn)證中的包圍距離不等于檢查，采用如下三條組合規(guī)則來(lái)實(shí)現(xiàn) NRl = Size NR by wid //wid為檢查的包圍距離值A(chǔ)Al = AA Not Outside NR NRl Xor AAl說(shuō)明上述提到的層名為縮寫(xiě)，其對(duì)應(yīng)定義如下NWELL 為 N-Well,NN 為 Native Device,AA 為 ACTIVE AREA,SN 為 N+Implantation,NR 為 NWell Resister0
全文摘要
版圖驗(yàn)證中的不等于檢查是IC CAD工具中版圖驗(yàn)證中設(shè)計(jì)規(guī)則檢查中的一種特殊操作。本發(fā)明屬于IC CAD工具中版圖驗(yàn)證領(lǐng)域。版圖驗(yàn)證規(guī)則中，有一類(lèi)檢查規(guī)則稱(chēng)為不等于檢查，即檢查某個(gè)圖形的距離是否不等于某個(gè)固定的數(shù)值，如果不等于，則報(bào)告錯(cuò)誤。為實(shí)現(xiàn)寬度不等于的檢查，可采用如下的語(yǔ)法Internal AA?。骄嚯x值但是上述寫(xiě)法在所有的版圖驗(yàn)證工具中都被定義為非法語(yǔ)句，因?yàn)檫@個(gè)寫(xiě)法會(huì)導(dǎo)致版圖驗(yàn)證算法效率急劇降低，用戶(hù)不能接受。本發(fā)明提出了一種解決不等于檢查的高效方法，它允許用戶(hù)在規(guī)則文件中出現(xiàn)?。降姆?hào)，然后在程序?qū)崿F(xiàn)過(guò)程中自動(dòng)將?。椒?hào)轉(zhuǎn)化為另外的高效計(jì)算命令來(lái)實(shí)現(xiàn)，滿(mǎn)足了用戶(hù)的需求。
文檔編號(hào)G06F17/50GK102004806SQ20091007031
公開(kāi)日2011年4月6日 申請(qǐng)日期2009年9月1日 優(yōu)先權(quán)日2009年9月1日
發(fā)明者侯勁松 申請(qǐng)人:天津藍(lán)海微科技有限公司