摘要 | 第5-6页 |
ABSTRACT | 第6-7页 |
符号对照表 | 第11-12页 |
缩略语对照表 | 第12-15页 |
第一章 绪论 | 第15-19页 |
1.1 课题背景及意义 | 第15-16页 |
1.2 国内外研究现状 | 第16-18页 |
1.3 研究内容与章节安排 | 第18-19页 |
第二章 UVM验证方法学原理与SM4模块工作机制 | 第19-29页 |
2.1 UVM验证方法学原理 | 第19-24页 |
2.1.1 UVM验证组件的基本类 | 第19-20页 |
2.1.2 UVM TLM1.0通信 | 第20-22页 |
2.1.3 UVM验证平台的重要机制 | 第22-24页 |
2.2 SM4模块工作机制 | 第24-28页 |
2.2.1 国密算法SM4模块功能 | 第24-26页 |
2.2.2 SM4模块结构 | 第26-28页 |
2.3 本章小结 | 第28-29页 |
第三章 SM4算法模块验证平台设计与实现 | 第29-53页 |
3.1 验证需求分析 | 第29-32页 |
3.2 SM4算法模块验证平台框架 | 第32-34页 |
3.3 验证平台的通信组件 | 第34-36页 |
3.3.1 事务类(Transaction) | 第34-35页 |
3.3.2 虚拟接口(virtual interface) | 第35-36页 |
3.4 验证平台激励的产生和监测组件 | 第36-42页 |
3.4.1 创建agent类 | 第36-37页 |
3.4.2 创建driver类 | 第37-38页 |
3.4.3 创建monitor类 | 第38-39页 |
3.4.4 创建control monitor | 第39-40页 |
3.4.5 创建sequencer类 | 第40-41页 |
3.4.6 创建virtual sequencer类 | 第41-42页 |
3.5 验证平台的自检组件 | 第42-46页 |
3.5.1 创建reference model类 | 第42-44页 |
3.5.2 创建scoreboard类 | 第44-46页 |
3.6 验证平台的寄存器模型组件 | 第46-49页 |
3.7 验证平台的环境组件 | 第49-51页 |
3.7.1 创建sm4_if_uvc和ahb_if_uvc环境类 | 第49-51页 |
3.7.2 创建更高层次的环境类 | 第51页 |
3.8 本章小结 | 第51-53页 |
第四章 验证平台运行与仿真结果分析 | 第53-85页 |
4.1 验证环境设置 | 第53-54页 |
4.2 仿真环境的随机化配置 | 第54-56页 |
4.3 黑盒测试(Blackbox testing) | 第56-70页 |
4.3.1 Ft_test测试用例设计及仿真结果分析 | 第57-59页 |
4.3.2 Step_multi_group_test测试用例设计及仿真结果分析 | 第59-63页 |
4.3.3 Interface_test测试用例设计及仿真结果分析 | 第63页 |
4.3.4 Back_to_back_test测试用例设计及仿真结果分析 | 第63-65页 |
4.3.5 Mode_test测试用例设计及仿真结果分析 | 第65-66页 |
4.3.6 Address_abort_test测试用例设计及仿真结果分析 | 第66-67页 |
4.3.7 Sfr_rw_test测试用例设计及仿真结果分析 | 第67-69页 |
4.3.8 Hard_reset_test测试用例设计及仿真结果分析 | 第69-70页 |
4.4 白盒测试(Whitebox testing) | 第70-83页 |
4.4.1 Polarity_data_run_test测试用例设计及仿真结果分析 | 第71-73页 |
4.4.2 polarity_key_run_test测试用例设计及仿真结果分析 | 第73-75页 |
4.4.3 Mask_test测试用例设计及仿真结果分析 | 第75-77页 |
4.4.4 Step_ft_test测试用例设计及仿真结果分析 | 第77-79页 |
4.4.5 Step_vs_conti_test测试用例设计及仿真结果分析 | 第79-81页 |
4.4.6 Lfsr_test测试用例设计及仿真结果分析 | 第81-83页 |
4.5 覆盖率分析 | 第83-84页 |
4.6 本章小结 | 第84-85页 |
第五章 总结与展望 | 第85-87页 |
参考文献 | 第87-91页 |
致谢 | 第91-93页 |
作者简介 | 第93-94页 |