| 摘要 | 第1-5页 |
| Abstract | 第5-11页 |
| 第一章 绪论 | 第11-19页 |
| ·课题背景 | 第11-17页 |
| ·FPGA 研究现状 | 第11-13页 |
| ·FPGA 的特点 | 第13-15页 |
| ·FPGA 的发展趋势 | 第15-17页 |
| ·课题的目标和意义 | 第17-18页 |
| ·课题的主要研究工作和组织结构 | 第18-19页 |
| 第二章 FPGA 基本结构及布线算法 | 第19-36页 |
| ·概述 | 第19页 |
| ·FPAG 的基本结构 | 第19-27页 |
| ·FPGA 布线架构 | 第20-22页 |
| ·FPGA 的布线模型 | 第22-24页 |
| ·FPGA 的设计流程 | 第24-27页 |
| ·用于FPGA 的布线算法 | 第27-35页 |
| ·几何布线算法 | 第27-31页 |
| ·布尔可满足性算法 | 第31-34页 |
| ·算法比较 | 第34-35页 |
| ·本章小结 | 第35-36页 |
| 第三章 伪布尔可满足性算法分析及布线应用研究比较 | 第36-51页 |
| ·概述 | 第36页 |
| ·伪布尔可满足性函数原理 | 第36-39页 |
| ·伪布尔可满足性函数定义 | 第36-37页 |
| ·伪布尔约束 | 第37-39页 |
| ·处理伪布尔约束的方法 | 第39-42页 |
| ·PB-CNF 的转化 | 第39-41页 |
| ·PB-SAT 算法 | 第41-42页 |
| ·布尔优化问题 | 第42-43页 |
| ·线性扫描搜索算法 | 第42页 |
| ·分支和边界算法 | 第42-43页 |
| ·伪布尔解法器 | 第43-45页 |
| ·回溯搜索伪布尔解法器PBS | 第43-44页 |
| ·混合伪布尔解法器Pueblo | 第44-45页 |
| ·比较实验及分析 | 第45-49页 |
| ·实验基准 | 第45-46页 |
| ·实验结果与分析 | 第46-49页 |
| ·本章小结 | 第49-51页 |
| 第四章 对称破缺技术在布线算法中的运用 | 第51-69页 |
| ·概述 | 第51页 |
| ·SAT 中的对称性 | 第51-59页 |
| ·定义和符号 | 第51-55页 |
| ·图自同构 | 第55页 |
| ·通过图自同构来侦测CNF 对称 | 第55-56页 |
| ·对称破缺 | 第56-59页 |
| ·PB 中的对称性 | 第59-62页 |
| ·PB 中图的构造 | 第59-60页 |
| ·正确性证明 | 第60-61页 |
| ·处理优化函数 | 第61-62页 |
| ·自适应对称破缺流程 | 第62-64页 |
| ·动态对称破缺技术 | 第62-63页 |
| ·用于布线的自适应流程 | 第63-64页 |
| ·实验分析及比较 | 第64-68页 |
| ·CNF 中增加了SBPs 的实验比较 | 第64-65页 |
| ·PB 中增加了SBPs 的实验比较 | 第65-66页 |
| ·新的对称破缺流程的实验比较 | 第66-68页 |
| ·本章小结 | 第68-69页 |
| 第五章 混合布线算法在FPGA 布线中的应用 | 第69-79页 |
| ·概述 | 第69页 |
| ·混合布线算法 | 第69-74页 |
| ·混合算法的主要思想 | 第69页 |
| ·伪布尔算法与Frontier 相结合的F-PBS 算法 | 第69-72页 |
| ·伪布尔算法与PathFinder 相结合的P-PBS 算法 | 第72-74页 |
| ·对称破缺流程 | 第74页 |
| ·比较实验及分析 | 第74-77页 |
| ·实验设计 | 第74页 |
| ·实验结果及分析 | 第74-77页 |
| ·本章小结 | 第77-79页 |
| 第六章 子集可满足性算法的两种改进方法 | 第79-95页 |
| ·概述 | 第79页 |
| ·子集可满足性算法 | 第79-84页 |
| ·基本公式 | 第80-83页 |
| ·一个简单的实例 | 第83-84页 |
| ·与PB 相结合的混合布线算法 | 第84-87页 |
| ·混合算法的研究目的 | 第84页 |
| ·混合算法的原理 | 第84-86页 |
| ·实验结果比较及分析 | 第86-87页 |
| ·增加了对称破缺的子集可满足性算法 | 第87-93页 |
| ·研究目的和方法 | 第87-88页 |
| ·算法原理 | 第88-91页 |
| ·实验结果比较及分析 | 第91-93页 |
| ·本章小结 | 第93-95页 |
| 第七章 结束语 | 第95-97页 |
| 致谢 | 第97-98页 |
| 参考文献 | 第98-106页 |
| 附录A CNF 装入程序 | 第106-114页 |
| 附录B 作者在攻读博士学位期间发表的论文 | 第114页 |