| 声 明 | 第1页 |
| 论文版权使用授权书 | 第2-3页 |
| 摘要 | 第3-4页 |
| ABSTRACT | 第4-8页 |
| 图目录 | 第8-9页 |
| 表目录 | 第9-10页 |
| 第一章 引言 | 第10-14页 |
| ·背景介绍 | 第10页 |
| ·软件仿真类型 | 第10-11页 |
| ·解释执行式 | 第10页 |
| ·编译执行式 | 第10-11页 |
| ·高级语言生成式 | 第11页 |
| ·国内外现状 | 第11-12页 |
| ·本文的研究贡献 | 第12-13页 |
| ·论文组织 | 第13-14页 |
| 第二章 值与数据 | 第14-18页 |
| ·值的表示 | 第14页 |
| ·数据的表示 | 第14-18页 |
| ·成员变量、预定义类型和宏 | 第15页 |
| ·接口成员函数 | 第15页 |
| ·静态成员函数 | 第15页 |
| ·位选择函数和多倍展开函数 | 第15-16页 |
| ·运算符重载 | 第16-18页 |
| 第三章 翻译器前端 | 第18-26页 |
| ·预处理 | 第18-19页 |
| ·`include | 第18页 |
| ·`define 与`undef | 第18-19页 |
| ·`ifdef/`ifndef、`elsif、`else和`endif | 第19页 |
| ·词法分析 | 第19-21页 |
| ·关键字 | 第20页 |
| ·运算符 | 第20页 |
| ·数值型常量 | 第20-21页 |
| ·标识符 | 第21页 |
| ·语法分析与语义检查 | 第21-25页 |
| ·模块 | 第21-22页 |
| ·表达式表 | 第22-24页 |
| ·符号表 | 第24-25页 |
| ·参数和接口 | 第25页 |
| ·子模块信息 | 第25页 |
| ·事件块集合 | 第25页 |
| ·中间文件存储 | 第25-26页 |
| 第四章 翻译器后端 | 第26-42页 |
| ·常用的生成方法 | 第26-28页 |
| ·宏替换法 | 第26页 |
| ·过程化生成法 | 第26-28页 |
| ·事件链构造法 | 第28页 |
| ·子模块展开 | 第28-30页 |
| ·同事件块合并 | 第30-33页 |
| ·静态事件分析 | 第33-34页 |
| ·优化 | 第34-37页 |
| ·非阻塞赋值的优化 | 第34-36页 |
| ·内存访问优化 | 第36-37页 |
| ·代码生成 | 第37-42页 |
| ·表达式 | 第38页 |
| ·线 | 第38-39页 |
| ·整数 | 第39页 |
| ·寄存器 | 第39页 |
| ·语句 | 第39页 |
| ·事件块 | 第39页 |
| ·参数 | 第39页 |
| ·使用方式 | 第39-42页 |
| 第五章 生成代码的测试 | 第42-46页 |
| ·软件工程的测试方法 | 第42-43页 |
| ·生成代码的测试 | 第43-46页 |
| ·行为测试法 | 第43-44页 |
| ·RTL验证测试法 | 第44-45页 |
| ·Verilog仿真嵌入测试法 | 第45-46页 |
| 第六章 初步实验 | 第46-50页 |
| ·实验结果 | 第46-47页 |
| ·实验结果分析 | 第47-49页 |
| ·实验结论 | 第49-50页 |
| 第七章 结束语 | 第50-52页 |
| ·总结 | 第50页 |
| ·进一步工作 | 第50-52页 |
| 参考文献 | 第52-53页 |
| 致谢 | 第53-54页 |
| 作者简历 | 第54页 |