数字逻辑集成电路故障检测模型探讨.pdfVIP

。一 数字逻辑集成电路故障检测模型探讨 李少青，李少虹 (国防科技大学计算机系，深圳安科高技术有限公司) 摘要 ^：测试生成中一般认为二态控制端故障和时钟故障是不可测故障，然而这 些故障是哪以在测试设备中反映山变化的．究其原冈是阅为测试生成算法把测 情况。本文详细讨论了故障检测模型及其冈精简引起的模酗与实际的偏筹，给 出了冈测试原则理解问题引起的故障检测范同缩小的解决办法，提出了测试没 备修故意见和测试生成算法修改意见。 关键字：故障模型、故障检测、测试生成。 一、 故障检测模型 1、 数障检测模型的简化 故障是电路里的物理缺陷。当也路存在某组激励，使好电路与故障屯路的输出结果不 同，慌明该故障是可测故障：反之说该故障是不可测故障。 对于集成电路，我们无法对电路内部施加诸如探针、采样等观察检测手段，网此我们 只能从被测电路的输入输出来控制和观察电路。 记止常被测电路为fG，发生某故障。时的电路为fF．在激励xr止常电路输出为fG(x)， a的测试向量。 设有一组测试向鼙U={Xl，X2…．．Xn}，它能检测的故障数与可能发生的总故障数的比 值称为该组测试向龄的故障覆盖率。若故障覆盖率为100％，ⅢU称U为电路的完全测试集。 逻辑故障是物理故障的逻辑等效。但对丁一种实际的物理故障要分析山等效的逻辑故 障并不容易，有的物理故障可以对应丁多个逻辑故障，有的物理故障则很难找剑恰当的逻 辑故障对应。逻辑故障的种类很多：单故障、多故障、永久故障、间歇故障、I州定故障、 1|Ⅲ定故障、传输故障、路径延时故障、翻转故障等等。若这么多复杂的逻辑故障模础都 要考倦检测，以当今的计算机水平．其速度平|I容龉都远远不够。 通常我们把I也路的物理故障简化为永久性单固定0，l逻辑故障模型，即认为电路中只 可能发生使某引线值I州定为0或1的逻辑故障，从而简化了亡J动测试生成系统的运算复杂 性。这样的简化魁台理的，㈧为统计资料-农明“1叱路单I卅定0，l逻辑故障的覆蒿率j厶剑一 J：l 定高度斤，就能丛本保nLl路的jli确ri：。 54 我们可以看到故障检测模型的精简是从故障和检测方法两方面进行的： (0)初始状态：故陴：物理故障；检测方法：通过检查手段发现与设计不符： (1)检测手段简化：冈无法对电路内部施加观察检测手段而把检测方法简化为：在输入加 测试向姑检测输出止常值与故障值是否相同；这种简化使某些故障如冗余故障将被丢火。 (2)故障类型简化，物理故障必须模型化为逻辑故障以便计算机处理：这样一来，有些难 丁模型化的物理故障将被丢火。 (3)逻辑故障模型精简，冈对复杂的逻辑故障模型计算机无法处理，闪此把逻辑故障模型 进一步简化为单J卅定o／】故障模型；这样有些其它类删的故障如问歇故障就可能铍丢火。 (4)经过以上化简故障检测模型变为：故障：单l札定0／1故障：检测方法：在输入加测试 向母检测输出止常值与故障值是否相同。 每一次简化都使故障检测更易丁处理，同时也使故障检测摸删相对丁物理实际进～步 火真。 2、故障检测分析 的测试向量。对丁集成电路则测试向培x中的每个分鼙都必须是电路的初级输入。 我们是埘计算机米模拟屯路行为逻辑的，对某些叱路输t入将使得电路中某些引线在模 拟时无法得剑确定逻辑值．称其为不定状态(记为X)。在四值逻辑模拟中X有二种涵义： 不知道(电路状态是0或1)、不关心(电路状态是0或1，但模拟时弗不计算其值)、过渡 状态(对有延时模拟表示也路止处在O到】或】剑0的变化状态，对零延时歧单位延时模 拟则没有过渡状态)。 ． 对单周定0／J故障模型，电路故障a无非是使某引线A的逻辑J司定为0值(记为A： s．a-0)或闱定为】值(记为A：$-a-】)；要测到故障o，首先要把故障。激活，即选择输入 使A上的逻辑值与故障值相反；然后把止常值和故障值同时传播到输山(称为敏化)。