大規模積體電路片上供電網路仿真與驗證算法研究

內容簡介

本書針對供電網路形式化矩陣方程的數學特點，結合供電網路物理結構，利用局部性原理，研究了大規模供電網路的快速分析方法，探討了大規模複雜供電網路的靜態分析、瞬態分析以及與無向量驗證相關的理論和實驗分析方法。

本書適合信息領域的科研人員、企業工程師及高等院校的教師、研究生閱讀參考。

圖書目錄

第1章引言

1.1超大規模積體電路與EDA技術

1.2超大規模積體電路設計流程

1.3積體電路供電網路

1.4供電網路分析所面臨的挑戰

1.5前人研究工作及最新進展

1.5.1供電網路仿真

1.5.2供電網路無向量驗證

1.6本文的主要內容和組織結構第2章供電網路分析基礎

2.1電路分析理論基礎

2.2供電網路的電學系統方程

2.3供電網路分析流程

2.4供電網路的分析方法第3章基於泊松預條件技術的靜態分析算法

3.1電路局部性原理

3.2泊松預條件算法

3.2.1基於泊松塊的形式化解析解

3.2.2多層供電網的仿真流程

3.2.3不同封裝類型下的泊松塊分布

3.2.4泊松預條件算法基本思想

3.2.5預條件算法流程及實現

3.2.6收斂性證明與複雜度分析

3.3實驗結果與小結第4章基於代數多重格線技術的靜態仿真算法

4.1多重格線方法

4.2AMGPCG算法

4.2.1格線聚合算法

4.2.2多重格線預條件算法

4.2.3Krylov子空間加速的循環策略

4.2.4算法複雜度分析

4.3實驗結果與小結第5章全參數模型下的瞬態仿真算法

5.1RLC電路模型

5.2考慮封裝電感的瞬態仿真算法

5.2.1瞬態仿真方程

5.2.2仿真矩陣的對稱正定化

5.2.3瞬態仿真流程

5.2.4線網級並行化加速策略

5.3實驗結果與小結第6章基於選擇性求逆算法的無向量驗證技術

6.1供電網路的無向量驗證方法

6.2基於選擇性求逆的無向量驗證算法

6.2.1基於區域分解的矩陣形式化

6.2.2電路局部效應與約束局部性原理

6.2.3選擇性求逆的算法實現

6.2.4算法複雜度分析

6.3基於局部性原理的電路劃分

6.3.1擬泊松塊概念的提出

6.3.2考慮供電引腳分布的電路劃分策略

6.4實驗結果與小結第7章總結和展望參考文獻索引在學期間發表的學術論文與獲得的研究成果致謝

大規模積體電路片上供電網路仿真與驗證算法研究

基本介紹

內容簡介

圖書目錄

相關詞條

熱門詞條