VLSI测试方法学和可测试设计 第1章 电路分析基础

一，故障检测的基本原理

        用故障来描述电路中的错误，而用测试图形来检测故障。

二，测试图形的生成

        对于组合电路，一个测试图形足以检测到一个故障；对于时序电路，需一组测试图形序列才可能检测到一个故障，因为对时序电路的故障效应进行传播前，需先把电路引导到确定状态

三，缺陷、失效和故障

      硬失效和软失效。软失效又分为暂态失效（transient failure）和间歇性失效（intermittent failure）

      失效方式称为物理故障，而故障指逻辑故障。

四，故障模型

      故障模型有两种：描述影响元器件间连接的故障模型、描述可能改变元器件真值表的故障模型。

• SSA故障   单固定故障
• MSA故障   多固定故障
• 桥接故障    桥接与故障，桥接或故障
• 延迟故障      源于门的门延迟故障（Gate Delay Fault，GDF）； 源于路径的路径延迟故障（Path Delay Fault，PDF）

五，故障的等效、支配和冗余

1.      故障表 （与正常输出不一致的能检测到故障的在表格里）
2.     故障等效  （ 任意一个N 输入与（与非）门所有输入的s-a-0 故障和输出的s-a-0 故障（s-a-1 故障）等 效。类似地，任意一个N 输入或（或非）门所有输入的s-a-1 故障和输出的s-a-1（s-a-0 故障）等效。）
3.     故障支配    
4.     故障表化简
5.     故障冗余 （任何一个信号如果经两个方向传播，都可能出现不一致情况，对于故障就可能把故障的效应湮没掉）   扇出的概念和重聚的概念

六，可控性，可测性，可观察性

七，数字电路的各种模型和描述方法

1. 开关函数     

               a^- ⊕ b^- =  a ⊕ b,      a ⊕ 1 = a^-    ,    a ⊕ 0 = a,      ab ⊕ a^-c =  ab + ac^-    

         2.逻辑函数的异或表达

         3. 图