| 摘要 | 第1-6页 |
| ABSTRACT | 第6-12页 |
| 第一章 绪论 | 第12-24页 |
| ·数值化分析与符号化分析 | 第12-13页 |
| ·符号化分析的产生背景 | 第13-14页 |
| ·符号化分析的历史与现状 | 第14-15页 |
| ·主要理论背景介绍 | 第15-21页 |
| ·二分决策图Binary Decision Diagram | 第15-18页 |
| ·基于Determinant Decision Diagram 的符号化分析 | 第18-20页 |
| ·基于Graph-Pair Decision Diagram 的符号化分析 | 第20-21页 |
| ·DDD 与GPDD 的区别 | 第21页 |
| ·课题提出和研究意义 | 第21-24页 |
| ·课题的提出与已有的研究成果 | 第21-23页 |
| ·研究意义 | 第23-24页 |
| 第二章 多层次符号化分析算法 | 第24-36页 |
| ·模拟电路的层次化特性 | 第24-25页 |
| ·多端口网络分析及其符号化表示 | 第25-33页 |
| ·多端口网络分析 | 第25-26页 |
| ·基于GPDD 的端口导纳求解 | 第26-32页 |
| ·符号化导纳矩阵（Symbolic Stamp） | 第32-33页 |
| ·多层次符号化分析架构与电路矩阵的符号化求解 | 第33-35页 |
| ·本章小结 | 第35-36页 |
| 第三章 多层次符号化仿真器的实现 | 第36-51页 |
| ·仿真器架构 | 第36-37页 |
| ·网表分析器（Parser） | 第37-38页 |
| ·子电路类（Subckt）与X 器件类（XDev） | 第38-39页 |
| ·符号化子电路导纳矩阵的实现 | 第39-48页 |
| ·多根GPDD 类NPortGPDD | 第39-42页 |
| ·初始约化图对的构造 | 第42-46页 |
| ·根节点1-边与0-边的符号 | 第46-48页 |
| ·电路矩阵的构造与符号化求解 | 第48-50页 |
| ·本章小结 | 第50-51页 |
| 第四章 测试结果 | 第51-68页 |
| ·仿真器工作流程 | 第51-52页 |
| ·基于单个晶体管的分层符号化分析效率测试 | 第52-57页 |
| ·Bipolar 电路的测试 | 第52-55页 |
| ·MOSFET 电路的测试 | 第55-57页 |
| ·电路划分策略测试 | 第57-66页 |
| ·Bipolar 电路的划分测试 | 第57-60页 |
| ·MOSFET 电路的划分测试 | 第60-66页 |
| ·本章小结 | 第66-68页 |
| 第五章 结束语 | 第68-71页 |
| ·主要工作与创新点 | 第68-69页 |
| ·研究展望 | 第69-71页 |
| 参考文献 | 第71-74页 |
| 致谢 | 第74-76页 |
| 攻读硕士学位期间已发表或录用的论文 | 第76-77页 |
| 上海交通大学学位论文答辩决议书 | 第77页 |
