大規(guī)模集成電路片上供電網(wǎng)絡仿真與驗證算法研究

目錄
第1章引言
1.1超大規(guī)模集成電路與EDA技術
1.2超大規(guī)模集成電路設計流程
1.3集成電路供電網(wǎng)絡
1.4供電網(wǎng)絡分析所面臨的挑戰(zhàn)
1.5前人研究工作及最新進展
1.5.1供電網(wǎng)絡仿真
1.5.2供電網(wǎng)絡無向量驗證
1.6本文的主要內容和組織結構第2章供電網(wǎng)絡分析基礎
2.1電路分析理論基礎
2.2供電網(wǎng)絡的電學系統(tǒng)方程
2.3供電網(wǎng)絡分析流程
2.4供電網(wǎng)絡的分析方法第3章基于泊松預條件技術的靜態(tài)分析算法
3.1電路局部性原理
3.2泊松預條件算法
3.2.1基于泊松塊的形式化解析解
3.2.2多層供電網(wǎng)的仿真流程
3.2.3不同封裝類型下的泊松塊分布
3.2.4泊松預條件算法基本思想
3.2.5預條件算法流程及實現(xiàn)
3.2.6收斂性證明與復雜度分析
3.3實驗結果與小結第4章基于代數(shù)多重網(wǎng)格技術的靜態(tài)仿真算法
4.1多重網(wǎng)格方法
4.2AMGPCG算法
4.2.1網(wǎng)格聚合算法
4.2.2多重網(wǎng)格預條件算法
4.2.3Krylov子空間加速的循環(huán)策略
4.2.4算法復雜度分析
4.3實驗結果與小結第5章全參數(shù)模型下的瞬態(tài)仿真算法
5.1RLC電路模型
5.2考慮封裝電感的瞬態(tài)仿真算法
5.2.1瞬態(tài)仿真方程
5.2.2仿真矩陣的對稱正定化
5.2.3瞬態(tài)仿真流程
5.2.4線網(wǎng)級并行化加速策略
5.3實驗結果與小結第6章基于選擇性求逆算法的無向量驗證技術
6.1供電網(wǎng)絡的無向量驗證方法
6.2基于選擇性求逆的無向量驗證算法
6.2.1基于區(qū)域分解的矩陣形式化
6.2.2電路局部效應與約束局部性原理
6.2.3選擇性求逆的算法實現(xiàn)
6.2.4算法復雜度分析
6.3基于局部性原理的電路劃分
6.3.1擬泊松塊概念的提出
6.3.2考慮供電引腳分布的電路劃分策略
6.4實驗結果與小結第7章總結和展望參考文獻索引在學期間發(fā)表的學術論文與獲得的研究成果致謝