数字系统测试-可测性的措施.ppt

可测性的措施 ?起源??可控性和可观性??SCOAP措施?? 相关误差来源?? 组合电路实例?? 时序电路实例??测试向量长度预测??高级别可测性措施? 可测性分析? 涉及到电路拓扑分析，但没有?测试向量，没有搜索算法?? 静态分析? 线性化计算复杂性??否则，是没有意义 - 不如使用???? 自动测试模式生成和? 计算：?? 准确的故障覆盖率?? 精确测试向量 目的 需要近似衡量：??设置内部电路线难度? 0或1设置主电路的输入端??观察内部电路线难度? 通过观察主要产出? 用途：??分析测试内在困境? 电路部分 - 重新设计或增加特殊的测试? 用途 分析测试内在的困境? 电路部分 - 重新设计或增加特殊的测试 硬件? 指导计算测试算法? 模式 - 避免使用难以控制线??估计故障覆盖率??估计测试向量的长度 可测性度量的用途 为电路设计提供具有较高可测性的依据，寻找电路中可测性较差的区域，利用可测?性理论予以改进? 为电路或系统测试人员提供生成测试量的指导方向，以便减少生成测试矢量开销? 可控性和可观测性 可控性(Controllability): 是指通过系统（如一个电路）的原始输入端加载一组（系列）输入码 ，达到控制系统内部信号值的能力 可观测性(observability): 是指通过系统（如一个电路）的原始输出端，达到观测系统内部信号值的能力 可控性和可观测性(cont.) 在逻辑电路的可控性方面,分成1-可控性和0-可控性两种，分别定义了从外部输入端控制内部某一点信号值为1和0的能力 作为可测试性技术中主要参数之一，可控性和可观测性必须是一个可量化的参数，而不能仅仅是一个粗略估计的定性分析概念 对可控性和可观测性进行定量分析，其实质就是将一个信号值置为1（0）所花成本（控制信号线上逻辑值的难度）的量值 起源? 控制理论? 拉特曼1972 - 可控第一个定义? 戈尔茨坦1979 - SCOAP??第一个定义的可观测??首先制定简单的公式?首先有效的算法来计算可控性和可观性 1975年帕克和麦克斯基?概率可控的定义 Brglez 1984 - 缔约方会议?第一个概率措施 塞思，平移和阿格拉瓦尔1985 - 预测?第一个确切概率措施 类型的措施 SCOAP - Sandia可控性和可观性分析程序 组合措施： CC0 - 组合0 – 可控性?难度为设置为逻辑0回路 ? ? CC1 - 组合1 – 可控性 难度为设置为逻辑1回路?CO- 组合可观? 难度为观察一回路 组合方式影响信号的控制或观察 类型的措施（续） 顺序措施：?SC0 - 顺序0 – 可控性?SC1 - 顺序1 ——可控性?SO - 连续观测?序贯措施表明一定数量的时钟周期所需要的控制信号或观察线l?可控性从1到的INF?可观测范围从0到的INF?高技术表明控制或观察的困难 测试向量长度预测 首先为固定故障计算可测性 T (x sa0) = CC1 (x) + CO (x) T (x sa1) = CC0 (x) + CO (x) 可测性指数=log∑T （f i ） 范围SCOAP措施 可控性 - 1（最简单）至无限远（最难）可观性 - 0（最简单）至无限远（最难） 组合措施：?电路必须设置给定行的控制或观察大约成正比 顺序措施：?次触发器时钟必须设置控制或观察线组合SCOAP大约成正比 组合SCOAP措施Controlabilit 步骤1：为所有主要输入设置CC0 =1，CC1= 1 步骤2：在水平顺序遍历主电路输出，更新可控性措施?级逻辑门：从pls的最大距离逻辑输入 步骤3：对于每一个走过的逻辑门加1到CC Controlability（续） 如果输出逻辑是由控制性值输入产生，那么?输出可控=min（输入可控）+1 如果逻辑输出的获得只通过设置所有非控制性值输入，那么?输出可控=∑（输入可控性）+1 如果输出需要多个输入来控制（异或：“01”或“10”导致输出1），那么?输出可控=min（可控性的输入集）+1 Goldstein的SCOAP措施 与门o/p 0可控性：??输出可控性 =min（输入可控性） + 1 ??????????????????????????????????????????与门的O / p 1的可控性：??输出可控性 =∑（输入可空性） + 1 ??????????????????????????????????????????X