声明
致谢
摘要
插图和附表目录
1 绪论
1.1 课题的研究背景及意义
1.2 国内外研究现状
1.2.1 验证方法学的发展
1.2.2 测试用例最小化技术
1.3 文章创新点
1.4 论文结构安排
2 UVM验证方法学和回归测试
2.1 UVM验证方法学
2.1.1 System Verilog语言
2.1.2 UVM的component和object
2.1.3 UVM的phase及objection
2.1.4 UVM的config机制
2.1.5 UYM的transaction和port
2.1.6 UVM的sequence机制
2.1.7 UVM的factory机制
2.1.8 UVM寄存器模型
2.2 回归测试
2.2.1 回归测试的概念
2.2.2 回归测试用例集
2.2.3 测试用例缩减技术
2.2.4 现有的测试用例缩减方法
2.3 本章小结
3 混合遗传算法解决测试用例集最小化问题
3.1 遗传算法
3.1.1 遗传算法简介
3.1.2 遗传算法的基本思想
3.2 测试用例最小化优化模型
3.3 用于测试用例最小化的混合遗传算法设计
3.3.1 编码设计和初始化种群设计
3.3.2 适应度函数设计
3.3.3 选择策略设计
3.3.4 交叉策略设计
3.3.5 变异策略设计
3.3.6 贪心算法设计
3.3.7 算法流程
3.4 本章小结
4 仿真平台的搭建和仿真结果分析
4.2 仿真平台的总体架构
4.3 仿真平台的具体实现和测试用例集自生成
4.3.1 通信接口interface
4.3.2 事务基类transaction
4.3.3 序列发生器sequencer
4.3.4 驱动器driver
4.3.5 监视器monitor
4.3.6 代理组件agent
4.3.7 参考模型reference model
4.3.8 计分板scoreboard
4.3.9 功能覆盖率收集组件
4.3.10 验证环境env
4.3.11 序列sequence和测试用例集自生成
4.4 仿真结果分析
4.5 本章小结
5 总结与展望
5.1 工作总结
5.2 未来工作展望
参考文献
攻读学位期间科研成果