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

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

   第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章总结和展望

参考文献

索引

在学期间发表的学术论文与获得的研究成果

致谢