首页--工业技术论文--无线电电子学、电信技术论文--基本电子电路论文--数字电路论文

Odin Ⅱ系统编译及综合模块的设计与实现

摘要第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页

论文共80页,点击 下载论文
上一篇:国外文化生态保护区规划研究
下一篇:建筑工程质量风险预测与控制方法研究