芯片验证漫游指南:从系统理论到uvm的验证全视界 软硬件技术 刘斌 著 新华正版
举报
软硬件技术 新华书店全新正版书籍 支持7天无理由
-
作者:
刘斌 著
-
出版社:
电子工业出版社
-
ISBN:
9787121339011
-
出版时间:
2018-04
-
版次:
1
-
装帧:
平装
-
开本:
16开
-
页数:
538页
-
字数:
896千字
-
作者:
刘斌 著
-
出版社:
电子工业出版社
-
ISBN:
9787121339011
-
出版时间:
2018-04
-
版次:
1
-
装帧:
平装
-
开本:
16开
-
页数:
538页
-
字数:
896千字
售价
￥
58.20
5.9折
定价
￥99.00
品相
全新品相描述
上书时间2024-03-01
卖家超过10天未登录
手机购买
![]()
微信扫码访问
-
-
商品描述：
-
目录：
章芯片验证全视
1.1功能验证简介
1.2验证的处境
1.2.1验证语言的发展
1.2.2验证面临的挑战
1.3验证能力的5个维度
1.3.1完备
1.3.2复用
1.3.3高效
1.3.4高产出
1.3.5代码能
1.4验证的任务和目标
1.4.1按时保质低耗
1.4.2芯片研发与客户反馈
1.4.3缺陷增长曲线
1.5验证的周期
1.5.1验证周期中的检查点
1.5.2功能详述
1.5.3制定验证计划
1.5.4开发验证环境
1.5.5调试环境和hdl文件
1.5.6回归测试
1.5.7芯片生产
1.5.8硅后系统测试
1.5.9逃逸分析
1.6本章结束语
第2章验证的策略
2.1设计的流程
2.1.1tlm模型的需求和esl开发
2.1.2传统的系统设计流程
2.1.3esl系统设计流程
2.1.4语言的抽象级比较
2.1.5传统的系统集成视角
2.1.6esl系统集成视角
2.2验证的层次
2.2.1模块级
2.2.2子系统级
2.2.3芯片系统级
2.2.4硅后系统级
2.3验证的透明度
2.3.1黑盒验证
2.3.2白盒验证
2.3.3灰盒验证
2.4激励的原则
2.4.1接类型
2.4.2序列颗粒度
2.4.3可控
2.4.4组件独立
2.4.5组合自由度
2.5检查的方
2.6集成的环境
2.6.1验证台
2.6.2待验设计
2.6.3运行环境
2.6.4验证管理
2.7本章结束语
第3章验证的方
3.1动态
3.1.1定向测试
3.1.2测试
3.1.3基于覆盖率驱动的验证
3.1.4基于tlm的验证
3.1.5断言检查
3.2静态检查
3.2.1语检查
3.2.2语义检查
3.2.3跨时钟域检查
3.2.4形式验证
3.3开发环境
3.3.1vim开发环境
3.3.2商业sv开发环境——dvt
3.4虚拟模型
3.5硬件加速
3.6效能验证
3.6.1功率和能量
3.6.2静态功耗和动态功耗
3.6.3节能技术
3.6.4效能验证
3.6.5功耗预测与优化
3.7能验证
3.7.1设定目标
3.7.2测试环境
3.7.3验证方
3.8趋势展望
3.8.1技术之间的横向跨越
3.8.2层次之间的纵向复用
3.9本章结束语
第4章验证的计划
4.1计划概述
4.2计划的内容
4.2.1技术的视角
4.2.2项目的视角
4.3计划的实现
4.3.1邀请相关人员
4.3.2开会讨论
4.3.3确定测试场景
4.3.4创建验证环境
4.4计划的进程评估
4.4.1回归测试通过率
4.4.2代码覆盖率
4.4.3断言覆盖率
4.4.4功能覆盖率
4.4.5缺陷曲线
4.5本章结束语
第5章验证的管理
5.1验证周期的检查清单
5.2验证管理的三要素
5.2.1时间管理
5.2.2人力资源安排
5.2.3任务拆分和重组
5.3验证的收敛
5.3.1回归流程
5.3.2回归质量
5.3.3回归效率
5.4让漏洞无处可逃
5.5团队建设
5.6验证师的培养
5.6.1全硅能力
5.6.2不做设
5.6.3专注力
5.6.4逻辑
5.6.5“战鼓光环”
5.6.6降低复杂度
5.7验证的专业化
5.7.1对验证的偏见
5.7.2验证面临的现状
5.7.3验证标准化
5.7.4验证经验的积累和突破
5.8本章结束语
第6章验证的结构
6.1测试台概述
6.2硬件设计描述
6.2.1功能描述
6.2.2设计结构
6.2.3接描述
6.2.4接时序
6.2.5寄存器描述
6.3激励发生器
6.4监测器
6.5比较器
6.6验证结构
6.6.1项目背景
6.6.2mcdf验证进度安排
6.7本章结束语
第7章sv环境构建
7.1数据类型
7.2模块定义与例化
7.2.1模块定义
7.2.2模块例化
7.2.3参数使用
7.2.4参数修改
7.2.5宏定义
7.3接
7.3.1接连接方式1
7.3.2接连接方式2
7.3.3接的其他应用
7.4程序和模块
7.4.1verilog设计竞争问题
7.4.2sv的调度机制
7.4.3module数据采样示例1
7.4.4module数据采样示例2
7.4.5program数据采样示例
7.5测试的始终
7.5.1系统函数调用方式结束
7.5.2program隐式结束
7.5.3program显式结束
7.6本章结束语
第8章sv组件实现
8.1激励发生器的驱动
8.1.1激励驱动的方
8.1.2任务和函数
8.1.3数据生命周期
8.1.4通过接驱动
8.1.5测试向量产生
8.1.6结束控制
8.2激励发生器的封装
8.2.1类的封装
8.2.2类的继承
8.2.3成员覆盖
8.2.4虚方
8.2.5句柄使用
8.2.6对象复制
8.2.7对象回收
8.3激励发生器的化
8.3.1可的激励种类
8.3.2约束求解器
8.3.3变量和数组
8.3.4约束块
8.3.5化控制
8.3.6化的稳定
8.3.7化的流程控制
8.3.8化的系统函数
8.4监测器的采样
8.4.1interfaceclocking简介
8.4.2利用clocking事件同步
8.4.3利用clocking采样数据
8.4.4利用clocking产生激励
8.4.5monitor的采样功能
8.5组件间的通信
8.5.1通知的需求
8.5.2资源共享的需求
8.5.3数据通信的需求
8.5.4进程同步的需求
8.5.5进程通信要素的比较和应用
8.6比较器和参模型
8.6.1异常检查
8.6.2常规检查
8.6.3时序检查
8.6.4组件连接
8.7测试环境的报告规范
8.7.1信息报告库
8.7.2信息库使用场景
8.8本章结束语
第9章sv系统集成
9.1包的意义
9.2验证环境的组装
9.2.1封装验证环境的方式
9.2.2模块环境的复用量
9.2.3比较器的复用量
9.2.4顶层环境的实现
9.3测试场景的生成
9.3.1动态控制激励
9.3.2调度多个激励器
9.3.3线程的精细控制
9.3.4动态测试向量
9.3.5向量群落的并发控制
9.4灵活化的配置
9.4.1agent的两面
9.4.2各个组件的模式配置
9.4.3验证结构的集成顺序
9.5初论环境的复用
9.5.1复用的策略
9.5.2水复用的应用
9.5.3垂直复用的应用
9.6本章结束语
0章uvm世界观
10.1我们所处的验证时代
10.2类库地图
10.3工厂机制
10.3.1工厂的意义
10.3.2工厂提供的便利
10.3.3覆盖方
10.3.4确保正确覆盖的代码要求
10.4核心基类
……
参文献
内容简介：
验证专家刘斌（路桑）向您全面介绍芯片验证，从验证的理论，到systemverilog语言和uvm验证方学，再到验证项目话题。这本综合、实用的验证理论和编程方面的图书，针对芯片验证领域不同级别的验证工程师，给出由浅入深的技术指南：学验证理论来认识验证流程和标准，学systemverilog语言和uvm方学来掌握目前主流的动态验证技术，了解验证话题在今后遇到相关问题时可以参。
作者简介：
刘斌（路桑），目前是intel公司的验证专家。在intel移动通信事业部主持验证架构规划和方学研究，担任过几款亿门级通信芯片的验证经理角。在工程领域之外，他在西安电子科技大学和西安交通大学客座讲授芯片验证课程。创办的验证技术订阅号“路科验证”，目前已有超过10000名的订阅者。多次在设计验证行业国际会议和展览中发表，并做了富有特的演讲。在西安交通大学取得微电子专业学士，在瑞典皇家理工学院取得芯片设计专业硕士。
![]()
孔网啦啦啦啦啦纺织女工火锅店第三课
开播时间：09月02日 10:30
即将开播，去预约
直播中，去观看
占位居中
