| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第一章 绪论 | 第9-14页 |
| ·课题背景和意义 | 第9-11页 |
| ·FPGA 发展状况和趋势 | 第11-13页 |
| ·可编程逻辑的历史 | 第11页 |
| ·FPGA 新产品 | 第11-12页 |
| ·FPGA 的特点 | 第12-13页 |
| ·研究内容和论文构架 | 第13-14页 |
| 第二章 FPGA 基本结构和布局布线 | 第14-27页 |
| ·前言 | 第14页 |
| ·FPGA 的编程工艺 | 第14-17页 |
| ·基于SRAM 的FPGA | 第14-16页 |
| ·基于EEPROM/FLASH 的FPGA | 第16页 |
| ·基于反熔丝的FPGA | 第16-17页 |
| ·FPGA 编程工艺总结 | 第17页 |
| ·FPGA 布线架构 | 第17-20页 |
| ·对称阵列型架构 | 第18-19页 |
| ·行排型架构 | 第19页 |
| ·门海型架构 | 第19页 |
| ·层次化PLD 型架构 | 第19-20页 |
| ·FPGA 的布线模型 | 第20-24页 |
| ·基于岛状FPGA 的布线术语和概念 | 第20-21页 |
| ·Xilinx XC4000 详细架构 | 第21-22页 |
| ·布线模型 | 第22-24页 |
| ·基于FPGA 的设计流程 | 第24-25页 |
| ·布线基准 | 第25-27页 |
| 第三章 基于几何查找和布尔可满足性的布线算法 | 第27-47页 |
| ·前言 | 第27页 |
| ·布线的基本流程 | 第27-31页 |
| ·布线资源图的建立 | 第28-29页 |
| ·全局布线 | 第29-30页 |
| ·详细布线 | 第30-31页 |
| ·几何查找布线算法 | 第31-36页 |
| ·Lee 迷宫算法 | 第31-32页 |
| ·A*算法 | 第32-33页 |
| ·Pathfinder 算法 | 第33-36页 |
| ·布尔可满足性布线算法 | 第36-44页 |
| ·基于轨线的详细布线SAT 算法 | 第36-40页 |
| ·基于路线的详细布线SAT 算法 | 第40-44页 |
| ·Pathfinder 和 R-SDR 的实验结果比较 | 第44-47页 |
| 第四章 基于伪布尔可满足性的布线算法 | 第47-57页 |
| ·前言 | 第47页 |
| ·PB-SAT 的定义和概念 | 第47-48页 |
| ·PB-SAT 搜索算法 | 第48-50页 |
| ·检测推断 | 第49页 |
| ·冲突处理 | 第49-50页 |
| ·PB-SAT 布线算法 | 第50-52页 |
| ·Pathfinder, R-SDR, PB-SAT 实验结果比较和分析 | 第52-57页 |
| 第五章 基于 Pathfinder 和 PB-SAT 的新型混合布线算法 | 第57-62页 |
| ·混合布线算法的目的 | 第57页 |
| ·基于 Pathfinder 和 PB-SAT 相结合的混合布线算法 P-PB-SAT | 第57-58页 |
| ·实验结果及分析 | 第58-62页 |
| 第六章 总结与展望 | 第62-64页 |
| 参考文献 | 第64-69页 |
| 致谢 | 第69-70页 |
| 附录：作者在攻读硕士学位期间发表的论文 | 第70页 |
