本揭示的實(shí)施例是關(guān)于一種設(shè)計(jì)規(guī)則檢查方法、電子設(shè)計(jì)系統(tǒng)及機(jī)器可讀媒體，特別是關(guān)于一種將規(guī)則或操作群聚的設(shè)計(jì)規(guī)則檢查方法、電子設(shè)計(jì)系統(tǒng)及機(jī)器可讀媒體。

背景技術(shù)：

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

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

技術(shù)實(shí)現(xiàn)思路

1、本揭示的一實(shí)施例提供一種執(zhí)行設(shè)計(jì)規(guī)則檢查的方法，該方法包含以下步驟：將具有來(lái)自多個(gè)運(yùn)算的多個(gè)重疊運(yùn)算的多個(gè)規(guī)則或具有來(lái)自規(guī)則的多個(gè)重疊規(guī)則的運(yùn)算中的至少一者群聚為多個(gè)群聚規(guī)則或多個(gè)群聚運(yùn)算；進(jìn)行以下各者中的至少一者：將群聚運(yùn)算中的至少一者轉(zhuǎn)換為第一運(yùn)算群組或第二運(yùn)算群組，或?qū)⑷壕垡?guī)則中的至少一者轉(zhuǎn)換為第一規(guī)則群組或第二規(guī)則群組；進(jìn)行以下各者中的至少一者：將第一運(yùn)算群組中的至少一者指定至第一處理器或?qū)⒌诙\(yùn)算群組中的至少一者指定至第二處理器，或?qū)⒌谝灰?guī)則群組中的至少一者指定至第一處理器或?qū)⒌诙?guī)則群組中的至少一者指定至第二處理器；及通過(guò)第一處理器及第二處理器平行處理第一運(yùn)算群組及第二運(yùn)算群組或第一規(guī)則群組及第二規(guī)則群組中的至少一者，以判定電子架構(gòu)設(shè)計(jì)內(nèi)是否存在錯(cuò)誤。

2、本揭示的一實(shí)施例提供一種電子設(shè)計(jì)自動(dòng)化系統(tǒng)，其包含第一處理器、第二處理器及機(jī)器可讀媒體。機(jī)器可讀媒體包括群聚驗(yàn)證應(yīng)用程序。群聚驗(yàn)證應(yīng)用程序用以：將具有來(lái)自多個(gè)運(yùn)算的多個(gè)重疊運(yùn)算的多個(gè)規(guī)則或具有來(lái)自規(guī)則的多個(gè)重疊規(guī)則的運(yùn)算中的至少一者群聚為多個(gè)群聚規(guī)則或多個(gè)群聚運(yùn)算；進(jìn)行以下各者中的至少一者：將群聚運(yùn)算中的至少一者轉(zhuǎn)換為第一運(yùn)算群組或第二運(yùn)算群組，或?qū)⑷壕垡?guī)則中的至少一者轉(zhuǎn)換為第一規(guī)則群組或第二規(guī)則群組；進(jìn)行以下各者中的至少一者：將第一運(yùn)算群組中的至少一者指定至第一處理器或?qū)⒌诙\(yùn)算群組中的至少一者指定至第二處理器，或?qū)⒌谝灰?guī)則群組中的至少一者指定至第一處理器或?qū)⒌诙?guī)則群組中的至少一者指定至第二處理器；及通過(guò)第一處理器及第二處理器平行處理第一運(yùn)算群組及第二運(yùn)算群組、或第一規(guī)則群組及第二規(guī)則群組中的至少一者，以判定電子架構(gòu)設(shè)計(jì)內(nèi)是否存在錯(cuò)誤。

3、本揭示的一實(shí)施例提供一種非暫時(shí)性機(jī)器可讀媒體，其上儲(chǔ)存有多個(gè)指令，當(dāng)指令由計(jì)算機(jī)執(zhí)行時(shí)，使計(jì)算機(jī)：將具有來(lái)自多個(gè)運(yùn)算的多個(gè)重疊運(yùn)算的多個(gè)規(guī)則或具有來(lái)自規(guī)則的多個(gè)重疊規(guī)則的運(yùn)算中的至少一者群聚為多個(gè)群聚規(guī)則或多個(gè)群聚運(yùn)算；進(jìn)行以下各者中的至少一者：將群聚運(yùn)算中的至少一者轉(zhuǎn)換為第一運(yùn)算群組或第二運(yùn)算群組，或?qū)⑷壕垡?guī)則中的至少一者轉(zhuǎn)換為第一規(guī)則群組或第二規(guī)則群組；及進(jìn)行以下各者中的至少一者：將第一運(yùn)算群組中的至少一者指定至第一處理器或?qū)⒌诙\(yùn)算群組中的至少一者指定至第二處理器，或?qū)⒌谝灰?guī)則群組中的至少一者指定至第一處理器或?qū)⒌诙?guī)則群組中的至少一者指定至第二處理器，以通過(guò)第一處理器及第二處理器平行處理第一運(yùn)算群組及第二運(yùn)算群組、或第一規(guī)則群組及第二規(guī)則群組中的至少一者，以判定電子架構(gòu)設(shè)計(jì)內(nèi)是否存在錯(cuò)誤。

