基于VMM的微码处理器验证
| 摘要 | 第1-6页 |
| Abstract | 第6-9页 |
| 第一章 绪论 | 第9-11页 |
| ·课题研究背景与意义 | 第9页 |
| ·研究现状 | 第9-10页 |
| ·本文研究内容与章节安排 | 第10-11页 |
| 第二章 功能验证技术及 VMM 方法学 | 第11-30页 |
| ·功能验证概述 | 第11-12页 |
| ·常用的功能验证技术 | 第12-16页 |
| ·动态验证技术 | 第12-14页 |
| ·静态验证技术 | 第14-16页 |
| ·验证方法学 | 第16-29页 |
| ·System Verilog 简介 | 第17-18页 |
| ·VMM 验证方法学 | 第18-25页 |
| ·VMM 验证平台 | 第25-28页 |
| ·VMM 标准库 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 微码处理器结构及其验证方案 | 第30-37页 |
| ·微码处理器应用环境 | 第30-31页 |
| ·微码处理器的主要功能 | 第31-33页 |
| ·微码处理器外部接口及内部架构介绍 | 第33-34页 |
| ·微码处理器外部接口及其描述 | 第33-34页 |
| ·微码处理器内部模块介绍 | 第34页 |
| ·验证方案 | 第34-36页 |
| ·验证策略 | 第35-36页 |
| ·测试点分解 | 第36页 |
| ·本章小结 | 第36-37页 |
| 第四章 验证平台搭建 | 第37-53页 |
| ·参考模型 | 第37-39页 |
| ·事物 | 第39-41页 |
| ·随机指令事务 | 第39-41页 |
| ·比对事务 | 第41页 |
| ·InsAgent | 第41-42页 |
| ·BFM | 第42-44页 |
| ·DataRam | 第42页 |
| ·InstRam | 第42-43页 |
| ·Monitor | 第43-44页 |
| ·计分板 | 第44-45页 |
| ·Interface | 第45-46页 |
| ·Env | 第46-49页 |
| ·TC | 第49-50页 |
| ·功能覆盖点 | 第50-51页 |
| ·断言 | 第51页 |
| ·本章小结 | 第51-53页 |
| 第五章 验证结果及覆盖率分析 | 第53-58页 |
| ·代码覆盖率及结果分析 | 第53-56页 |
| ·行覆盖率 | 第54-55页 |
| ·条件覆盖率 | 第55-56页 |
| ·状态机覆盖率 | 第56页 |
| ·功能覆盖率及结果分析 | 第56-57页 |
| ·验证完备性分析 | 第57页 |
| ·本章小结 | 第57-58页 |
| 总结和展望 | 第58-59页 |
| 参考文献 | 第59-62页 |
| 致谢 | 第62-63页 |
| 附件 | 第63页 |
