数字系统测试和可测试性设计 机械工业出版社 epub pdf mobi txt 电子书 下载 2024

数字系统测试和可测试性设计 机械工业出版社 epub pdf mobi txt 电子书 下载 2024

数字系统测试和可测试性设计 机械工业出版社 epub pdf mobi txt 电子书 下载 2024

基本信息

书名：数字系统测试和可测试性设计

定价：85.00元

作者： 塞纳拉伯丁·纳瓦比(Zainalabedin Nav

出版社：机械工业出版社

出版日期：2015-07-01

ISBN：9787111501541

字数：

页码：

版次：1

装帧：平装

开本：16开

商品重量：0.4kg

编辑推荐

内容提要

本书论述了数字系统测试和可测试性设计，它通过数字电路设计实例和方法阐明了测试和可测试性的概念。本书还采用Verilog模型和Verilog测试平台实现并解释故障仿真和测试生成算法。

本书广泛使用Verilog和Verilog PLI编写测试应用，这也是本书与其他有关数字系统测试和可测试性设计的*区别。 此外，本书还广泛使用测试平台和相应的测试平台开发技术。在开发测试平台和虚拟测试机的过程中，本书使用了PLI，PLI是一个功能强大的编程工具，它提供与用Verilog语言描述的硬件进行交互的接口。这种硬件/软件混合的环境有助于本书描述复杂的测试程序和测试策略。

目录

译者序
前言
概述
致谢
章　数字电路测试的基础知识和HDL的作用 / 1
1.1　设计及测试 / 1
1.1.1　RTL设计流程 / 1
1.1.2流片后测试 / 4
1.2测试重点 / 7
1.2.1　测试方法 / 7
1.2.2可测试性方法 / 9
1.2.3　检测方法 / 11
1.2.4测试成本 / 11
1.3数字系统测试中的HDL / 13
1.3.1硬件建模 / 13
1.3.2制定测试方法 / 13
1.3.3虚拟测试机 / 14
1.3.4可测试性硬件评估 / 14
1.3.5协议感知自动测试设备 / 14
1.4自动测试设备结构及仪器 / 14
1.4.1数字激励及测量仪器 / 15
1.4.2DC仪器 / 15
1.4.3AC仪器 / 15
1.4.4RF仪器 / 15
1.4.5自动测试设备 / 16
1.5小结 / 17
第2章　用于设计和测试的Verilog HDL / 18
2.1使用HDL开发测试方法的原因 / 18
2.2将Verilog用于设计 / 19
2.2.1将Verilog用于仿真 / 19
2.2.2将Verilog用于综合 / 19
2.3将Verilog用于测试 / 20
2.3.1无故障电路分析 / 21
2.3.2故障表编制及可测试性分析 / 21
2.3.3故障仿真 / 21
2.3.4测试生成 / 22
2.3.5可测试性硬件设计 / 22
2.4Verilog的基本结构 / 23
2.4.1模块、端口、连线及变量 / 24
2.4.2抽象的层级 / 25
2.4.3逻辑值系统 / 25
2.5组合电路 / 26
2.5.1晶体管级描述 / 26
2.5.2门级描述 / 26
2.5.3运算级描述 / 27
2.5.4过程级描述 / 28
2.5.5实例化其他模块 / 29
2.6时序电路 / 30
2.6.1寄存器和移位寄存器 / 31
2.6.2状态机编码 / 31
2.7完整示例（加法器） / 35
2.7.1控制/数据划分 / 35
2.7.2加法器的设计规格 / 36
2.7.3CPU的实现 / 36
2.8测试平台技术 / 40
2.8.1测试平台技术 / 41
2.8.2简单的组合测试平台 / 41
2.8.3简单的时序测试平台 / 42
2.8.4限制数据集 / 43
2.8.5同步数据和响应处理 / 44
2.8.6时间间隔 / 45
2.8.7文本IO / 45
2.8.8仿真代码覆盖率 / 47
2.9PLI基础知识 / 48
2.9.1访问例行程序 / 49
2.9.2HDL/PLI实现的步骤 / 49
2.9.3在HDL/PLI环境中注入故障 / 51
2.10小结 / 54
第3章　故障和缺陷建模 / 55
3.1故障建模 / 55
3.1.1故障抽象 / 56
3.1.2功能故障 / 58
3.1.3结构故障 / 58
3.2门级结构故障 / 60
3.2.1确认故障 / 60
3.2.2固定开路故障 / 61
3.2.3固定为0的故障 / 62
3.2.4固定为1的故障 / 62
3.2.5桥接故障 / 62
3.2.6状态依赖型故障 / 63
3.2.7多故障 / 64
3.2.8单固定结构故障 / 64
3.2.9检测单固定故障 / 70
3.3与门级故障相关的问题 / 71
3.3.1检测桥接故障 / 71
3.3.2不可检测的故障 / 72
3.3.3冗余故障 / 72
3.4故障压缩 / 72
3.4.1难以区分的故障 / 72
3.4.2等效单固定故障 / 73
3.4.3面向门的故障压缩 / 74
3.4.4面向线路的故障压缩 / 75
3.4.5重汇聚扇出的问题 / 76
3.4.6支配性故障压缩 / 76
3.5基于Verilog的故障压缩 / 78
3.5.1用于故障压缩的Verilog测试平台 / 78
3.5.2故障压缩的PLI实现 / 79
3.6小结 / 83
第4章　故障仿真应用与方法 / 84
4.1故障仿真 / 84
4.1.1门级故障仿真 / 84
4.1.2故障仿真要求 / 85
4.1.3HDL环境 / 86
4.1.4时序电路故障仿真 / 90
4.1.5故障排除 / 91
4.1.6相关术语 / 91
4.2故障仿真应用 / 92
4.2.1故障覆盖率 / 92
4.2.2测试生成中的故障仿真 / 94
4.2.3故障字典创建 / 95
4.3故障仿真技术 / 100
4.3.1串行故障仿真 / 102
4.3.2并行故障仿真 / 104
4.3.3并发故障仿真 / 107
4.3.4演绎故障仿真 / 109
4.3.5演绎故障仿真的比较 / 112
4.3.6关键路径追踪故障仿真 / 112
4.3.7微分故障仿真 / 115
4.4小结 / 115
第5章　测试向量生成方法及算法 / 116
5.1测试生成基础知识 / 116
5.1.1布尔差分 / 116
5.1.2测试生成过程 / 118
5.1.3故障和测试 / 118
5.1.4术语和定义 / 119
5.2可控性和可观察性 / 120
5.2.1可控性 / 120
5.2.2可观察性 / 120
5.2.3基于概率的可控性和可观察性 / 121
5.2.4SCOAP的可控性和可观察性 / 126
5.2.5基于距离 / 130
5.3测试生成 / 130
5.3.1限制测试数量 / 130
5.3.2组合电路测试生成 / 133
5.3.3时序电路的测试生成 / 139
5.4小结 / 142
第6章　确定性测试生成算法 / 143
6.1确定性测试生成方法 / 143
6.1.1双阶段测试生成 / 144
6.1.2面向故障的测试生成基本原理 / 144
6.1.3D算法 / 149
6.1.4PODEM（面向路径的测试生成） / 156
6.1.5　其他确定性面向故障的测试生成方法 / 161
6.1.6不依赖于故障的测试生成 / 162
6.2时序电路测试生成 / 163
6.3测试数据压缩 / 165
6.3.1测试压缩的形式 / 166
6.3.2测试兼容性 / 166
6.3.3静态压缩 / 168
6.3.4　动态压缩 / 174
6.4小结 / 174
第7章　通过扫描法进行测试电路设计 / 175
7.1增加电路可测试性 / 175
7.1.1折中方案 / 175
7.1.2测试时序电路 / 176
7.1.3组合电路的可测试性 / 177
7.2可测试性插入 / 177
7.2.1改善可观测性 / 177
7.2.2提高可控性 / 178
7.2.3共享可观测性引脚 / 180
7.2.4　共享控制引脚 / 180
7.2.5降低选择输入 / 182
7.2.6同步控制和观测 / 182
7.3全扫描可测试性设计技术 / 185
7.3.1全扫描插入 / 186
7.3.2触发器结构 / 187
7.3.3全扫描设计与测试 / 192
7.4扫描结构 / 203
7.4.1全扫描设计 / 204
7.4.2映像寄存器可测试性设计 / 204
7.4.3局部扫描方法 / 206
7.4.4多扫描设计 / 209
7.4.5其他的扫描设计 / 210
7.5RTL扫描设计 / 211
7.5.1RTL设计全扫描 / 211
7.5.2RTL设计多链扫描 / 213
7.5.3RTL扫描设计 / 215
7.6小结 / 215
第8章标准IEEE测试访问方法 / 217
8.1边界扫描基础知识 / 217
8.2边界扫描结构 / 218
8.2.1测试访问端口 / 218
8.2.2BS-1149.1寄存器 / 219
8.2.3TAP控制器 / 223
8.2.4解码器单元 / 227
8.2.5选择器和其他单元 / 227
8.3边界扫描测试说明 / 227
8.4板级扫描链结构 / 233
8.4.1单一串行扫描链 / 234
8.4.2具有单一控制测试端口的多扫描链 / 234
8.4.3具有一个TDI、TDO但有多个TMS的多扫描链 / 234
8.4.4多扫描链，多TAP / 235
8.5RTL边界扫描 / 236
8.5.1为CUT插入边界扫描测试硬件 / 236
8.5.2两个模块的测试案例 / 239
8.5.3虚拟边界扫描测试机 / 239
8.6边界扫描描述语言 / 245
8.7小结 / 247
第9章逻辑内建自测试 / 248
9.1内建自测试基本知识 / 248
9.1.1基于存储器的内建自测试 / 248
9.1.2内建自测试的有效性 / 250
9.1.3内建自测试的类型 / 250
9.1.4设计一个内建自测试 / 251
9.2测试向量生成 / 253
9.2.1测试向量产生器的集成 / 253
9.2.2穷举计数器 / 253
9.2.3环形计数器 / 254
9.2.4扭环计数器 / 255
9.2.5线性反馈移位寄存器 / 256
9.3输出响应分析 / 263
9.3.1输出响应分析器集成 / 263
9.3.21字符计数器 / 264
9.3.3跳变计数器 / 266
9.3.4奇偶校验 / 267
9.3.5串行LFSR / 267
9.3.6并行特征信号分析 / 268
9.4内建自测试结构 / 270
9.4.1与内建自测试相关的术语 / 270
9.4.2集中式和独立式板级内建自测试结构 / 271
9.4.3内建评估和自检 / 272
9.4.4测试接口 / 273
9.4.5LSSD片上自检 / 275
9.4.6使用MISR和SRSG自测试 / 276
9.4.7并发的内建自测试 / 278
9.4.8BILBO / 279
9.4.9提高测试覆盖率 / 280
9.5RTL内建自测试设计 / 280
9.5.1被测电路设计、仿真和综合 / 281
9.5.2RTS内建自测试插入 / 281
9.5.3配置RTS 内建自测试 / 286
9.5.4内建自测试的合并配置 / 289
9.5.5STUMPS设计 / 289
9.5.6RTS和STUMPS的结果 / 292
9.6小结 / 292
0章测试压缩 / 293
10.1测试数据压缩 / 293
10.2压缩方法 / 295
10.2.1基于代码的方案 / 295
10.2.2基于扫描的方案 / 303
10.3解压缩方法 / 309
10.3.1解压缩的硬件结构 / 309
10.3.2周期性扫描链 / 311
10.3.3基于代码的解压缩 / 312
10.3.4基于扫描的解压缩 / 317
10.4小结 / 317
1章通过MBIST测试存储器 / 318
11.1存储器测试 / 318
11.2存储器结构 / 319
11.3存储器故障模型 / 320
11.3.1固定故障 / 320
11.3.2转换故障 / 320
11.3.3耦合故障 / 320
11.3.4桥接和状态耦合故障 / 321
11.4功能测试方法 / 321
11.4.1March测试算法 / 321
11.4.2March-C算法 / 322
11.4.3MATS 算法 / 322
11.4.4其他的March测试 / 322
11.5MBIST方法 / 323
11.5.1简单的March MBIST / 323
11.5.2March-C MBIST计数-排序器 / 328
11.5.3干扰MBIST / 331
11.6小结 / 332
附录A在协议感知自动测试设备上使用HDL / 333
附录BPLI测试应用的门级组件 / 336
附录C编程语言接口测试工具 / 338
附录DIEEE 1149.1标准边界扫描的Verilog描述 / 343
附录E边界扫描IEEE 1149.1标准虚拟测试机 / 349
附录F由RTL综合生成的门级网表（NetlistGen） / 359
参考书目 / 362

作者介绍

文摘

序言

数字系统测试和可测试性设计 机械工业出版社 epub pdf mobi txt 电子书 下载 2024