| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第1章 绪论 | 第10-15页 |
| ·课题背景和研究意义 | 第10-11页 |
| ·功能验证的发展状况 | 第11-13页 |
| ·本文的主要工作以及章节安排 | 第13-15页 |
| 第2章 功能验证概述 | 第15-23页 |
| ·功能验证的途径 | 第15-16页 |
| ·功能验证的基本流程 | 第16-18页 |
| ·VMM 验证方法学 | 第18-22页 |
| ·System Verilog 验证语言 | 第18-19页 |
| ·VMM 验证方法学 | 第19-22页 |
| ·本章小结 | 第22-23页 |
| 第3章 网络数据处理芯片加密模块 | 第23-35页 |
| ·网络数据处理芯片加密模块 | 第24-32页 |
| ·加密模块的架构 | 第24-25页 |
| ·数据包的结构 | 第25-29页 |
| ·加密引擎的工作原理 | 第29-32页 |
| ·加密模块的接口信号和输入信号 | 第32-33页 |
| ·验证的挑战 | 第33-34页 |
| ·验证策略 | 第34页 |
| ·本章小结 | 第34-35页 |
| 第4章 功能验证平台设计 | 第35-52页 |
| ·测试点的提取 | 第35-36页 |
| ·加密引擎验证平台 | 第36-46页 |
| ·数据产生器 | 第37-39页 |
| ·Engine BFM | 第39-43页 |
| ·reference | 第43-44页 |
| ·monitor 和 checker | 第44-45页 |
| ·协同封装类 env | 第45-46页 |
| ·加密模块验证平台 | 第46-48页 |
| ·Module BFM | 第47页 |
| ·PP monitor and checker | 第47-48页 |
| ·Module monitor and checker | 第48页 |
| ·接口 | 第48-49页 |
| ·验证环境介绍 | 第49-51页 |
| ·版本管理 SVN | 第49页 |
| ·文件存放管理 | 第49-50页 |
| ·验证中错误的管理 | 第50页 |
| ·．仿真的自动化 | 第50-51页 |
| ·本章小结 | 第51-52页 |
| 第5章 功能仿真及结果分析 | 第52-66页 |
| ·加密模块的功能仿真 | 第52-57页 |
| ·加密模块主要功能点的仿真 | 第52-55页 |
| ·异常情况测试 | 第55-56页 |
| ·边界情况测试 | 第56-57页 |
| ·回归测试 | 第57-58页 |
| ·覆盖率分析 | 第58-64页 |
| ·代码覆盖率 | 第58-61页 |
| ·功能覆盖率 | 第61-64页 |
| ·FPGA 原型验证 | 第64-66页 |
| 第六章 总结与展望 | 第66-68页 |
| ·总结 | 第66页 |
| ·展望 | 第66-68页 |
| 致谢 | 第68-69页 |
| 参考文献 | 第69-73页 |
| 作者在读期间发表的学术论文及授权专利 | 第73-74页 |
| 附录 | 第74-86页 |
| 详细摘要 | 第86-91页 |