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

第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.2 AMG-PCG算法
4.2.1 网格聚合算法
4.2.2 多重网格预条件算法
4.2.3 Krylov子空间加速的循环策略
4.2.4 算法复杂度分析
4.3 实验结果与小结
第5章 全参数模型下的瞬态仿真算法
5.1 RLC电路模型
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章 总结和展望
参考文献
索引
在学期间发表的学术论文与获得的研究成果
致谢