| 摘要 | 第1-4页 |
| Abstract | 第4-6页 |
| 第一章 绪论 | 第6-16页 |
| ·课题背景和研究意义 | 第6-8页 |
| ·验证语言和验证方法研究现状 | 第8-11页 |
| ·基于覆盖率的验证方法 | 第11-13页 |
| ·主要工作和论文结构安排 | 第13-16页 |
| 第二章 IIP模块应用背景 | 第16-24页 |
| ·分组交换芯片应用背景 | 第16-17页 |
| ·路由器的应用背景 | 第17-18页 |
| ·IPV4 报文格式 | 第18-20页 |
| ·路由原理 | 第20-22页 |
| ·本章小结 | 第22-24页 |
| 第三章 验证环境 | 第24-44页 |
| ·验证环境设计目的 | 第24-25页 |
| ·验证环境层次化结构 | 第25-28页 |
| ·IIP模块验证环境搭建 | 第28-43页 |
| ·本章小结 | 第43-44页 |
| 第四章 覆盖率及随机验证方法 | 第44-64页 |
| ·覆盖率空间划分 | 第44-46页 |
| ·代码覆盖率 | 第46-47页 |
| ·功能覆盖率 | 第47-54页 |
| ·IIP模块的覆盖率统计结果分析 | 第54-59页 |
| ·随机验证方法 | 第59-61页 |
| ·本章小结 | 第61-64页 |
| 第五章 结束语 | 第64-66页 |
| ·总结 | 第64页 |
| ·下一步工作 | 第64-66页 |
| 致谢 | 第66-67页 |
| 参考文献 | 第67-69页 |
| 研究成果 | 第69-70页 |