《数字电路的诊断与测试》求取 ⇩

目录1

第一章　概论1

第一节　故障的定义与分类1

第二节　逻辑故障模型7

第三节　逻辑故障分析9

第四节　数字系统的测试12

第五节　故障的检测和诊断14

习题19

第二章　布尔方程组的解法21

第一节　数字电路及数学模型21

第二节　代数法24

第三节　方阵求解法28

第四节　通路求解法39

习题53

第三章　通路敏化法57

第一节　一维通路敏化法57

第二节　D算法60

第三节　主通路敏化法69

第四节　消去法91

习题97

第四章　布尔差分法100

第一节　一阶布尔差分100

第二节　布尔差分的计算方法109

第三节　高阶布尔差分117

第四节　布尔微分121

习题125

第五章　故障字典127

第一节　建立故障字典的无关通路消去法127

第二节　奎恩—麦克拉斯基法148

习题163

第六章　最小测试集的生成方法167

第一节　故障矩阵法167

第二节　最佳通路覆盖法189

第三节　单输出逻辑电路的最小测试集206

习题220

第七章　状态方程组的解法222

第一节　迭代法222

第二节　并行算法与时序机的矩阵模型236

第三节　“枝”迭代与“树”迭代公式249

习题263

第八章　时序电路的线路测试法265

第一节　状态表法265

第二节　故障矩阵映射法290

习题305

第九章　时序机的检错实验307

第一节　引导序列（HS）与同步序列（SS）307

第二节　区分序列（DS）和状态判定311

第三节　完全检错实验的设计317

习题324

第十章　时序机的功能测试327

第一节　求最短同步序列的并行算法327

第二节　求最短区分序列的并行算法342

第三节 求最短引导序列的并行算法360

第四节　故障检测表的构造方法368

第五节　功能测试序列的构造方法388

习题396

参考文献397