2.5G传输容量的光传送网络芯片CDV验证
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-17页 |
| ·论文的研究背景 | 第7-8页 |
| ·国内外研究现状 | 第8-14页 |
| ·形式验证 | 第9-10页 |
| ·基于仿真的动态验证 | 第10-11页 |
| ·FPGA 验证 | 第11-12页 |
| ·软硬件协同验证 | 第12-14页 |
| ·本文验证方法介绍 | 第14-15页 |
| ·论文的主要工作 | 第15-17页 |
| ·论文的目的和意义 | 第15页 |
| ·论文的章节安排及内容介绍 | 第15-17页 |
| 第二章 CDV验证流程 | 第17-27页 |
| ·测试点 | 第17-19页 |
| ·测试点的定义 | 第17-18页 |
| ·测试点的分类 | 第18-19页 |
| ·测试点的级别和测试活动 | 第19页 |
| ·验证流程 | 第19-24页 |
| ·传统的验证方法 | 第19-21页 |
| ·功能覆盖率驱动的验证方法 | 第21-23页 |
| ·代码覆盖率分析 | 第23-24页 |
| ·CDV验证对本芯片的指导意义 | 第24-25页 |
| ·小结 | 第25-27页 |
| 第三章 芯片功能概述 | 第27-37页 |
| ·客户侧概述 | 第27-30页 |
| ·波分侧概述 | 第30-33页 |
| ·芯片处理过程 | 第33-35页 |
| ·异步映射 | 第34页 |
| ·比特同步映射 | 第34-35页 |
| ·CBR2G5 到 OPU1的映射 | 第35页 |
| ·小结 | 第35-37页 |
| 第四章 仿真平台结构 | 第37-49页 |
| ·Specman_E简介 | 第37-39页 |
| ·E 验证语言 | 第37-38页 |
| ·Specman Elite 平台简介 | 第38-39页 |
| ·EVC 验证思想特点 | 第39-41页 |
| ·验证与设计并行 | 第39页 |
| ·基于事务级的验证方法 | 第39页 |
| ·验证平台的重用性 | 第39-40页 |
| ·随机测试 | 第40-41页 |
| ·平台灵活性和独立性 | 第41页 |
| ·验证环境整体框架 | 第41-47页 |
| ·上行方向 | 第42-46页 |
| ·下行方向 | 第46页 |
| ·路径配置 | 第46-47页 |
| ·小结 | 第47-49页 |
| 第五章 基于功能覆盖率的验证结果的分析和总结 | 第49-71页 |
| ·功能覆盖的准备 | 第49-52页 |
| ·相关概念 | 第49-50页 |
| ·常用设置 | 第50-52页 |
| ·覆盖率统计过程 | 第52-70页 |
| ·小结 | 第70-71页 |
| 第六章 结束语 | 第71-73页 |
| 致谢 | 第73-75页 |
| 参考文献 | 第75-78页 |
| 研究成果 | 第78-79页 |
