摘要 | 第4-5页 |
ABSTRACT | 第5页 |
本论文专用语(符号、变量、缩略词等)的注释表 | 第9-10页 |
第一章 绪论 | 第10-12页 |
1.1 背景介绍 | 第10页 |
1.2 研究动机 | 第10-11页 |
1.3 研究内容与目标 | 第11页 |
1.4 论文结构安排 | 第11-12页 |
第二章 研究背景 | 第12-24页 |
2.1 FPGA技术 | 第12页 |
2.2 FPGA架构 | 第12-18页 |
2.2.1 逻辑模块架构 | 第13-14页 |
2.2.2 布线架构 | 第14-16页 |
2.2.3 均质架构 | 第16-17页 |
2.2.4 异质架构 | 第17-18页 |
2.3 软逻辑设计与硬模块设计 | 第18-19页 |
2.4 基于FPGA的计算机辅助设计 | 第19-20页 |
2.5 VTR CAD工作流 | 第20-21页 |
2.6 Odin Ⅱ | 第21-23页 |
2.6.1 Verilog语法分析 | 第22页 |
2.6.2 仿真 | 第22-23页 |
2.7 本章小结 | 第23-24页 |
第三章 For循环语句编译功能模块的设计与实现 | 第24-39页 |
3.1 Odin Ⅱ系统中的for循环语句 | 第24-25页 |
3.2 模块的设计与实现 | 第25-31页 |
3.2.1 "FOR"节点的查找 | 第26-27页 |
3.2.2 抽象语法树的修改 | 第27-28页 |
3.2.3 中间变量的删除 | 第28-31页 |
3.2.4 抽象语法树的化简 | 第31页 |
3.3 模块的测试与评估 | 第31-38页 |
3.3.1 简单的for循环语句的测试 | 第31-34页 |
3.3.2 复杂的for循环语句的测试 | 第34-36页 |
3.3.3 嵌套for循环语句的测试 | 第36-38页 |
3.4 本章小节 | 第38-39页 |
第四章 抽象语法树化简功能模块的设计与实现 | 第39-60页 |
4.1 算术表达式化简功能的实现 | 第39-43页 |
4.1.1 抽象语法树中的算术表达式 | 第39-41页 |
4.1.2 含变量的算术表达式的化简 | 第41-42页 |
4.1.3 抽象语法树的重建 | 第42-43页 |
4.2 参数的删减 | 第43-44页 |
4.3 位移运算的使用 | 第44-45页 |
4.4 模块的测试与评估 | 第45-59页 |
4.4.1 含有参数的表达式的测试 | 第45-48页 |
4.4.2 含有一组括号的表达式的测试 | 第48-50页 |
4.4.3 含有双重括号的表达式的测试 | 第50-55页 |
4.4.4 位移运算的测试 | 第55-59页 |
4.5 本章小节 | 第59-60页 |
第五章 硬模块的综合与化简 | 第60-71页 |
5.1 模块的设计与实现 | 第60-64页 |
5.1.1 运算节点的查找 | 第61-63页 |
5.1.2 节点的合并 | 第63-64页 |
5.2 模块的测试与评估 | 第64-70页 |
5.2.1 基准测试用例的验证 | 第64页 |
5.2.2 基准测试用例通过Odin Ⅱ的测试 | 第64-68页 |
5.2.3 基准测试用例通过VTR的测试 | 第68-70页 |
5.3 本章小结 | 第70-71页 |
第六章 总结与展望 | 第71-73页 |
6.1 论文总结 | 第71-72页 |
6.2 未来展望 | 第72-73页 |
参考文献 | 第73-77页 |
附录A "基准测试用例"中的一个Verilog文件——diffeq1.v | 第77-79页 |
附录B 一个BLIF文件举例 | 第79-80页 |
攻读硕士期间发表的论文和科研成果 | 第80页 |