基于Specman Elite平台的消息解调协处理器功能验证
| 摘要 | 第1-6页 |
| Abstract | 第6-7页 |
| 目录 | 第7-9页 |
| 插图索引 | 第9-11页 |
| 附表索引 | 第11-12页 |
| 第1章 绪论 | 第12-18页 |
| ·功能验证技术发展 | 第12-15页 |
| ·课题的目的与意义 | 第15-16页 |
| ·本文组织结构 | 第16-18页 |
| 第2章 功能验证方法 | 第18-29页 |
| ·功能验证简介 | 第18-20页 |
| ·功能验证的概念 | 第18-20页 |
| ·功能验证的组成 | 第20页 |
| ·功能验证的作用 | 第20页 |
| ·功能验证方法 | 第20-24页 |
| ·动态验证 | 第20-21页 |
| ·静态验证 | 第21-23页 |
| ·基于断言的验证 | 第23-24页 |
| ·Specman Elite验证平台与E语言 | 第24-28页 |
| ·Specman Elite和E语言简介 | 第24-26页 |
| ·基于Specman Elite的验证平台 | 第26-28页 |
| ·本章小结 | 第28-29页 |
| 第3章 消息解调协处理器的设计实现 | 第29-36页 |
| ·消息解调原理 | 第29-30页 |
| ·消息解调协处理器的设计实现 | 第30-35页 |
| ·消息解调协处理器的结构 | 第30-31页 |
| ·消息解调协处理器的功能 | 第31-32页 |
| ·消息解调协处理器的实现方案 | 第32-35页 |
| ·本章小结 | 第35-36页 |
| 第4章 验证环境的搭建与验证方案 | 第36-57页 |
| ·消息解调协处理器验证环境的搭建 | 第36-54页 |
| ·验证环境的总体设计 | 第36-38页 |
| ·ARM Agent模块设计 | 第38-47页 |
| ·ANU Agent模块设计 | 第47-51页 |
| ·Out Agent模块设计 | 第51-52页 |
| ·Refm模块设计 | 第52-54页 |
| ·Scoreboard模块设计 | 第54页 |
| ·消息解调协处理器验证方案 | 第54-56页 |
| ·传统验证方案 | 第54-55页 |
| ·消息解调协处理器验证方案 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第5章 验证结果与分析 | 第57-65页 |
| ·验证过程 | 第57-59页 |
| ·脚本的使用 | 第57页 |
| ·打印信息 | 第57-58页 |
| ·波形检查 | 第58-59页 |
| ·覆盖率统计 | 第59-62页 |
| ·功能覆盖率 | 第59-60页 |
| ·代码覆盖率 | 第60-62页 |
| ·验证发现的缺陷 | 第62-64页 |
| ·第一条径不使能硬件输出错误 | 第63页 |
| ·数据包包头错误 | 第63-64页 |
| ·硬件丢失数据错误 | 第64页 |
| ·本章小结 | 第64-65页 |
| 结论 | 第65-67页 |
| 参考文献 | 第67-70页 |
| 致谢 | 第70-71页 |
| 附录A 攻读学位期间发表的学术论文目录 | 第71页 |
