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

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