[發明專利]一種集成電路版圖驗證中矩形包含規則的驗證方法

有效

• 申請號: 201110202790.8
• 申請日: 2011-07-20
• 公開（公告）號: CN102890730A
• 公開（公告）日: 2013-01-23
• 發明（設計）人: 丁豐慶;于士濤;宋德強
• 申請（專利權）人: 北京華大九天軟件有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 暫無信息
• 代理人: 暫無信息

技術領域

本發明是一種用于集成電路版圖驗證工具中矩形包含規則的驗證方法，所屬的技術領域是集成電路計算機輔助設計領域，尤其是涉及集成電路版圖的設計規則檢查(DRC)和版圖與原理圖的一致性檢查(LVS)領域。

背景技術

在過去的30年里，集成電路技術得到了巨大的發展。芯片的特征尺寸越來越小，單個芯片的集成度也越來越高。隨著芯片規模的擴大，在集成電路設計的各個階段所需驗證的設計規則也在不斷增多。其中集成電路版圖的設計規則檢查(DRC)以及集成電路版圖與原理圖的一致性檢查(LVS)變得越來越重要，它們對于消除錯誤、降低設計成本和減少設計失敗的風險具有重要作用。在超大規模集成電路的設計中，版圖規模急劇膨脹，后端版圖物理驗證成為集成電路設計的一項瓶頸。

1.掃描線在集成電路版圖驗證中的應用

掃描線方法最初是為解決線段相交問題而提出的。由于其快速、有效的優點而在圖形運算中得到廣泛應用，是目前已知的最有效的版圖運算方法。其基本思想為：

(1)掃描線停頓點為線段的左、右端點及線段間的交點。

(2)垂直掃描線從左向右運動，在每一個停頓點處停留。起始于當前掃描線的所有線段進入當前工作表，終止于當前掃描線的所有線段從工作表中刪去，跨越當前掃描線的線段仍然保留。

(3)在當前掃描線狀態下，工作對象都在當前工作表中。

DRC不同于線段求交和圖形的邏輯、拓撲運算，其任務是幾何圖形的尺寸檢查。掃描線方法對于圖形檢查具有獨特的優勢，當圖形中沒有斜邊時，掃描線方法可以大大簡化，效率也有較大提升。在本發明中對于有斜邊和無斜邊的圖形，采用了不同的掃描線方法，大幅提升了矩形包含規則的驗證效率。

2.集成電路版圖DRC驗證中的矩形包含規則簡介

在集成電路版圖的DRC驗證中，矩形包含規則是指對于版圖中某個圖層的圖形，驗證其是否可以包含給定長寬的矩形，其中矩形包含的方式限定為水平包含、斜45度包含或者斜135度包含三種，也可以指定矩形只能以水平方式包含。

針對甚大規模集成電路版圖驗證中的矩形包含規則驗證，目前還沒有一個快速有效的方法，當集成電路版圖規模很大時，面臨驗證時間過長，甚至導致版圖驗證最終不可解的問題。

發明內容

本發明針對集成電路版圖驗證中矩形包含規則驗證所面臨的問題，提出了“邊對區間”的概念，首先將圖形切分為多個邊對區間，利用邊對區間限定矩形包含的位置范圍；然后利用邊對區間的位置關系，不斷地更新和調整已有邊對區間矩形包含的位置范圍，如果找到一個邊對區間滿足矩形包含規則，則該圖形滿足矩形包含規則。在集成電路版圖驗證中利用本方法，大幅地改善了矩形包含規則驗證的效率，擴大了可驗證版圖的規模。

主要技術方案包括以下兩個方面：

第一，邊對區間的概念。首先，邊對的概念是指掃描線上順序的兩條邊，在這兩條邊中間的區域為圖形內部，依據邊的類型，邊對分為水平和非水平兩種。邊對區間是指一個二維區域，在x軸方向上的部分為兩條邊在x軸上的公共部分，在y軸方向指位于兩條邊所夾的部分。

根據邊對區間的定義，一個圖形所包含的矩形必定在這個圖形的一個或多個邊對區間內。所以驗證矩形包含規則的基本思想是：依次找出圖形的所有邊對區間，每一個邊對區間對應三種矩形包含的位置范圍，分別為水平包含范圍、斜45度包含范圍和斜135度包含范圍；利用邊對區間的位置關系，新生成的邊對區間對已有邊對區間矩形包含的位置范圍進行更新和調整，直到找到一個滿足矩形包含規則的邊對區間，或者圖形結束。

第二，對圖形進行分類，不同類圖形采用不同的方法驗證矩形包含規則。將圖形分為以下三類：矩形圖形，利用判斷條件直接驗證矩形包含規則；除矩形之外的無斜邊圖形，采用水平邊對區間驗證圖形的矩形包含規則；有斜邊圖形，則采用非水平邊對區間驗證。

附圖說明

圖1??無斜邊圖形及水平邊對區間示意圖；

圖2??有斜邊圖形及非水平邊對區間示意圖；

圖3??矩形的位置點更新示意圖

圖4??方法總流程圖；

圖5??掃描線方法流程圖。

具體實施方式

本方法針對不同的圖形分類處理，對應于無斜邊圖形和有斜邊圖形，邊對區間分為以下兩種：