基于VMM的高效率单元验证平台设计
| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| 第一章 绪论 | 第10-15页 |
| ·选题背景与研究意义 | 第10-11页 |
| ·研究现状与发展趋势 | 第11-13页 |
| ·本文主要研究内容 | 第13-14页 |
| ·本文章节安排 | 第14-15页 |
| 第二章 验证技术与VMM验证方法学 | 第15-21页 |
| ·基于仿真的功能验证 | 第15-17页 |
| ·基于事务的验证 | 第15-16页 |
| ·覆盖率驱动的验证 | 第16页 |
| ·基于断言的验证 | 第16-17页 |
| ·SystemVerilog简介 | 第17-18页 |
| ·VMM验证方法学 | 第18-20页 |
| ·VMM层次化验证模型 | 第18-19页 |
| ·VMM标准库介绍 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 基于VMM的单元验证平台设计 | 第21-53页 |
| ·GPON系统简介 | 第21-24页 |
| ·GPON系统结构 | 第21-22页 |
| ·物理层管理维护消息(PLOAM) | 第22-24页 |
| ·GPON OLT MAC芯片中的PLOAM模块 | 第24-27页 |
| ·PLOAM模块工作环境 | 第24-25页 |
| ·PLOAM模块实现功能 | 第25页 |
| ·PLOAM模块接口描述 | 第25-26页 |
| ·基于VMM的PLOAM验证平台模型 | 第26-27页 |
| ·基于VMM验证平台设计 | 第27-50页 |
| ·数据激励的结构与格式 | 第27-31页 |
| ·接口(Interface)组件设计 | 第31-33页 |
| ·总线功能模型(BFM)组件设计 | 第33-42页 |
| ·参考模型RM组件设计 | 第42-44页 |
| ·自动比对模型CHECKER组件设计 | 第44-48页 |
| ·平台模型ENV组件设计 | 第48-50页 |
| ·传统VMM验证平台的不足之处 | 第50-52页 |
| ·可重用性低 | 第50-51页 |
| ·接口时序难以验证 | 第51-52页 |
| ·配置随机范围冗余 | 第52页 |
| ·本章小结 | 第52-53页 |
| 第四章 基于传统VMM验证平台的改进 | 第53-71页 |
| ·改进型的VMM验证平台 | 第53页 |
| ·CPU ENV子模块设计 | 第53-58页 |
| ·CpuPacket类设计 | 第54-55页 |
| ·CPU IF接口设计 | 第55-56页 |
| ·CPU GEN组件设计 | 第56-57页 |
| ·CPU BFM组件设计 | 第57-58页 |
| ·扩展组件CFG设计 | 第58-63页 |
| ·封装CPU配置寄存器的事务命令 | 第61-62页 |
| ·改进之后的测试用例 | 第62-63页 |
| ·引入功能覆盖率模型 | 第63-68页 |
| ·对配置寄存器的覆盖点分解 | 第63-67页 |
| ·对激励的随机覆盖 | 第67-68页 |
| ·引入断言验证模型 | 第68-70页 |
| ·接口时序的断言验证 | 第68-69页 |
| ·优先级顺序的断言验证 | 第69-70页 |
| ·本章小结 | 第70-71页 |
| 第五章 验证平台的测试与分析 | 第71-86页 |
| ·验证平台测试用例 | 第71-72页 |
| ·验证平台的仿真结果分析 | 第72-74页 |
| ·验证平台的完备性分析 | 第74-81页 |
| ·代码覆盖率 | 第74-76页 |
| ·功能覆盖率 | 第76-77页 |
| ·断言验证覆盖率 | 第77-81页 |
| ·验证平台的可重用性分析 | 第81-82页 |
| ·CPU_ENV子模块的重用 | 第81页 |
| ·接口断言组件的重用 | 第81页 |
| ·其他组件的重用 | 第81-82页 |
| ·验证平台的集成性分析 | 第82-85页 |
| ·单元验证平台框图 | 第82-83页 |
| ·单元验证平台向上集成 | 第83-85页 |
| ·本章小结 | 第85-86页 |
| 第六章 全文总结与展望 | 第86-88页 |
| ·总结 | 第86-87页 |
| ·展望 | 第87-88页 |
| 致谢 | 第88-89页 |
| 参考文献 | 第89-92页 |
| 攻硕期间取得的研究成果 | 第92-93页 |
| 附录一 | 第93页 |
