設計規則檢查方法、電子設計系統及機器可讀媒體與流程

本揭示的實施例是關于一種設計規則檢查方法、電子設計系統及機器可讀媒體，特別是關于一種將規則或操作群聚的設計規則檢查方法、電子設計系統及機器可讀媒體。

背景技術：

1、集成電路(integrated?circuit，ic)行業生產多種模擬及數字半導體裝置，以解決不同領域中的問題。半導體工藝技術節點的發展已逐漸減小組件尺寸，并收緊間距，導致晶體管密度逐漸增加。ic逐漸變得更小。

2、物理驗證是通過電子設計自動化(electronic?design?automation，eda)軟件工具驗證ic布局設計以確保正確的電氣及邏輯功能性以及可制造性的工藝。驗證涉及設計規則檢查(design?rule?check，drc)，drc驗證ic布局是否滿足技術規定的約束。drc驗證化學機械研磨(chemical-mechanical?polishing，cmp)的層密度、布局與原理圖(電路布局驗證(lvs)ic布局設計的功能性)、邏輯互斥或(xor)等。drc是為了確認所需修改已完成，且未進行任何非所需修改。在天線檢查的使用案例中，drc判定在ic布局的處理步驟期間是否存在未電連接至硅或接地的互連。此外，天線檢查可識別集成電路的隔離節點中不可接受的電荷累積。驗證亦涉及電氣規則檢查(electrical?rule?check，erc)，用于驗證電源及地面連接的正確性，以及信號轉變(轉動)時間、電容性負載及扇出是否經適當約束。

技術實現思路

1、本揭示的一實施例提供一種執行設計規則檢查的方法，該方法包含以下步驟：將具有來自多個運算的多個重疊運算的多個規則或具有來自規則的多個重疊規則的運算中的至少一者群聚為多個群聚規則或多個群聚運算；進行以下各者中的至少一者：將群聚運算中的至少一者轉換為第一運算群組或第二運算群組，或將群聚規則中的至少一者轉換為第一規則群組或第二規則群組；進行以下各者中的至少一者：將第一運算群組中的至少一者指定至第一處理器或將第二運算群組中的至少一者指定至第二處理器，或將第一規則群組中的至少一者指定至第一處理器或將第二規則群組中的至少一者指定至第二處理器；及通過第一處理器及第二處理器平行處理第一運算群組及第二運算群組或第一規則群組及第二規則群組中的至少一者，以判定電子架構設計內是否存在錯誤。

2、本揭示的一實施例提供一種電子設計自動化系統，其包含第一處理器、第二處理器及機器可讀媒體。機器可讀媒體包括群聚驗證應用程序。群聚驗證應用程序用以：將具有來自多個運算的多個重疊運算的多個規則或具有來自規則的多個重疊規則的運算中的至少一者群聚為多個群聚規則或多個群聚運算；進行以下各者中的至少一者：將群聚運算中的至少一者轉換為第一運算群組或第二運算群組，或將群聚規則中的至少一者轉換為第一規則群組或第二規則群組；進行以下各者中的至少一者：將第一運算群組中的至少一者指定至第一處理器或將第二運算群組中的至少一者指定至第二處理器，或將第一規則群組中的至少一者指定至第一處理器或將第二規則群組中的至少一者指定至第二處理器；及通過第一處理器及第二處理器平行處理第一運算群組及第二運算群組、或第一規則群組及第二規則群組中的至少一者，以判定電子架構設計內是否存在錯誤。

3、本揭示的一實施例提供一種非暫時性機器可讀媒體，其上儲存有多個指令，當指令由計算機執行時，使計算機：將具有來自多個運算的多個重疊運算的多個規則或具有來自規則的多個重疊規則的運算中的至少一者群聚為多個群聚規則或多個群聚運算；進行以下各者中的至少一者：將群聚運算中的至少一者轉換為第一運算群組或第二運算群組，或將群聚規則中的至少一者轉換為第一規則群組或第二規則群組；及進行以下各者中的至少一者：將第一運算群組中的至少一者指定至第一處理器或將第二運算群組中的至少一者指定至第二處理器，或將第一規則群組中的至少一者指定至第一處理器或將第二規則群組中的至少一者指定至第二處理器，以通過第一處理器及第二處理器平行處理第一運算群組及第二運算群組、或第一規則群組及第二規則群組中的至少一者，以判定電子架構設計內是否存在錯誤。

技術特征：

1.一種執行一設計規則檢查的方法，其特征在于，該方法包含以下步驟：

2.如權利要求1所述的方法，其特征在于，其中當該將所述多個規則或所述多個運算中的該至少一者群聚未能產生所述多個群聚運算或所述多個群聚規則中的至少一者時，該方法進一步包含執行一數目的多個迭代的步驟，所述多個迭代包含：

3.如權利要求2所述的方法，其特征在于，其進一步包含實施一第三迭代并在自迭代的所述多個剩余運算排除一額外運算之后進行該將所述多個規則或所述多個運算中的該至少一者群聚。

4.如權利要求2所述的方法，其特征在于，其進一步包含以下步驟：

5.一種電子設計自動化系統，其特征在于，其包含：

6.如權利要求5所述的電子設計自動化系統，其特征在于，其中該機器可讀媒體進一步包括一校正錯誤應用程序，該校正錯誤應用程序用以修改該電子架構設計以減輕該電子架構設計內的該錯誤。

7.如權利要求6所述的電子設計自動化系統，其特征在于，其中該電子設計自動化系統將經修改的該電子架構設計提供至一集成電路制造系統，以使用經修改的該電子架構設計來制造一集成電路。

8.如權利要求6所述的電子設計自動化系統，其特征在于，其中該電子架構設計包括一天線，該減輕該電子架構設計內的該錯誤包括將一天線二極管添加至該天線以對該天線的一節點放電。

9.如權利要求6所述的電子設計自動化系統，其特征在于，其中該電子架構設計包括一天線，該減輕該電子架構設計內的該錯誤包括通過將該天線布線至該電子架構設計的一第二金屬層、接著向下布線至一第一金屬層來分割該天線。

10.一種非暫時性機器可讀媒體，其特征在于，其上儲存有多個指令，當所述多個指令由一計算機執行時，使該計算機：

技術總結
一種設計規則檢查方法、電子設計系統及機器可讀媒體，執行設計規則檢查的方法包括對具有來自多個運算的重疊運算的多個規則或具有來自多個規則的重疊規則的多個運算中的至少一者進行群聚。方法進一步包括將群聚的多個運算中的至少一者轉換為第一運算群組或第二運算群組、或將群聚的多個規則中的至少一者轉換為第一規則群組或第二規則群組中的至少一者。方法甚至進一步包括將第一運算群組中的至少一者指定至第一處理器或將第二運算群組中的至少一者指定至第二處理器、或將第一規則群組中的至少一者指定至第一處理器或將第二規則群組中的至少一者指定至第二處理器中的至少一者。

技術研發人員：廖家駿,戴爽,陳雅文,吳孟軒
受保護的技術使用者：臺灣積體電路制造股份有限公司
技術研發日：
技術公布日：2024/10/21