| 中文摘要 | 第1-7页 |
| 英文摘要 | 第7-9页 |
| 第一章 绪论 | 第9-24页 |
| ·前言 | 第9页 |
| ·FPGA研究的意义及现状 | 第9-13页 |
| ·FPGA的现状及发展 | 第9-10页 |
| ·FPGA的优点 | 第10-11页 |
| ·FPGA的缺点 | 第11页 |
| ·当前FPGA器件特征及研究方向 | 第11-13页 |
| ·FPGA设计的CAD流程 | 第13-16页 |
| ·系统设计 | 第13页 |
| ·设计实现 | 第13-14页 |
| ·设计验证 | 第14-16页 |
| ·本论文的研究目的及内容 | 第16页 |
| ·本论文的编排 | 第16-17页 |
| 参考文献 | 第17-24页 |
| 第二章 FPGA 器件的总体结构及布线基准 | 第24-36页 |
| ·前言 | 第24页 |
| ·FPGA 的分类 | 第24-27页 |
| ·FPGA 的结构模型 | 第27-32页 |
| ·研究目标 | 第27-28页 |
| ·逻辑块结构 | 第28-30页 |
| ·输入/输出模块 | 第30-31页 |
| ·布线结构 | 第31-32页 |
| ·布线基准 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 参考文献 | 第34-36页 |
| 第三章 几何查找布线算法的研究 | 第36-54页 |
| ·前言 | 第36页 |
| ·基本布线算法 | 第36-38页 |
| ·PathFinder：一种基于协商的性能驱动的FPGA 布线方法 | 第38-41页 |
| ·VPR430：一种快速的时延驱动的布线算法 | 第41-42页 |
| ·Frontier：用于FPGA 的协商A~*布线算法 | 第42-45页 |
| ·Frontier算法的原理 | 第42-45页 |
| ·Frontier算法的实现 | 第45页 |
| ·实验结果及分析 | 第45-50页 |
| ·本章小结 | 第50页 |
| 参考文献 | 第50-54页 |
| 第四章 基于布尔可满足性的FPGA详细布线算法 | 第54-77页 |
| ·前言 | 第54页 |
| ·布尔可满足性的基本原理 | 第54-55页 |
| ·基于布尔函数的布线 | 第55-56页 |
| ·以前对基于布尔SAT 布线方法的研究 | 第56-57页 |
| ·两种用于FPGA详细布线的SAT 算法 | 第57-68页 |
| ·基于轨线的详细布线的SAT 算法（T-SDR） | 第57-64页 |
| ·T-SDR 的布尔函数公式 | 第57-61页 |
| ·布线约束条件的CNF 表达式 | 第61-63页 |
| ·基于布尔函数的FPGA 详细布线的综合流程 | 第63-64页 |
| ·基于路线的详细布线SAT算法（R-SDR） | 第64-68页 |
| ·研究目的 | 第64-66页 |
| ·R-SDR的布尔函数公式 | 第66-68页 |
| ·实验结果及分析 | 第68-73页 |
| ·两种SAT 布线算法T-SDR与R-SDR 的比较 | 第68-70页 |
| ·SAT 算法与常规几何查找布线算法的比较 | 第70-73页 |
| ·本章小结 | 第73-74页 |
| 参考文献 | 第74-77页 |
| 第五章 将布尔可满足性与几何查找相结合的混合布线算法 | 第77-91页 |
| ·前言 | 第77页 |
| ·混合布线算法的研究目的 | 第77页 |
| ·混合布线算法 | 第77-81页 |
| ·混合算法的主要思想 | 第77-78页 |
| ·PathFinder与R-SDR相结合的混合布线算法（P-R-SDR） | 第78-80页 |
| ·VPR430 与R-SDR 相结合的混合布线算法（V-R-SDR） | 第80页 |
| ·Frontier 与R-SDR 相结合的混合布线算法（F-R-SDR） | 第80-81页 |
| ·实验结果及分析 | 第81-88页 |
| ·三种新型混合布线算法之间的比较 | 第81-84页 |
| ·混合布线算法与纯几何布线算法的比较 | 第84-88页 |
| ·本章小结 | 第88页 |
| 参考文献 | 第88-91页 |
| 第六章 将子集可满足性与几何查找相结合的混合布线算法 | 第91-101页 |
| ·前言 | 第91页 |
| ·研究目的和方法 | 第91-92页 |
| ·通过变换及计数生成的sub-SAT | 第92-96页 |
| ·基本公式 | 第92-94页 |
| ·一个布线实例 | 第94-96页 |
| ·新型混合算法 | 第96-97页 |
| ·实验结果及分析 | 第97-98页 |
| ·本章小结 | 第98页 |
| 参考文献 | 第98-101页 |
| 附录A VPR布局与布线工具 | 第101-105页 |
| A.1 VPR 综合流程 | 第101-102页 |
| A.2 模拟退火算法 | 第102-105页 |
| 主要工作与结论 | 第105-107页 |
| 论文创新点 | 第107-108页 |
| 后续工作与展望 | 第108-109页 |
| 攻读博士学位期间发表的论文 | 第109-111页 |
| 致谢 | 第111页 |
