| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 综述 | 第10-14页 |
| ·引言 | 第10-11页 |
| ·课题研究意义 | 第11-12页 |
| ·理论意义 | 第11-12页 |
| ·应用意义 | 第12页 |
| ·国内外研究现状 | 第12-13页 |
| ·论文主要工作及内容安排 | 第13-14页 |
| 2 FPGA基本结构和布线算法 | 第14-18页 |
| ·FPGA基本结构 | 第14-16页 |
| ·布线 | 第16-18页 |
| ·布线定义 | 第16页 |
| ·布线算法 | 第16-18页 |
| 3 VPR系统和zChaff系统的分析与研究 | 第18-26页 |
| ·VPR软件框架 | 第18-23页 |
| ·VPR工作流程 | 第18-19页 |
| ·VPR布局布线算法分析 | 第19-21页 |
| ·VPR安装使用 | 第21-23页 |
| ·zChaff求解器 | 第23-26页 |
| ·zChaff求解器架构 | 第23-24页 |
| ·zChaff安装使用 | 第24-26页 |
| 4 基于布尔可满足的布线算法研究与分析 | 第26-31页 |
| ·SAT问题 | 第26-27页 |
| ·布尔可满足布线模型 | 第27-29页 |
| ·布尔可满足布线方程转化为CNF | 第29-31页 |
| 5 基于SAT的FPGA布线系统(V-SAT)实现 | 第31-41页 |
| ·V-SAT系统总体设计框架 | 第31页 |
| ·全局布线文件生成 | 第31-32页 |
| ·CNF求解器 | 第32-41页 |
| ·文件分离器设计 | 第33-34页 |
| ·最少通道求解器设计 | 第34-36页 |
| ·CNF生成器设计 | 第36-39页 |
| ·zChaff格式生成器设计 | 第39-41页 |
| 6 标准Benchmark电路测试结果及分析 | 第41-45页 |
| ·测试环境和MCNC标准电路 | 第41-42页 |
| ·VPR试验结果 | 第42页 |
| ·V-SAT试验结果 | 第42页 |
| ·试验结果及分析 | 第42-45页 |
| 7 V-SAT系统改进及优化 | 第45-50页 |
| ·V-SAT系统瓶颈分析 | 第45-46页 |
| ·库方法 | 第46-48页 |
| ·库定义 | 第46页 |
| ·V-SAT系统中库方法的应用 | 第46-48页 |
| ·改进结果及分析 | 第48-50页 |
| 8 总结及展望 | 第50-52页 |
| ·工作总结 | 第50-51页 |
| ·工作展望 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 作者简历 | 第55-56页 |
| 学位论文数据集 | 第56页 |