文摘
英文文摘
第1章 绪论
1.1 课题的学术背景
1.1.1 集成电路的发展
1.1.2 验证面临的挑战
1.1.3 基于System Verilog的验证
1.2 国内外研究进展
1.3 课题的研究内容
1.4 课题的研究意义
第2章 YAK SoC系统级验证概述
2.1 系统级验证的概念
2.2 验证方法学在系统级验证中的应用
2.2.1 验证方法学简介
2.3.2 面向对象编程(OOP)的基本原理
2.3.3 VMM验证方法学及特点
2.3 本章小结
第3章 YAK SoC系统级验证平台的规划
3.1 YAK SoC的系统架构
3.2 YAK SoC系统验证的准则
3.2.1 AHB总线
3.2.2 APB总线
3.3 YAK SoC系统验证的过程
3.4 本章小结
第4章 YAK SoC系统级验证平台的实现
4.1 APB验证平台的实现
4.1.1 测试层
4.1.2 场景层
4.1.3 功能层
4.1.4 指令层
4.1.5 信号层
4.1.6 仿真环境的控制
4.2 AHB验证平台的实现
4.2.1 验证方法的选择
4.2.2 AHB验证IP的使用
4.3 覆盖率的收集
4.3.1 覆盖率的种类
4.3.2 覆盖率收集的方法
4.4 本章小结
第5章 YAK SoC系统级验证平台的应用
5.1 DUT与验证平台的集成
5.1.1 接口格式的转换
5.1.2 验证平台的配置
5.2 验证结果及分析
5.2.1 APB验证平台
5.2.2 AHB验证平台
5.2.3 覆盖率分析
5.3 本章小结
结论
参考文献
攻读硕士学位期间所发表的学术论文
致谢