芯片验证漫游指南
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
查
3.2.4 形
D
式验证
3 验证的方法
3.3.1 Vim开发环 境
3.3.2 商业SV开发 环境——DVT
3.3 开发环境
3.6.1 功率和 能量
3.6.2 静 态功耗和 动态功耗
3.6.3 节能技 术
3 验证的方法
3.6 效能验证
3.6.4 效能验 证
3.6.5 功 耗预测与 优化
3 验证的方法
1.4.1 按 时保质低 耗
1.4.2 芯 片研发与 客户反馈
1.4.3 缺 陷增长曲 线
1 芯片验证全视
1.4 验证的任务和目标
1.5.1 验 证周期中 的检查点
1.5.4 开发验 证环境
1 芯片验证全视
1.5 验证的周期
1.5.2 功能详 述
1.5.5 调 试环境和 HDL文件
1.5.3 制定验 证计划
2.4 激励的原则
2 验证的策略
2.6.1 验证平 台
2.6.3 运行环 境
2.6.2 待验设 计
2.6.4 验证管 理
2.6 集成的环境
07
Part One
3 验证的方法
3 验证的方法
3.1 动态仿真
3.2 静态检查
3.3 开发环境
3.6 效能验证
3.5 硬件加速
3.4 虚拟模型
3 验证的方法
1.5.6 回归测 试
1 芯片验证全视
1.5 验证的周期
01
1.5.7 芯片生产
02
1.5.8 硅后系统 测试
03
1.5.9 逃逸分析
06
Part One
2 验证的策略
2 验证的策略
2.1 设计
A
的流程
2.4 激励
D
的原则
2.2 验证
B
的层次
2.5 检查
E
的方法
2.3 验证
C
的透明度
2.6 集成
03
1.3 验证能力
的5个维度
02
1.2 验证的处
境
01
1.1 功能验证
简介
1 芯片验证全视
1.2.1 验证语言的 发展
A
1.2.2 验证面临的 挑战
B
1.2 验证的处境
1 芯片验证全视
1.3.1 完备性
1.3.2 复用性
1.3.5 代码性 能
1.3.4 高产出
1.3.3 高效性
1.3 验证能力的5个维度
6.2.5 寄存器
描述
6.2 硬件设计描述
6 验证的结构
6.6 验证结构
6.6.1 项目背 景
6.6.2 MCDF 验证进度安排
11
Part One
7 SV环境构建
7 SV环境构建
A
7.1 数 据类型
D
7.4 程序 和模块
B
7.2 模块 定义与例
化
E
7.5 测试 的始终
C
7.3 接口
F
7.6 本章 结束语
5.6.4 逻辑性
5 验证的管理
5.6 验证师的培养
5.6.2 不做假 设
5.6.5 “战鼓 光环”
5.6.3 专注力
5.6.6 降低复 杂度
5 验证的管理
5.7.1 对验证的 偏见
5.7.3 验证标准 化
5.7.2 验证面临 的现状
5.7.4 验证经验 的积累和突破
5.7 验证的专业化
10
Part One
的检查清单
5 验证的管理
5.7 验证的 专业化
5.8 本章结 束语
5 验证的管理
5.2.2 人力资 源安排
1
2
3
5.2.1 时间管 理
5.2.3 任务拆 分和重组
5.2 验证管理的三要素
5 验证的管理
5.3.1 回归流 程
5.3.2 回归质 量
5.3.3 回归效 率
5.3 验证的收敛
5.6.1 全硅能 力
7 SV环境构建
01
7.2.1 模块定 义
02
7.2.2 模块例 化
B
4.4.3 断言覆盖 率
C
4.4.4 功能覆盖 率
D
4.4.5 缺陷曲线
E
4 验证的计划
4.4 计划的进程评估
09
Part One
5 验证的管理
5 验证的管理
06
5.6 验证师的 培养
05
5.5 团队建设
04
5.4 让漏洞无
处可逃
03
5.3 验证的收
敛
02
5.2 验证管理
的三要素
01
5.1 验证周期
3.7 性能 验证
3.8 趋势 展望
3.9 本章 结束语
3.1.1 定向测试
3.1.3 基于覆盖率驱动的随 机验证
3.1.5 断言检查
3 验证的方法
3.1 动态仿真
3.1.2 随机测试
3.1.4 基于TLM的随机验证
3.2.1 语
A
法检查
3.2.2 语
B
义检查
3 验证的方法
3.2 静态检查
3.2.3 跨 C 时钟域检
2.2.2 子系统 级
2.2.4 硅后系 统级
2.2.3 芯片系 统级
2.2 验证的层次
2 验证的策略
2.3.1 黑盒验 证
2.3.2 白盒验 证
2.3.3 灰盒验 证
2.3 验证的透明度
2 验证的策略
2.4.1 接 口类型
2.4.2 序 列颗粒度
2.4.3 可控性
2.4.4 组 件独立性
2.4.5 组 合自由度
6 验证的结构
6 验证的结构
6.1 测试 平台概述
6.4 监测 器
6.2 硬件 设计描述
6.5 比较 器
6.3 激励 发生器
6.6 验证 结构
6 验证的结构
6.7 本章结束语
6 验证的结构
0 1
6.2.1 功能描
述
0 2
6.2.2 设计结
构
0 3
6.2.3 接口描
述
0 4
6.2.4 接口时
序
0 5
F
的环境
2 验证的策略
2.7 本章结束语
2.1.1 TLM模型的需求和 ESL开发
2.1.3 ESL系统设计流程
2.1.5 传统的系统集成视角
2 验证的策略
2.1 设计的流程
2.1.2 传统的系统设计流程
2.1.4 语言的抽象级比较 2.1.6 ESL系统集成视角
2 验证的策略
2.2.1 模块级
3.7.1 设定目 标
3.7.2 测试环 境
3.7.3 验证方 法
3.7 性能验证
3 验证的方法
3.8.1 技术之间的 横向跨越
A
3.8.2 层次之间的 纵向复用
B
3.8 趋势展望
08
Part One
4 验证的计划
4 验证的计划
4.1 计
A
划概述
4.2 计划
B
的内容
4.3 计划
C
的实现
4.4 计划
D
的进程评
估
4.5 本章
E
结束语
4 验证的计划
4.2.1 技术 的视角
1
4.2.2 项目 的视角
2
4.2 计划的内容
4 验证的计划
4.3.2 开会讨 论
4.3.4 创建验 证环境
1
2
3
4
4.3.1 邀请相 关人员
4.3.3 确定测 试场景
4.3 计划的实现
4.4.1 回归测试 通过率
A
4.4.2 代码覆盖 率
芯片验证漫游指南
01
Part One
其他
其他
02
Part One
序（一）
序（一）
03
Part One
序（二）
序（二）
04
Part One
行业人士评语
行业人士评语
05
Part One
1 芯片验证全视
1 芯片验证全视
Fra Baidu bibliotek
06
1.6 本章结束 语
05
1.5 验证的周
期
04
1.4 验证的任
务和目标
3.2.4 形
D
式验证
3 验证的方法
3.3.1 Vim开发环 境
3.3.2 商业SV开发 环境——DVT
3.3 开发环境
3.6.1 功率和 能量
3.6.2 静 态功耗和 动态功耗
3.6.3 节能技 术
3 验证的方法
3.6 效能验证
3.6.4 效能验 证
3.6.5 功 耗预测与 优化
3 验证的方法
1.4.1 按 时保质低 耗
1.4.2 芯 片研发与 客户反馈
1.4.3 缺 陷增长曲 线
1 芯片验证全视
1.4 验证的任务和目标
1.5.1 验 证周期中 的检查点
1.5.4 开发验 证环境
1 芯片验证全视
1.5 验证的周期
1.5.2 功能详 述
1.5.5 调 试环境和 HDL文件
1.5.3 制定验 证计划
2.4 激励的原则
2 验证的策略
2.6.1 验证平 台
2.6.3 运行环 境
2.6.2 待验设 计
2.6.4 验证管 理
2.6 集成的环境
07
Part One
3 验证的方法
3 验证的方法
3.1 动态仿真
3.2 静态检查
3.3 开发环境
3.6 效能验证
3.5 硬件加速
3.4 虚拟模型
3 验证的方法
1.5.6 回归测 试
1 芯片验证全视
1.5 验证的周期
01
1.5.7 芯片生产
02
1.5.8 硅后系统 测试
03
1.5.9 逃逸分析
06
Part One
2 验证的策略
2 验证的策略
2.1 设计
A
的流程
2.4 激励
D
的原则
2.2 验证
B
的层次
2.5 检查
E
的方法
2.3 验证
C
的透明度
2.6 集成
03
1.3 验证能力
的5个维度
02
1.2 验证的处
境
01
1.1 功能验证
简介
1 芯片验证全视
1.2.1 验证语言的 发展
A
1.2.2 验证面临的 挑战
B
1.2 验证的处境
1 芯片验证全视
1.3.1 完备性
1.3.2 复用性
1.3.5 代码性 能
1.3.4 高产出
1.3.3 高效性
1.3 验证能力的5个维度
6.2.5 寄存器
描述
6.2 硬件设计描述
6 验证的结构
6.6 验证结构
6.6.1 项目背 景
6.6.2 MCDF 验证进度安排
11
Part One
7 SV环境构建
7 SV环境构建
A
7.1 数 据类型
D
7.4 程序 和模块
B
7.2 模块 定义与例
化
E
7.5 测试 的始终
C
7.3 接口
F
7.6 本章 结束语
5.6.4 逻辑性
5 验证的管理
5.6 验证师的培养
5.6.2 不做假 设
5.6.5 “战鼓 光环”
5.6.3 专注力
5.6.6 降低复 杂度
5 验证的管理
5.7.1 对验证的 偏见
5.7.3 验证标准 化
5.7.2 验证面临 的现状
5.7.4 验证经验 的积累和突破
5.7 验证的专业化
10
Part One
的检查清单
5 验证的管理
5.7 验证的 专业化
5.8 本章结 束语
5 验证的管理
5.2.2 人力资 源安排
1
2
3
5.2.1 时间管 理
5.2.3 任务拆 分和重组
5.2 验证管理的三要素
5 验证的管理
5.3.1 回归流 程
5.3.2 回归质 量
5.3.3 回归效 率
5.3 验证的收敛
5.6.1 全硅能 力
7 SV环境构建
01
7.2.1 模块定 义
02
7.2.2 模块例 化
B
4.4.3 断言覆盖 率
C
4.4.4 功能覆盖 率
D
4.4.5 缺陷曲线
E
4 验证的计划
4.4 计划的进程评估
09
Part One
5 验证的管理
5 验证的管理
06
5.6 验证师的 培养
05
5.5 团队建设
04
5.4 让漏洞无
处可逃
03
5.3 验证的收
敛
02
5.2 验证管理
的三要素
01
5.1 验证周期
3.7 性能 验证
3.8 趋势 展望
3.9 本章 结束语
3.1.1 定向测试
3.1.3 基于覆盖率驱动的随 机验证
3.1.5 断言检查
3 验证的方法
3.1 动态仿真
3.1.2 随机测试
3.1.4 基于TLM的随机验证
3.2.1 语
A
法检查
3.2.2 语
B
义检查
3 验证的方法
3.2 静态检查
3.2.3 跨 C 时钟域检
2.2.2 子系统 级
2.2.4 硅后系 统级
2.2.3 芯片系 统级
2.2 验证的层次
2 验证的策略
2.3.1 黑盒验 证
2.3.2 白盒验 证
2.3.3 灰盒验 证
2.3 验证的透明度
2 验证的策略
2.4.1 接 口类型
2.4.2 序 列颗粒度
2.4.3 可控性
2.4.4 组 件独立性
2.4.5 组 合自由度
6 验证的结构
6 验证的结构
6.1 测试 平台概述
6.4 监测 器
6.2 硬件 设计描述
6.5 比较 器
6.3 激励 发生器
6.6 验证 结构
6 验证的结构
6.7 本章结束语
6 验证的结构
0 1
6.2.1 功能描
述
0 2
6.2.2 设计结
构
0 3
6.2.3 接口描
述
0 4
6.2.4 接口时
序
0 5
F
的环境
2 验证的策略
2.7 本章结束语
2.1.1 TLM模型的需求和 ESL开发
2.1.3 ESL系统设计流程
2.1.5 传统的系统集成视角
2 验证的策略
2.1 设计的流程
2.1.2 传统的系统设计流程
2.1.4 语言的抽象级比较 2.1.6 ESL系统集成视角
2 验证的策略
2.2.1 模块级
3.7.1 设定目 标
3.7.2 测试环 境
3.7.3 验证方 法
3.7 性能验证
3 验证的方法
3.8.1 技术之间的 横向跨越
A
3.8.2 层次之间的 纵向复用
B
3.8 趋势展望
08
Part One
4 验证的计划
4 验证的计划
4.1 计
A
划概述
4.2 计划
B
的内容
4.3 计划
C
的实现
4.4 计划
D
的进程评
估
4.5 本章
E
结束语
4 验证的计划
4.2.1 技术 的视角
1
4.2.2 项目 的视角
2
4.2 计划的内容
4 验证的计划
4.3.2 开会讨 论
4.3.4 创建验 证环境
1
2
3
4
4.3.1 邀请相 关人员
4.3.3 确定测 试场景
4.3 计划的实现
4.4.1 回归测试 通过率
A
4.4.2 代码覆盖 率
芯片验证漫游指南
01
Part One
其他
其他
02
Part One
序（一）
序（一）
03
Part One
序（二）
序（二）
04
Part One
行业人士评语
行业人士评语
05
Part One
1 芯片验证全视
1 芯片验证全视
Fra Baidu bibliotek
06
1.6 本章结束 语
05
1.5 验证的周
期
04
1.4 验证的任
务和目标