可控性可观性和可测性.pptVIP

专用可测性设计 Rev.13 西安交通大学微电子雷绍充 1 专用可测性设计技术(ad hoc technique) 系统化技术（systematic technique） Rev.13 西安交通大学微电子雷绍充 2 可测性设计技术领域 可测性度量（TM） .可控性值和可观性值 .电路可测性难易程度的量化表示 . 定义和计算有多种，SCOAP算法是其中一种。 Rev.13 西安交通大学微电子雷绍充 3 SCOAP可测性度量定义 Rev.13 西安交通大学微电子雷绍充 4 组合0可控制性（CC0），组合1可控制性（CC1）；时序0可控制性（SC0），时序1可控制性（SC1）；以及组合可观察性（CO）和时序可观察性（SC）。 可控性值定义 为了使电路中一内部节点N的值为0（1），在电路中需要给节点赋以确定值的最少赋值次数之和，称为节点N的组合0（1）可控制性，以CC0（N）（CC1（N））表示 。 可控性值表示了对电路中节点置预定逻辑值的成本，随着节点在电路中深度的增加，成本也增加。 例如，控制与门的输出为1要比控制或门输出为1的成本高。 可控性值 Rev.13 西安交通大学微电子雷绍充 5 可控性值定义 为了使电路中一内部节点N的值为0（1），在电路中需要给节点赋以确定值的最少赋值次数之和，称为节点N的组合0（1）可控制性，以CC0（N）（CC1（N））表示 。 可控性值表示了对电路中节点置预定逻辑值的成本。随着节点在电路中深度的增加，成本也增加。 例如，控制与门的输出为1要比控制或门输出为1的成本高。 基本的逻辑单元的可控性值 Rev.13 西安交通大学微电子雷绍充 6 二输入与门 Rev.13 西安交通大学微电子雷绍充 7 可控性值计算举例 Rev.13 西安交通大学微电子雷绍充 8 举例 Rev.13 西安交通大学微电子雷绍充 9 举例 Rev.13 西安交通大学微电子雷绍充 10 可测性值 可观性值代表了在原始输出观察逻辑值所付出的代价。 可观性值随着电路深度而变化。原始输出的可控性值大，而原始输入的可观性值大。 Rev.13 西安交通大学微电子雷绍充 11 二输入与门 Rev.13 西安交通大学微电子雷绍充 12 基本的逻辑单元的可观性值 Rev.13 西安交通大学微电子雷绍充 13 专用可测性 Rev.13 西安交通大学微电子雷绍充 14 可测性度量是衡量电路可测性难易程度的量。 .可测性的概念应该包含两方面的内容：一是电路内的故障是否可以用有限的测试图形来检测或定位，二是测试图形长度和生成时间长短问题。 .可控性值表示了对电路中节点置预定逻辑值的成本，随着节点在电路中深度的增加，成本也增加。 .可观性值随着电路深度而变化。原始输出的可控性值大，而原始输入的可观性值大。因此可以说可观性值代表了在原始输出观察逻辑值所付出的成本。 .可控性值和客观性值同等重要，一个容易可控的节点并非都是可控的。类似地，除非节点是可控的，否则单纯提高其可观性是无意义的。 .可测性算法以后也推广到RTL级和功能级设计描述中[Jamoussi1991, Gu 1995]。可测性度量值也可见到其应用，例如用于辅助设计测试生成算法FAN(Fujiwara 1982)和SOCRATES[Schultz 1988]，内建自测试中测试点的插入[Lin 1993]。 专用可测性设计的方法 Rev.13 西安交通大学微电子雷绍充 15 .专用可测性设计技术采用的是迭代的方法对局部电路进行修改，而结构化可测性设计技术则是从全局的角度出发对整体电路进行系统化设计。 .传统的方法：时序电路测试前先对其进行初始化、插入观察点和控制点以改善电路的可测性、电路分块等。 插入观察点 Rev.13 西安交通大学微电子雷绍充 16 观察点不可随机插入 Rev.13 西安交通大学微电子雷绍充 17 图4.7各节点的可测性度量值 Rev.13 西安交通大学微电子雷绍充 18 图4。81所有节点的可测性度量值   插入控制点 Rev.13 西安交通大学微电子雷绍充 19 电路分块技术(1)—硬件分块法 Rev.13 西安交通大学微电子雷绍充 20 电路分块技术(2)--敏化数据法 Rev.13 西安交通大学微电子雷绍充 21 验证测试（verification testing） Rev.13 西安交通大学微电子雷绍充 22 测试图形划减规律：如果两个输入从不在同一个输出函数中出现的话，那么就可对这两个输入施加相同的测试施加信号。 McCluskey1984年提出并证明. 运用此规律可减少测试所需的信号的数目. 基于此规律的技术称之为最大测试并发（maximum test concurrency，简称MTC）。 测试图形划减举例 Rev.13 西安交通大学微电子