| 摘要 | 第1-6页 |
| ABSTRACT | 第6-7页 |
| 目录 | 第7-9页 |
| 第一章 绪论 | 第9-15页 |
| ·背景知识及研究动机 | 第9-13页 |
| ·主要贡献 | 第13-15页 |
| 第二章 可重配置电路结构和语言结构 | 第15-23页 |
| ·函数式编程语言与高阶函数 | 第15-17页 |
| ·函数式编程语言的特点 | 第15-16页 |
| ·高阶函数 | 第16页 |
| ·高阶函数的例子 | 第16-17页 |
| ·FOLD 结构 | 第17-19页 |
| ·MAP 结构 | 第19-20页 |
| ·FORLOOP 结构 | 第20-23页 |
| 第三章 预编译器 | 第23-31页 |
| ·Verilog 设计与 SV+ 设计 | 第23-24页 |
| ·预编译器的构建 | 第24-31页 |
| ·SV+ 语法 | 第24-25页 |
| ·Verilog 语法 | 第25-27页 |
| ·从 SV+ 到 Verilog 的翻译规则 | 第27-31页 |
| 第四章 SV+ 实际应用的例子 | 第31-41页 |
| ·SCM 实例 | 第31-32页 |
| ·什么是 SCM | 第31-32页 |
| ·SCM 的实现 | 第32页 |
| ·快速傅立叶变换（FFT）实例 | 第32-34页 |
| ·傅立叶序列 | 第32-33页 |
| ·离散傅立叶变换 | 第33页 |
| ·快速傅立叶变换 | 第33页 |
| ·快速傅立叶算法的 SV+ 实现 | 第33-34页 |
| ·离散余弦变换（DCT）实例 | 第34-38页 |
| ·什么是离散余弦变换 | 第34-35页 |
| ·离散余弦变换的实现 | 第35-38页 |
| ·高级加密标准（AES）算法实例 | 第38-41页 |
| ·什么是 AES | 第38-39页 |
| ·AES 的实现 | 第39-41页 |
| 第五章 实验结果 | 第41-47页 |
| ·SV+ code & Verilog | 第41-42页 |
| ·对由 SV+ 综合出来的 AES 实现电路的测量 | 第42-43页 |
| ·SCM、DCT 和 FFT 的仿真与综合结果 | 第43-47页 |
| 全文总结 | 第47-49页 |
| 参考文献 | 第49-53页 |
| 致谢 | 第53-55页 |
| 攻读学位期间发表的学术论文目录 | 第55-57页 |
| 攻读学位期间参与的项目 | 第57页 |