【现货包邮】芯片验证漫游指南 从系统理论到UVM的验证全视界 刘斌 路桑 芯片验证工程师技术-so88
【现货包邮】芯片验证漫游指南 从系统理论到UVM的验证全视界 刘斌 路桑 芯片验证工程师技术 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
刘斌(路桑) 著
店铺: 蓝墨水图书专营店 出版社: 电子工业出版社 ISBN:9787121339011 商品编码:10019513775 出版时间:2018-03-31 页数:1 字数:1
内容介绍资深验证专家刘斌(路桑)向您全面介绍芯片验证,从验证的理论,到SystemVerilog语言和UVM验证方法学,再到高级验证项目话题。这本综合性、实用性的验证理论和编程方面的图书,针对芯片验证领域不同级别的验证工程师,给出由浅入深的技术指南:学习验证理论来认识验证流程和标准,学习SystemVerilog语言和UVM方法学来掌握目前主流的动态验证技术,了解高级验证话题在今后遇到相关问题时可以参考。
作者介绍刘斌(路桑)目前是Intel公司的资深验证专家。在Intel移动通信事业部主持验证架构规划和方法学研究,担任过几款亿门级通信芯片的验证经理角色。在工程领域之外,他在西安电子科技大学和西安交通大学客座讲授芯片验证课程。创办的验证技术订阅号“路科验证”,目前已有超过10000名的订阅者。多次在设计验证行业国际会议和展览中发表论文,并做了富有特色的演讲。在西安交通大学取得微电子专业学士学位,在瑞典皇家理工学院取得芯片设计专业硕士学位。
目录
第1章 芯片验证全视
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.1 TLM模型的需求和ESL开发
2.1.2 传统的系统设计流程
2.1.3 ESL系统设计流程
2.1.4 语言的抽象级比较
2.1.5 传统的系统集成视角
2.1.6 ESL系统集成视角
2.2 验证的层次
2.2.1 模块级
2.2.2 子系统级
2.2.3 芯片系统级
2.2.4 硅后系统级
2.3 验证的透明度
电子书下载地址:
相关电子书推荐:
- 文件名
- 西南大学史-第四卷
- 采购与供应策略
- 揭秘垃圾-尤斯伯恩看里面
- AutoCAD 2018室内设计从入门到精通(第2版)(含光盘)
- 纳米科学 9787562842224
- 阶梯围棋基础训练丛书:布局专项训练(套装5册)张杰著 围棋教辅
- 儿童百科全书(千姿百态的生活学生版)/探索天下
- 法国蓝带烘焙宝典(上)
- 走近科学--功夫动物1-1
- 绿野仙踪全集(共14册)(插图版·全译本)(套装共14册) [7-14岁]
- 向量优化问题的适定性研究及相关分析 出版社:西南财经大学出版社
- 桥牌进阶丛书第三辑(套装9-12册)
- 川滇地区强震孕育的深部动力环境研究 马宏生
- F4超值套装书籍卡耐基成功励志作品大全集人性的弱点+人性的优点 包含人性的光辉语言的突破写
- 珠穆朗玛峰到底有多高