基于VMM的外部存储器接口验证
| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 第1章 绪论 | 第8-15页 |
| ·课题背景 | 第8-9页 |
| ·验证技术简介 | 第9-12页 |
| ·动态功能验证 | 第10-11页 |
| ·静态功能验证 | 第11-12页 |
| ·验证技术发展趋势 | 第12-13页 |
| ·课题研究的意义 | 第13-14页 |
| ·论文的工作和结构 | 第14-15页 |
| ·论文的主要工作 | 第14页 |
| ·论文的结构 | 第14-15页 |
| 第2章 VMM验证方法分析 | 第15-21页 |
| ·事务级验证的优点 | 第15-16页 |
| ·随机化验证的优点 | 第16页 |
| ·覆盖率驱动的优点 | 第16-17页 |
| ·断言的优点 | 第17-19页 |
| ·标准验证库的优点 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第3章 外部存储器接口 | 第21-30页 |
| ·AHB总线协议 | 第21-23页 |
| ·EMI的结构和工作原理 | 第23-26页 |
| ·主机接口单元 | 第24-25页 |
| ·外部存储器接口单元 | 第25-26页 |
| ·存储器简介 | 第26-29页 |
| ·异步SRAM存储器 | 第26-27页 |
| ·SDR-SDRAM存储器 | 第27-29页 |
| ·本章小结 | 第29-30页 |
| 第4章 基于VMM验证平台的设计 | 第30-43页 |
| ·验证平台结构 | 第30-31页 |
| ·验证环境设计 | 第31-39页 |
| ·AHB VIP配置 | 第32-34页 |
| ·验证环境配置 | 第34-36页 |
| ·事务产生器的设计 | 第36-37页 |
| ·记分板的设计 | 第37页 |
| ·功能覆盖的设计 | 第37-38页 |
| ·断言点的设计 | 第38-39页 |
| ·覆盖率驱动的验证平台 | 第39-41页 |
| ·功能覆盖率驱动 | 第39-40页 |
| ·代码覆盖率驱动 | 第40-41页 |
| ·可重用的平台结构 | 第41-42页 |
| ·本章小结 | 第42-43页 |
| 第5章 基于VMM验证平台的应用 | 第43-56页 |
| ·EMI验证 | 第43-47页 |
| ·验证功能点的提取 | 第43-45页 |
| ·验证步骤和实现 | 第45-46页 |
| ·断言在平台设计中的应用 | 第46-47页 |
| ·AHB WRAPPER | 第47-49页 |
| ·验证结果 | 第49-55页 |
| ·EMI验证结果 | 第49-52页 |
| ·AHB WRAPPER验证结果 | 第52-53页 |
| ·验证结果分析 | 第53-54页 |
| ·输出的结果比较 | 第54-55页 |
| ·本章小结 | 第55-56页 |
| 结论 | 第56-57页 |
| 参考文献 | 第57-63页 |
| 附录 | 第63-68页 |
| 攻读学位期间发表的学术论文 | 第68-70页 |
| 致谢 | 第70页 |
