大规模集成电路片上供电网络仿真与验证算法研究

　　大规模集成电路片上供电网络仿真与验证算法研究针对供电网络形式化矩阵方程的数学特点，结合供电网络物理结构，利用局部性原理，研究了大规模供电网络的快速分析方法，探讨了大规模复杂供电网络的静态分析、瞬态分析以及与无向量验证相关的理论和实验分析方法。本书适合信息领域的科研人员、企业工程师及高等院校的教师、研究生阅读参考。

暂缺《大规模集成电路片上供电网络仿真与验证算法研究》作者简介

目录
第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章总结和展望参考文献索引在学期间发表的学术论文与获得的研究成果致谢