成功加入购物车
图书条目标准图
正版现货
[美] 威立 (Bruce Wile)、[美] 威立 沈海华 乐翔 / 机械工业出版社 / 2010-03 / 平装
售价 ¥ 179.00
品相 八五品品相描述
优惠 满包邮
延迟发货说明
上书时间2023-03-28
卖家超过10天未登录
全面的功能验证:完整的工业流程
《全面的功能验证:完整的工业流程》分为5个部分。第1部分的内容是功能验证概述,包括概念背景、验证计划、验证策略和一些基本练习。第1部分还介绍了验证周期的概念和层次化验证的概念,以及在实践中怎样将巨型设计分解为可验证的单元。第2部分和第3部分关注两个最主要的功能验证方法:基于模拟的验证方法和形式验证方法。第4部分把注意力集中在验证周期的后期阶段,包括回归测试和“逃逸”错误分析,以及一些高级的验证技术。第5部分,是一些验证实例研究的集合,进一步强调了验证周期和验证过程中的相关概念。
《全面的功能验证:完整的工业流程》既可作为科研院所、高等工科院校计算机、电子、微电子等专业的教材或教学参考书,也可作为集成电路验证领域的工程师的技术指南或工具书。
威立(BruceWile)是IBM杰出工程师。他是IBM系统与技术组ASIC首席工程师,在这个岗位上,他领导开发了当前和下一代的服务器芯片组。自从1985年从宾夕法尼亚州立大学毕业并开始职业生涯,Wile先生在功能验证领域工作了18年。他曾先后担任许多芯片和系统的验证工程师,包括开始的IBMS/390ES/9000系列缓存和存储控制器单元,进而是处理器、I/O设备以及整个系统。在验证生涯中,他还担任着验证组领导和管理岗位。2000年,Wile先生被任命为IBM服务器芯片验证组长,负责整个IBM服务器全线产品的验证技术开发和执。 ……
译者序对本书的评论原书序前言第1部分验证简介第1章芯片设计的验证51.1功能验证简介51.2验证面临的挑战91.2.1状态空间爆炸的挑战91.2.2查找不正确行为的挑战101.3验证的任务和目标121.4验证的开销151.4.1工程开销和对独立验证团队的需求161.4.2设计自动化工具171.4.3时间171.5本书范畴以外的验证领域181.6验证周期:一个结构化的流程181.6.1功能规范201.6.2建立验证计划201.6.3开发环境201.6.4调试硬件描述语言和环境211.6.5回归测试211.6.6硬件制造221.6.7调试流片后的硬件(系统测试)221.6.8“逃逸”错误分析221.6.9常见的中断验证周期的情况231.7本章小结231.8习题24第2章验证流程262.1验证层次262.1.1验证等级262.1.2怎样选择验证等级302.2验证策略342.2.1驱动原理342.2.2检查策略372.2.3检查黑盒设计412.2.4验证策略汇总442.2.5通用的模拟验证环境462.2.6验证方法学的进展462.3本章小结512.4习题52第3章基于模拟的验证基础553.1基本验证环境:测试平台553.1.1激励模块563.1.2监视器603.1.3检查器623.1.4记分板623.1.5待验证设计643.2观察点:黑盒、白盒和灰盒验证653.2.1黑盒653.2.2白盒653.2.3灰盒663.3基于断言的验证概述673.3.1断言的重要性683.3.2断言表达设计意图693.3.3断言的分类693.4测试平台和测试策略713.4.1确定性的测试平台723.4.2自检查的测试平台733.5本章小结763.6习题76第4章验证计划784.1功能规范784.2验证计划的演进794.3验证计划的内容804.3.1验证层次的描述814.3.2必需的工具814.3.3风险和依赖824.3.4待验证的功能834.3.5细节测试及方法:环境844.3.6覆盖率要求884.3.7测试用例场景:矩阵884.3.8资源需求894.3.9进度细节904.4验证实例:Calc1914.4.1设计描述914.4.2为Calc1建立验证计划944.4.3Calc1设计的确定性验证994.5本章小结1024.6习题103第2部分基于模拟的验证第5章硬件描述语言和模拟引擎1075.1硬件描述语言1085.1.1硬件描述语言建模层次1085.1.2硬件描述语言在验证方面的应用1155.2模拟引擎介绍1195.2.1速度与精度1205.2.2选择正确的方法1215.3事件驱动模拟1225.3.1层次化模型网络1225.3.2随时间变化进行的模型评估1245.3.3模型评估中的事件驱动控制1255.3.4实现一个事件驱动的模拟引擎框架1295.4改善模拟吞吐量1345.5基于周期的模拟1375.5.1同步设计1385.5.2基于周期的模拟算法1395.5.3对基本的基于周期的模拟引擎进行扩展1415.6波形观察器1445.7本章小结1475.8习题148第6章创建环境1496.1测试平台描述工具1496.1.1采用硬件描述语言作为测试平台描述工具1506.1.2C/C++库1556.1.3高级验证语言1726.1.4其它测试平台描述工具1806.2验证覆盖率1816.2.1概述1826.2.2功能验证覆盖率与制造过程中的测试覆盖率1836.2.3结构覆盖率1846.2.4功能覆盖率1866.2.5大量覆盖率数据的采集和管理1896.2.6正确的覆盖率分析策略1906.3本章小结1916.4习题191第7章基于模拟的测试激励生成策略1937.1Calc2概述1937.1.1Calc2验证计划1967.1.2Calc2及其测试激励生成策略2017.2测试激励生成策略2017.2.1测试激励生成的类型2017.2.2激励部件的通用算法2057.2.3在Calc2中应用4种类型的测试激励生成方法2067.2.4为随机测试用例选取种子2197.2.5随机环境中的约束求解策略2217.2.6随机环境中的覆盖率技术2247.2.7促进“稀有”事件的发生2267.2.8“死锁”和“活锁”激励的生成2287.3本章小结2317.4习题231第8章基于模拟的验证中的结果检查策略2328.1结果检查的类型2328.1.1运行时实时检查与测试用例结束检查2338.1.2预生成测试用例与实时生成测试用例2388.1.3在Calc2中应用结果检查策略2388.2调试2478.2.1调试过程2488.2.2不同类型的测试平台对调试的影响2588.3本章小结2598.4习题260第9章广义的功能验证2619.1系统的复位和启动2629.1.1复位线初始化2629.1.2扫描初始化2659.1.3可测性和内建自测试2679.2错误和降级模式的处理2709.2.1错误检测机制的验证2719.2.2自修复硬件的验证2739.3对辅助的硬件调试机制进行验证2799.4低功耗模式的验证2829.4.1通过关闭功能单元节省功耗2839.4.2通过周期降级节省功耗2849.5本章小结2859.6习题285第10章重用策略与系统模拟28710.1重用策略28710.1.1重用准则28910.1.2水平重用29510.1.3垂直重用29610.1.4在Calc2中应用重用策略29710.1.5断言重用29910.2系统模拟30210.2.1系统测试平台30210.2.2单元的连接和交互30310.2.3可重用IP世界的验证挑战30610.3通用逻辑模拟外的其它方法30710.3.1加速30810.3.2硬件仿真31310.3.3硬件/软件协同验证31310.3.4协同仿真31510.4本章小结31710.5习题318第3部分形式验证第11章形式验证简介32311.1基础知识32411.1.1设计的正确性及规范32411.1.2计算复杂性32511.1.3模拟线性扩展的神话32711.1.4形式验证中的数学证明方法32811.2形式化的布尔等价性检查32911.2.1等价性检查在大规模集成电路设计流程中的作用33011.2.2等价性检查工具的主要组成元素33111.2.3时序和组合布尔等价性检查33211.2.4组合电路等价性检查的核心算法33411.2.5现代等价性检查工具的蓝图34211.3功能形式验证——性质检查34411.3.1性质检查与时序等价性检查34511.3.2形式化方法完全验证设计的神话34611.3.3一个设计实例的性质34811.3.4形式验证中待验证设计的驱动35111.3.5状态空间遍历和时序逻辑35311.3.6功能形式验证工具的流程35711.4本章小结35711.5习题358第12章形式验证的使用35912.1采用硬件描述语言库描述性质规范35912.1.1开放验证库36012.1.2采用开放验证库描述性质36512.2性质描述语言PSL36812.2.1概述36912.2.2PSL的布尔层37012.2.3PSL的时序层37212.2.4PSL的验证层37512.2.5PSL的建模层37712.2.6应用PSL描述性质37812.2.7高级PSL话题的讨论及注意事项37912.3使用形式验证进行性质检查38412.3.1模拟和形式验证之间的性质复用38412.3.2模型编译38512.3.3形式功能验证算法38612.3.4状态空间爆炸问题的解决方法38812.3.5半形式验证39112.3.6提供形式和半形式验证工具的EDA供应商39212.4本章小结39212.5习题393第4部分全面的验证第13章完成验证周期39713.1回归测试39813.1.1验证流程中的回归测试39813.1.2回归测试的质量39913.1.3回归测试的效率40013.2问题跟踪40313.3流片前的准备40613.3.1度量标准40613.3.2完成准则41013.4“逃逸”错误分析41213.4.1个体错误分析41213.4.2“逃逸”错误举例41813.4.3“逃逸”错误分析的趋势42213.5本章小结42313.6习题424第14章高级验证技术42514.1节省验证周期——引导验证的过程42614.1.1分离上电复位验证和主线验证42614.1.2引导待验证设计进入高“潜误”状态42714.1.3调整待验证设计的配置以激发资源冲突的状态43014.2高层建模概念43014.2.1高层模型的应用43014.2.2高层建模的类型43314.3覆盖率驱动的测试生成43614.4本章小结43914.5习题439第5部分验证实例研究第15章验证实例44315.1一个行删除的“逃逸”错误实例44315.1.1背景介绍44315.1.2验证环境44415.1.3“逃逸”错误44515.2分支历史表44615.2.1背景介绍44615.2.2分支历史表的目标及逻辑设计44715.2.3分支历史表的验证45015.2.4结果45815.3网络处理器45815.3.1系统简介45815.3.2验证工作46015.3.3结果46815.4本章小结468附录验证术语表471参考文献482
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30