面向异构FPGA的技术映射方法研究
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·问题的提出 | 第7-9页 |
| ·国内外FPGA的应用现状 | 第9-11页 |
| ·技术映射的相关研究 | 第11-12页 |
| ·工作概要及章节安排 | 第12-13页 |
| 第二章 相关技术 | 第13-23页 |
| ·基于查找表的FPGA | 第13-17页 |
| ·FPGA的基本结构 | 第13页 |
| ·可编程逻辑模块的基本结构 | 第13-15页 |
| ·基于SRAM的编程技术 | 第15-17页 |
| ·异构的FPGA | 第17-20页 |
| ·FPGA开发的基本流程 | 第20-22页 |
| ·本章小结 | 第22-23页 |
| 第三章 面向异构FPGA的技术映射 | 第23-33页 |
| ·引言 | 第23-24页 |
| ·技术映射基本流程 | 第24-27页 |
| ·问题描述 | 第24页 |
| ·映射过程 | 第24-27页 |
| ·支持异构FPGA的EDA流程 | 第27-29页 |
| ·指令级模块的映射 | 第29-30页 |
| ·结合RTL综合的技术映射 | 第30-31页 |
| ·本章小结 | 第31-33页 |
| 第四章 面向异构查找表的技术映射 | 第33-43页 |
| ·引言 | 第33-34页 |
| ·相关定义和问题描述 | 第34-36页 |
| ·相关定义 | 第34-36页 |
| ·问题描述 | 第36页 |
| ·面向延迟优化的技术映射 | 第36-42页 |
| ·标记 | 第37-40页 |
| ·映射 | 第40页 |
| ·面积优化 | 第40-42页 |
| ·本章小结 | 第42-43页 |
| 第五章 基于可满足性的布尔匹配算法 | 第43-53页 |
| ·布尔匹配的概念 | 第43-44页 |
| ·布尔可满足性 | 第44-45页 |
| ·布尔匹配问题转化为可满足性问题 | 第45-49页 |
| ·可编程逻辑块到CNF的转换 | 第45-47页 |
| ·布尔匹配问题到可满性问题的转换 | 第47-49页 |
| ·对布尔匹配的改进 | 第49-50页 |
| ·本章小结 | 第50-53页 |
| 第六章 实验结果 | 第53-57页 |
| ·实验环境 | 第53页 |
| ·映射到不同规格查找表的实验 | 第53-54页 |
| ·布尔匹配算法实验 | 第54页 |
| ·实验结论 | 第54-57页 |
| 第七章 结论 | 第57-59页 |
| ·结论 | 第57页 |
| ·下一步的工作 | 第57-59页 |
| 致谢 | 第59-61页 |
| 参考文献 | 第61-65页 |
| 作者在读期间研究成果 | 第65页 |
