全面的功能验证：完整的工业流程

图书标准信息

• 作者 [美]威立（Bruce Wile）、[美]威立（Bruce Wile） 著；沈海华、乐翔 译
• 出版社 机械工业出版社
• 出版时间 2010-03
• 版次 1
• ISBN 9787111296416
• 定价 98.00元
• 装帧 平装
• 开本 16开
• 纸张 胶版纸
• 页数 487页
• 字数 702千字
• 正文语种 简体中文
• 丛书 国际信息工程先进技术译丛

【内容简介】

《全面的功能验证：完整的工业流程》分为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章芯片设计的验证5
1.1功能验证简介5
1.2验证面临的挑战9
1.2.1状态空间爆炸的挑战9
1.2.2查找不正确行为的挑战10
1.3验证的任务和目标12
1.4验证的开销15
1.4.1工程开销和对独立验证团队的需求16
1.4.2设计自动化工具17
1.4.3时间17
1.5本书范畴以外的验证领域18
1.6验证周期：一个结构化的流程18
1.6.1功能规范20
1.6.2建立验证计划20
1.6.3开发环境20
1.6.4调试硬件描述语言和环境21
1.6.5回归测试21
1.6.6硬件制造22
1.6.7调试流片后的硬件（系统测试）22
1.6.8“逃逸”错误分析22
1.6.9常见的中断验证周期的情况23
1.7本章小结23
1.8习题24

第2章验证流程26
2.1验证层次26
2.1.1验证等级26
2.1.2怎样选择验证等级30
2.2验证策略34
2.2.1驱动原理34
2.2.2检查策略37
2.2.3检查黑盒设计41
2.2.4验证策略汇总44
2.2.5通用的模拟验证环境46
2.2.6验证方法学的进展46
2.3本章小结51
2.4习题52

第3章基于模拟的验证基础55
3.1基本验证环境：测试平台55
3.1.1激励模块56
3.1.2监视器60
3.1.3检查器62
3.1.4记分板62
3.1.5待验证设计64
3.2观察点：黑盒、白盒和灰盒验证65
3.2.1黑盒65
3.2.2白盒65
3.2.3灰盒66
3.3基于断言的验证概述67
3.3.1断言的重要性68
3.3.2断言表达设计意图69
3.3.3断言的分类69
3.4测试平台和测试策略71
3.4.1确定性的测试平台72
3.4.2自检查的测试平台73
3.5本章小结76
3.6习题76

第4章验证计划78
4.1功能规范78
4.2验证计划的演进79
4.3验证计划的内容80
4.3.1验证层次的描述81
4.3.2必需的工具81
4.3.3风险和依赖82
4.3.4待验证的功能83
4.3.5细节测试及方法：环境84
4.3.6覆盖率要求88
4.3.7测试用例场景：矩阵88
4.3.8资源需求89
4.3.9进度细节90
4.4验证实例：Calc191
4.4.1设计描述91
4.4.2为Calc1建立验证计划94
4.4.3Calc1设计的确定性验证99
4.5本章小结102
4.6习题103

第2部分基于模拟的验证
第5章硬件描述语言和模拟引擎107
5.1硬件描述语言108
5.1.1硬件描述语言建模层次108
5.1.2硬件描述语言在验证方面的应用115
5.2模拟引擎介绍119
5.2.1速度与精度120
5.2.2选择正确的方法121
5.3事件驱动模拟122
5.3.1层次化模型网络122
5.3.2随时间变化进行的模型评估124
5.3.3模型评估中的事件驱动控制125
5.3.4实现一个事件驱动的模拟引擎框架129
5.4改善模拟吞吐量134
5.5基于周期的模拟137
5.5.1同步设计138
5.5.2基于周期的模拟算法139
5.5.3对基本的基于周期的模拟引擎进行扩展141
5.6波形观察器144
5.7本章小结147
5.8习题148

第6章创建环境149
6.1测试平台描述工具149
6.1.1采用硬件描述语言作为测试平台描述工具150
6.1.2C/C++库155
6.1.3高级验证语言172
6.1.4其它测试平台描述工具180
6.2验证覆盖率181
6.2.1概述182
6.2.2功能验证覆盖率与制造过程中的测试覆盖率183
6.2.3结构覆盖率184
6.2.4功能覆盖率186
6.2.5大量覆盖率数据的采集和管理189
6.2.6正确的覆盖率分析策略190
6.3本章小结191
6.4习题191

第7章基于模拟的测试激励生成策略193
7.1Calc2概述193
7.1.1Calc2验证计划196
7.1.2Calc2及其测试激励生成策略201
7.2测试激励生成策略201
7.2.1测试激励生成的类型201
7.2.2激励部件的通用算法205
7.2.3在Calc2中应用4种类型的测试激励生成方法206
7.2.4为随机测试用例选取种子219
7.2.5随机环境中的约束求解策略221
7.2.6随机环境中的覆盖率技术224
7.2.7促进“稀有”事件的发生226
7.2.8“死锁”和“活锁”激励的生成228
7.3本章小结231
7.4习题231