技術(shù)特征：

1.一種執(zhí)行一設(shè)計(jì)規(guī)則檢查的方法，其特征在于，該方法包含以下步驟：

2.如權(quán)利要求1所述的方法，其特征在于，其中當(dāng)該將所述多個(gè)規(guī)則或所述多個(gè)運(yùn)算中的該至少一者群聚未能產(chǎn)生所述多個(gè)群聚運(yùn)算或所述多個(gè)群聚規(guī)則中的至少一者時(shí)，該方法進(jìn)一步包含執(zhí)行一數(shù)目的多個(gè)迭代的步驟，所述多個(gè)迭代包含：

3.如權(quán)利要求2所述的方法，其特征在于，其進(jìn)一步包含實(shí)施一第三迭代并在自迭代的所述多個(gè)剩余運(yùn)算排除一額外運(yùn)算之后進(jìn)行該將所述多個(gè)規(guī)則或所述多個(gè)運(yùn)算中的該至少一者群聚。

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

5.一種電子設(shè)計(jì)自動(dòng)化系統(tǒng)，其特征在于，其包含：

6.如權(quán)利要求5所述的電子設(shè)計(jì)自動(dòng)化系統(tǒng)，其特征在于，其中該機(jī)器可讀媒體進(jìn)一步包括一校正錯(cuò)誤應(yīng)用程序，該校正錯(cuò)誤應(yīng)用程序用以修改該電子架構(gòu)設(shè)計(jì)以減輕該電子架構(gòu)設(shè)計(jì)內(nèi)的該錯(cuò)誤。

7.如權(quán)利要求6所述的電子設(shè)計(jì)自動(dòng)化系統(tǒng)，其特征在于，其中該電子設(shè)計(jì)自動(dòng)化系統(tǒng)將經(jīng)修改的該電子架構(gòu)設(shè)計(jì)提供至一集成電路制造系統(tǒng)，以使用經(jīng)修改的該電子架構(gòu)設(shè)計(jì)來(lái)制造一集成電路。

8.如權(quán)利要求6所述的電子設(shè)計(jì)自動(dòng)化系統(tǒng)，其特征在于，其中該電子架構(gòu)設(shè)計(jì)包括一天線，該減輕該電子架構(gòu)設(shè)計(jì)內(nèi)的該錯(cuò)誤包括將一天線二極管添加至該天線以對(duì)該天線的一節(jié)點(diǎn)放電。

9.如權(quán)利要求6所述的電子設(shè)計(jì)自動(dòng)化系統(tǒng)，其特征在于，其中該電子架構(gòu)設(shè)計(jì)包括一天線，該減輕該電子架構(gòu)設(shè)計(jì)內(nèi)的該錯(cuò)誤包括通過(guò)將該天線布線至該電子架構(gòu)設(shè)計(jì)的一第二金屬層、接著向下布線至一第一金屬層來(lái)分割該天線。

10.一種非暫時(shí)性機(jī)器可讀媒體，其特征在于，其上儲(chǔ)存有多個(gè)指令，當(dāng)所述多個(gè)指令由一計(jì)算機(jī)執(zhí)行時(shí)，使該計(jì)算機(jī)：

技術(shù)總結(jié)
一種設(shè)計(jì)規(guī)則檢查方法、電子設(shè)計(jì)系統(tǒng)及機(jī)器可讀媒體，執(zhí)行設(shè)計(jì)規(guī)則檢查的方法包括對(duì)具有來(lái)自多個(gè)運(yùn)算的重疊運(yùn)算的多個(gè)規(guī)則或具有來(lái)自多個(gè)規(guī)則的重疊規(guī)則的多個(gè)運(yùn)算中的至少一者進(jìn)行群聚。方法進(jìn)一步包括將群聚的多個(gè)運(yùn)算中的至少一者轉(zhuǎn)換為第一運(yùn)算群組或第二運(yùn)算群組、或?qū)⑷壕鄣亩鄠€(gè)規(guī)則中的至少一者轉(zhuǎn)換為第一規(guī)則群組或第二規(guī)則群組中的至少一者。方法甚至進(jìn)一步包括將第一運(yùn)算群組中的至少一者指定至第一處理器或?qū)⒌诙\(yùn)算群組中的至少一者指定至第二處理器、或?qū)⒌谝灰?guī)則群組中的至少一者指定至第一處理器或?qū)⒌诙?guī)則群組中的至少一者指定至第二處理器中的至少一者。

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