银河飞腾DSP模拟验证平台的设计与实现
| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-16页 |
| ·课题研究背景及意义 | 第12-13页 |
| ·主要工作和研究成果 | 第13-14页 |
| ·论文的结构 | 第14-16页 |
| 第二章 验证理论与方法概述 | 第16-27页 |
| ·验证基本理论与方法 | 第16-20页 |
| ·形式化验证 | 第16-18页 |
| ·硬件仿真验证 | 第18-19页 |
| ·软件模拟验证 | 第19-20页 |
| ·验证的覆盖分析理论 | 第20-23页 |
| ·验证平台的发展 | 第23-26页 |
| ·本章小结 | 第26-27页 |
| 第三章 银河飞腾DSP内核模块级验证 | 第27-49页 |
| ·模块级验证分析 | 第27-29页 |
| ·验证工具介绍 | 第29-30页 |
| ·Vera简介 | 第29-30页 |
| ·VCS简介 | 第30页 |
| ·直接激励的模块级验证 | 第30-41页 |
| ·运算功能单元功能分析 | 第30-34页 |
| ·功能单元直接激励验证实现 | 第34-40页 |
| ·功能单元直接激励验证模拟实现 | 第40-41页 |
| ·指令级模块验证 | 第41-47页 |
| ·功能单元指令验证分析 | 第41-43页 |
| ·功能单元指令验证实现 | 第43-47页 |
| ·本章小结 | 第47-49页 |
| 第四章 银河飞腾DSP指令功能模型及验证 | 第49-69页 |
| ·验证平台概述 | 第49-51页 |
| ·系统验证平台的概念 | 第49-50页 |
| ·验证平台参考结构 | 第50-51页 |
| ·银河飞腾DSP验证平台分析 | 第51-54页 |
| ·指令构建银河飞腾DSP验证平台 | 第51-52页 |
| ·银河飞腾DSP的指令特征 | 第52-54页 |
| ·银河飞腾DSP指令模型的设计与实现 | 第54-63页 |
| ·银河飞腾DSP指令模型框架 | 第54-57页 |
| ·银河飞腾DSP指令模型实现 | 第57-63页 |
| ·指令模型的约束生成 | 第63-67页 |
| ·银河飞腾DSP指令约束生成分析 | 第63-64页 |
| ·银河飞腾DSP指令约束实现 | 第64-67页 |
| ·使用指令模型对银河飞腾DSP内核的激励生成 | 第67页 |
| ·本章小结 | 第67-69页 |
| 第五章 银河飞腾DSP系统级模拟环境 | 第69-78页 |
| ·系统级模拟环境框架 | 第69-70页 |
| ·模拟环境参数配置 | 第70-72页 |
| ·外接设备行为级模型实现 | 第72-77页 |
| ·本章小结 | 第77-78页 |
| 第六章 工作总结和展望 | 第78-80页 |
| ·全文工作总结 | 第78页 |
| ·工作展望 | 第78-80页 |
| 致谢 | 第80-81页 |
| 参考文献 | 第81-84页 |
| 作者在学期间取得的学术成果 | 第84页 |
