封面
声明
中文摘要
英文摘要
目录
第1章 绪论
1.1 课题背景和研究意义
1.2 功能验证的发展状况
1.3 本文的主要工作以及章节安排
第2章 功能验证概述
2.1 功能验证的途径
2.2 功能验证的基本流程
2.3 VMM验证方法学
2.4本章小结
第3章 网络数据处理芯片加密模块
3.1 网络数据处理芯片加密模块
3.2 加密模块的接口信号和输入信号
3.3 验证的挑战
3.4 验证策略
3.5本章小结
第4章 功能验证平台设计
4.1 测试点的提取
4.2 加密引擎验证平台
4.3 加密模块验证平台
4.4 接口
4.5 验证环境介绍
4.6本章小结
第5章 功能仿真及结果分析
5.1 加密模块的功能仿真
5.2 回归测试
5.3 覆盖率分析
5.4 FPGA 原型验证
第六章 总结与展望
6.1 总结
6.2展望
致谢
参考文献
附 录
作者在读期间发表的学术论文及授权专利
附录A:加密模块的约束的详细代码
附录B:AES-GCM加密算法的log文件
杭州电子科技大学;