| 摘要 | 第1-5页 |
| ABSTRACT | 第5-7页 |
| 第一章 绪论 | 第7-11页 |
| ·论文研究背景 | 第7-9页 |
| ·论文主要工作和章节安排 | 第9-11页 |
| 第二章 协议与项目介绍 | 第11-21页 |
| ·SDH 相关协议介绍 | 第11-14页 |
| ·OTN 相关协议介绍 | 第14-16页 |
| ·项目介绍 | 第16-21页 |
| 第三章 验证环境的搭建和SPECman E 语言介绍 | 第21-39页 |
| ·基本验证环境搭建介绍 | 第21-24页 |
| ·Generator 的设计 | 第24-26页 |
| ·Driver BFM 的设计 | 第26-30页 |
| ·Monitor BFM 的设计 | 第30-31页 |
| ·ScoreBoard 的设计 | 第31-35页 |
| ·RM(Reference Module)设计 | 第35-36页 |
| ·TestCase 的设计 | 第36-39页 |
| 第四章 基于功能覆盖的随机测试 | 第39-53页 |
| ·功能feature 的提取 | 第39-42页 |
| ·功能覆盖率分析计划 | 第42-46页 |
| ·Checking | 第46-49页 |
| ·随机测试 | 第49-53页 |
| 结束语 | 第53-55页 |
| 致谢 | 第55-57页 |
| 参考文献 | 第57-59页 |
| 在学期间研究成果 | 第59页 |