[實用新型]用于在物理驗證期間管理違例和錯誤分類的設備

無效

• 申請號: 200920267979.3
• 申請日: 2009-10-26
• 公開（公告）號: CN201562275U
• 公開（公告）日: 2010-08-25
• 發明（設計）人: K·布雷爾斯弗德;K·拉斯特;W·C·杜恩;J·R·普爾耶爾
• 申請（專利權）人: 新思科技有限公司
• 主分類號: G06F17/50
• 分類號: G06F17/50
• 代理公司: 北京市金杜律師事務所 11256
• 代理人: 王茂華;李輝

技術領域

本公開一般地涉及電子設計自動化。更具體地，本公開涉及用于在物理驗證期間管理違例(violation)和錯誤分類的方法和設備。

背景技術

通過用于驗證電路設計的復雜驗證工具，計算設計中的快速發展已經變得可能。事實上，沒有這些工具，幾乎不太可能對當前的計算設備中常用的復雜集成電路進行驗證。

為了減小設計時間，通常期望在設計流程中盡可能早地精確識別出錯誤。如果在較晚的階段識別出錯誤，則其可以顯著增加設計時間，因為將很有可能不得不為了調試設計而重復設計流程中的多個階段。

物理驗證是設計流程中的一個重要階段。在該階段中，可以檢查電路以確保制作、電氣問題、光刻問題等的正確性。物理驗證工具通常識別布圖中可能導致制作問題的位置。電路設計師使用該信息來修改布圖，從而當電路被流片(taped-out)時，該電路在制作方面沒有問題。

遺憾的是，傳統的物理驗證工具使得很難將真正的錯誤與有意的違例進行分離，尤其當工具產生大量違例時，更是如此。結果是，在常規技術中，甚至在電路通過了物理驗證階段之后，電路可能仍有制作問題。

實用新型內容

根據本實用新型的一方面，提供一種用于在物理驗證期間管理違例的設備。該設備可以包括：第一識別裝置，被配置用于通過對布圖應用一組設計規則檢查DRC規則來識別第一DRC違例；第一呈現裝置，被配置用于向第一用戶呈現第一DRC違例；接收裝置，被配置用于從所述第一用戶接收第一錯誤分類，其中所述第一錯誤分類規定如何處理第一DRC違例，并且其中所述第一用戶未被授權批準錯誤分類；存儲裝置，被配置用于在數據庫中存儲所述第一DRC違例、所述第一錯誤分類和與所述第一用戶相關聯的用戶標識符，其中所述數據庫將所述第一DRC違例與所述第一錯誤分類和所述用戶標識符相關聯，并且其中所述數據庫指示所述第一錯誤分類未被批準。

在一個實施例中，該設備進一步包括：第二呈現裝置，被配置用于向被授權批準所述錯誤分類的第二用戶呈現所述第一DRC違例、所述第一錯誤分類和所述用戶標識符；以及修改裝置，被配置用于響應于從所述第二用戶接收指示著第二用戶批準所述第一錯誤分類的輸入，修改所述數據庫，從而所述數據庫指示所述第一錯誤分類已經被批準。

在一個實施例中，該設備進一步包括：第二識別裝置，被配置用于通過對所述布圖應用該組DRC規則來識別第二DRC違例；查找裝置，被配置用于基于所述第二DRC違例在所述數據庫中查找第二錯誤分類；確定裝置，被配置用于確定所述第二錯誤分類是否已經被批準；以及處理裝置，被配置用于如果被批準，則根據所述第二錯誤分類處理所述第二DRC違例；否則，以默認方式處理所述第二DRC違例。

在一個實施例中，該設備進一步包括：生成裝置，被配置用于生成報告，該報告標識與未被批準的錯誤分類相關聯的DRC違例。

在一個實施例中，所述查找裝置包括比較裝置，被配置用于將第二DRC違例與存儲在所述數據庫中的第三DRC違例進行比較，其中所述第二DRC違例與第二單元中的第二形狀相關聯，其中所述第三DRC違例與第三單元中的第三形狀相關聯，并且其中所述比較裝置包括：用于將第二DRC違例的標識符與第三DRC違例的標識符進行比較的比較裝置；用于將第二單元的名稱與第三單元的名稱進行比較的比較裝置；以及用于將第二形狀與第三形狀進行比較的比較裝置。

在一個實施例中，所述錯誤分類指示第一DRC違例是否應該被放棄。

根據本實用新型的另一方面，提供一種用于在物理驗證期間管理違例的設備。該設備包括：識別裝置，被配置用于通過對第一布圖應用一組設計規則檢查DRC規則來識別第一DRC違例，其中所述第一DRC違例與第一布圖中的第一單元相關聯；第一接收裝置，被配置用于接收第一錯誤分類，其規定如何處理第一DRC違例；存儲裝置，被配置用于在數據庫中存儲所述第一DRC違例、所述第一錯誤分類和所述第一單元，其中所述數據庫將所述第一DRC違例與所述第一錯誤分類和所述第一單元相關聯；第二接收裝置，被配置用于接收第二布圖中的需要使用該組DRC規則來驗證的第二單元；查找裝置，被配置用于通過在所述數據庫中查找第二單元來確定所述第二單元是否匹配所述數據庫中的任意單元；以及處理裝置，被配置用于如果所述第二單元匹配數據庫中存儲的單元，則基于與該存儲的單元相關聯的存儲的DRC違例來識別所述第二單元中的第二DRC違例，并且根據與該存儲的單元相關聯的存儲的錯誤分類來處理所述第二DRC違例；否則，如果所述第二單元不匹配所述數據庫中的任意單元，則對第二單元應用該組DRC規則以識別所述第二單元中的DRC違例。