第8章基于模拟的验证中的结果检查策略232
8.1结果检查的类型232
8.1.1运行时实时检查与测试用例结束检查233
8.1.2预生成测试用例与实时生成测试用例238
8.1.3在Calc2中应用结果检查策略238
8.2调试247
8.2.1调试过程248
8.2.2不同类型的测试平台对调试的影响258
8.3本章小结259
8.4习题260

第9章广义的功能验证261
9.1系统的复位和启动262
9.1.1复位线初始化262
9.1.2扫描初始化265
9.1.3可测性和内建自测试267
9.2错误和降级模式的处理270
9.2.1错误检测机制的验证271
9.2.2自修复硬件的验证273
9.3对辅助的硬件调试机制进行验证279
9.4低功耗模式的验证282
9.4.1通过关闭功能单元节省功耗283
9.4.2通过周期降级节省功耗284
9.5本章小结285
9.6习题285

第10章重用策略与系统模拟287
10.1重用策略287
10.1.1重用准则289
10.1.2水平重用295
10.1.3垂直重用296
10.1.4在Calc2中应用重用策略297
10.1.5断言重用299
10.2系统模拟302
10.2.1系统测试平台302
10.2.2单元的连接和交互303
10.2.3可重用IP世界的验证挑战306
10.3通用逻辑模拟外的其它方法307
10.3.1加速308
10.3.2硬件仿真313
10.3.3硬件/软件协同验证313
10.3.4协同仿真315
10.4本章小结317
10.5习题318

第3部分形式验证
第11章形式验证简介323
11.1基础知识324
11.1.1设计的正确性及规范324
11.1.2计算复杂性325
11.1.3模拟线性扩展的神话327
11.1.4形式验证中的数学证明方法328
11.2形式化的布尔等价性检查329
11.2.1等价性检查在大规模集成电路设计流程中的作用330
11.2.2等价性检查工具的主要组成元素331
11.2.3时序和组合布尔等价性检查332
11.2.4组合电路等价性检查的核心算法334
11.2.5现代等价性检查工具的蓝图342
11.3功能形式验证——性质检查344
11.3.1性质检查与时序等价性检查345
11.3.2形式化方法完全验证设计的神话346
11.3.3一个设计实例的性质348
11.3.4形式验证中待验证设计的驱动351
11.3.5状态空间遍历和时序逻辑353
11.3.6功能形式验证工具的流程357
11.4本章小结357
11.5习题358

第12章形式验证的使用359
12.1采用硬件描述语言库描述性质规范359
12.1.1开放验证库360
12.1.2采用开放验证库描述性质365
12.2性质描述语言PSL368
12.2.1概述369
12.2.2PSL的布尔层370
12.2.3PSL的时序层372
12.2.4PSL的验证层375
12.2.5PSL的建模层377
12.2.6应用PSL描述性质378
12.2.7高级PSL话题的讨论及注意事项379
12.3使用形式验证进行性质检查384
12.3.1模拟和形式验证之间的性质复用384
12.3.2模型编译385
12.3.3形式功能验证算法386
12.3.4状态空间爆炸问题的解决方法388
12.3.5半形式验证391
12.3.6提供形式和半形式验证工具的EDA供应商392
12.4本章小结392
12.5习题393

第4部分全面的验证
第13章完成验证周期397
13.1回归测试398
13.1.1验证流程中的回归测试398
13.1.2回归测试的质量399
13.1.3回归测试的效率400
13.2问题跟踪403
13.3流片前的准备406
13.3.1度量标准406
13.3.2完成准则410
13.4“逃逸”错误分析412
13.4.1个体错误分析412
13.4.2“逃逸”错误举例418
13.4.3“逃逸”错误分析的趋势422
13.5本章小结423
13.6习题424

第14章高级验证技术425
14.1节省验证周期——引导验证的过程426
14.1.1分离上电复位验证和主线验证426
14.1.2引导待验证设计进入高“潜误”状态427
14.1.3调整待验证设计的配置以激发资源冲突的状态430
14.2高层建模概念430
14.2.1高层模型的应用430
14.2.2高层建模的类型433
14.3覆盖率驱动的测试生成436
14.4本章小结439
14.5习题439

第5部分验证实例研究
第15章验证实例443
15.1一个行删除的“逃逸”错误实例443
15.1.1背景介绍443
15.1.2验证环境444
15.1.3“逃逸”错误445
15.2分支历史表446
15.2.1背景介绍446
15.2.2分支历史表的目标及逻辑设计447
15.2.3分支历史表的验证450
15.2.4结果458
15.3网络处理器458
15.3.1系统简介458
15.3.2验证工作460
15.3.3结果468
15.4本章小结468
附录验证术语表471
参考文献482