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

有效

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

1.一種集成電路版圖驗證中矩形包含規則的驗證方法，其技術特征包含以下兩點：①對不同類型的圖形分別采用“無斜邊圖形的驗證方法”和“有斜邊圖形的驗證方法”，兩種驗證方法的基本思想都是：首先將圖形切分為多個邊對區間，然后通過不斷調整邊對區間包含矩形的位置范圍，驗證矩形包含規則。②邊對區間的生成和調整都借助于“掃描線方法”。

2.根據權利要求1所述的“無斜邊圖形的驗證方法”，其特征在于：借助于掃描線方法，將無斜邊圖形切分為多個水平邊對區間，水平邊對區間矩形包含的位置范圍只在y軸方向變化，在掃描過程中，不斷調整矩形包含的位置范圍，驗證矩形包含規則。

3.根據權利要求1所述的“有斜邊圖形的驗證方法”，其特征在于：借助于掃描線方法，將有斜邊圖形切分為多個非水平邊對區間，非水平邊對區間矩形包含的位置范圍沿y軸方向和沿斜邊方向變化，通過不斷調整矩形包含的位置范圍，驗證矩形包含規則。

4.根據權利要求1所述的“掃描線方法”，其特征在于：①在新進邊鏈表和經過邊鏈表歸并的過程中產生新的邊對區間，并對已有邊對區間的矩形包含范圍進行更新和調整。②在掃描線執行的過程中，如果已經找到一個邊對區間滿足矩形包含規則，說明該圖形滿足矩形包含規則，掃描線終止。