| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-11页 |
| ·课题背景及研究目的和意义 | 第7-8页 |
| ·验证方法概述 | 第8-9页 |
| ·本课题研究的主要内容和论文结构 | 第9-11页 |
| 第二章 VMM验证方法学 | 第11-21页 |
| ·SystemVerilog | 第11-13页 |
| ·覆盖率驱动验证 | 第13-15页 |
| ·基于断言的验证 | 第15-16页 |
| ·VMM验证方法特点 | 第16-19页 |
| ·SystemVerilog的VMM标准库介绍 | 第19-20页 |
| ·本章小结 | 第20-21页 |
| 第三章 验证流程设计 | 第21-31页 |
| ·测试点 | 第21-23页 |
| ·测试点的定义 | 第21-22页 |
| ·测试点的分类 | 第22-23页 |
| ·测试点分解的要点 | 第23页 |
| ·传统验证流程 | 第23-25页 |
| ·结合功能覆盖率和断言的验证流程 | 第25-27页 |
| ·验证方案的编写原则 | 第27-28页 |
| ·验证环境搭建的要点 | 第28页 |
| ·测试向量编写的要点 | 第28-29页 |
| ·本章小结 | 第29-31页 |
| 第四章 MAC模块的基本功能 | 第31-41页 |
| ·基于IEEE802.3 协议以太MAC的基本功能介绍 | 第31-36页 |
| ·以太网简介 | 第31-32页 |
| ·MAC控制器 | 第32-33页 |
| ·IEEE802.3 协议介绍 | 第33-36页 |
| ·GPON 项目中MAC模块支持的功能描述 | 第36-40页 |
| ·MAC基本功能列表 | 第36-37页 |
| ·MAC支持的接口 | 第37-40页 |
| ·本章小结 | 第40-41页 |
| 第五章 MAC验证 | 第41-67页 |
| ·MAC模块的测试点分解 | 第41-42页 |
| ·MAC验证环境的搭建 | 第42-60页 |
| ·数据结构和格式(MAC_frame) | 第44-46页 |
| ·场景产生器(generator) | 第46-47页 |
| ·功能事务处理(transaction) | 第47-49页 |
| ·参考模型(rm) | 第49-50页 |
| ·总线功能模型(BFM) | 第50-56页 |
| ·自动比较器(checker) | 第56-58页 |
| ·配置模块(command) | 第58页 |
| ·验证顶层(TH_env) | 第58-60页 |
| ·MAC接口协议断言验证 | 第60-63页 |
| ·基于功能覆盖率的验证 | 第63-64页 |
| ·MAC仿真结果 | 第64-66页 |
| ·本章小结 | 第66-67页 |
| 第六章 总结与展望 | 第67-69页 |
| ·总结 | 第67页 |
| ·展望 | 第67-69页 |
| 致谢 | 第69-71页 |
| 参考文献 | 第71-73页 |
| 研究成果 | 第73-74页 |