本發明涉及對臨界尺寸（ＣＤ）掃描電鏡的ＣＤ提取進行建模。本發明的一個實施例涉及一種在光刻工藝模型校準期間對臨界尺寸（ＣＤ）掃描電鏡（ＣＤ－ＳＥＭ）提取進行建模的方法。在操作期間，該方法接收通過使用ＣＤ－ＳＥＭ提取處理而獲得的測量ＣＤ值，...

本發明的一個實施例提供一種對布局中的多邊形設定尺寸的系統。在操作期間，系統接收將要按照尺寸設定數量來設定尺寸的多邊形。系統然后選擇多邊形的一個或者多個頂點。接著，系統用取代頂點集合取代各所選頂點并且隨后向取代頂點集合中的各取代頂點分配突...

本發明提出了使用隨機變量的串擾時延分析。描述了一種計算機系統、方法、集成電路以及供與這種計算機系統一起使用的計算機程序產品的實施例。這些裝置和技術可以用于計算信號路徑中由于來自與一組信號路徑相關聯的一組串擾干擾源的串擾所造成的總時延。為...

本發明公開了一種針對混合驗證進行邏輯優化和狀態空間精簡的方法。本發明的一個實施方式提供一種有助于優化和驗證電路設計的系統。該系統可以接收與電路關聯的假設集合。該假設集合可以指定對電路的至少主要輸入集合的邏輯約束集合。注意，預期在正常電路...

本發明涉及用于實現層級式測試設計解決方案的方法和裝置。具體地，公開了用于實現電路上的層級式測試設計（ＤＦＴ）邏輯的方法和設備。該層級式ＤＦＴ邏輯實現ＤＦＴ電路，其可以專用于模塊，并且可以將用于多個模塊的ＤＦＴ配置為共享順序輸入信號和／或...

本發明公開了用于構造規范表示的方法和裝置。一些實施例提供用于有助于構造規范表示（ＣＲ）的系統和技術，該ＣＲ表示邏輯函數集合的邏輯組合。在操作期間，系統可以接收ＣＲ規模限制。接著，系統可以基于邏輯函數集合來構造ＣＲ集合，其中ＣＲ集合中的各...

本發明提供了一種使用反向成像方法的基于模型的輔助特征放置的方法和設備。某些實施方式提供了用于標識目標掩膜布局中放置輔助特征的位置的系統和技術。在操作期間，一種實施方式可以確定用于對目標掩膜布局進行采樣的空間采樣頻率，其中按照該空間采樣頻...

本發明涉及用于電子設計自動化的執行監視器。描述了計算機系統、方法、圖形用戶界面和用于與計算機系統一起使用的計算機程序產品（即軟件）的實施例。芯片設計者可以使用這些設備和／或技術來配置和監視與電路或者芯片設計關聯的用戶可配置的電子設計自動...

提供了一種使用主分量分析的緊湊ＡＢＢＥ內核生成。一些實施例提供用于確定對光刻工藝的光學系統進行建模的ＡＢＢＥ內核集合的技術。在操作期間，系統可以接收用于光刻工藝的光學系統的光學參數（例如數值孔徑、波長等）。接著，系統可以使用光學參數以確...

本發明涉及規范化表示中自適應的狀態－符號轉換。具體地，一些實施方式提供一種用于自適應地執行規范化表示中的狀態－符號轉換的系統，所述規范化表示用以生成用于受約束的隨機仿真的隨機激勵。所述系統可以使用約束中的隨機變量集合和狀態變量的子集來構...

本發明涉及用于針對雙圖案化過程進行光刻驗證的方法和系統。本發明的一個實施例提供一種針對掩膜布局的雙圖案化過程進行光刻驗證而不進行掩膜布局的全輪廓仿真的系統。在操作期間，該系統通過接收雙圖案化過程的第一光刻步驟中使用的第一掩膜和雙圖案化過...

一個實施方式提供了包括為分層級電路設計生成布圖規劃的方法和設備的系統。更具體地，該系統可以接收針對分層級電路設計的非簡化網表描述，并生成包括該網表的接口邏輯元件的簡化網表。該系統隨后可以通過使用簡化網表作為輸入來生成布圖規劃。注意，生成...

本申請涉及用于分配計算中心中資源的方法和裝置。具體地，公開了一種用于分配計算中心中資源的系統。操作過程中，該系統可以接收針對項目的資源需求信息。接下來，該系統可以接收在計算中心中執行新作業的請求。響應于確定沒有作業槽可用于執行新作業、并...

本發明的實施方式提供用于驗證電路的功能的方法和裝置。系統可以確定下界距離（ＬＢＤ）值，從而ＬＢＤ值與ＣＵＶ的不滿足性質的ＬＢＤ抽象模型關聯。系統可以使用抽象－精化技術以確定ＣＵＶ是否滿足性質。系統可以為抽象－精化技術中所用抽象模型確定上...

本發明的一個實施例提供一種在管芯尺寸優化期間縮放Ｉ／Ｏ單元布置的系統。在操作期間，該系統通過接收用于管芯的初始管芯尺寸和用于一組Ｉ／Ｏ單元的初始Ｉ／Ｏ單元布置來啟動。該系統也接收用于管芯的目標管芯尺寸。該系統然后確定在初始管芯尺寸與目標...

本發明涉及合成期間的擁塞優化。本發明的一個實施例提供一種用于在邏輯設計階段期間優化電路設計以減少在布置和布線階段期間的布線擁塞的系統。在操作期間，該系統識別電路設計中的第一電路結構，該第一電路結構預期會造成在布置和布線階段期間的布線擁塞...

本發明的實施例提供用于在物理驗證期間管理違例和錯誤分類的方法和設備。該系統可以通過對布圖應用一組設計規則檢查（ＤＲＣ）規則來識別ＤＲＣ違例。系統可以從用戶接收錯誤分類，其中錯誤分類規定如何處理ＤＲＣ違例。接著，系統可以將ＤＲＣ違例、用戶...

公開了一種安全咨詢系統，其支持所有者實體安全地發送其最為機密和私有的數據，使得所有者實體和咨詢實體的指定實體可以對該數據執行應用程序，由此對應用程序和數據的操作和正確性進行咨詢。

本發明涉及用于檢錯和糾錯的兩階段定時停滯技術。本發明的一個實施例提供一種用定時錯誤檢測和糾正機制擴充電路設計的系統。這一系統首先將電路分割為由獨立時鐘源鐘控的一組塊，并且在這一組塊之間集成錯誤信號傳播電路。對于相應塊，該系統確定將實施為...

本發明的一個實施方式提供一種用于在遠紫外光刻（ＥＵＶＬ）系統中協助將同步加速器用作源的方法和裝置，其中同步加速器的能量隨著時間減少。ＥＵＶＬ系統可以包括步進器，其使用步進重復方式或步進掃描方式來將圖案從標線片轉移到晶片上。要求晶片以基本...