大规模高速时序电路诊断模型构建技术的研究.pdfVIP

大规模高速时序电路诊断模型构建技术研究 王国龙，王形威 (北京航天测控技术开发公司，北京100041) 摘要：本文介绍了大规模高速时序电路诊断模型构建技术的产生．现状．发展趋势以及与之相关的信号建模和信号完整 性技术．弄ll用IBIS模型进行信号建模，并提出了基于贝叶斯模型的信号建模方法，从系统的角度论述了诊断模型构建的研 究内容、研究方法、关键技术等．通过对电路诊断模型的研究，提出对于大规模时序高速电路的诊断建模方案． 关键词：时序电路：测试生产算法；故障诊断；贝叶斯模型 0引言 在电路上当信号的上升或下降沿时间3--6倍信号传输时间时，即认为是高速信号。极高的工作频率 所导致的导线传输线特性及电磁辐射和电磁干扰使得数字信号在传输过程中不可避免的受到各种各样的 影响和破坏，从而导致系统原来的功能失效。对于数字电路，特别是时序电路由于电路的状态和电路工作 状态和时序具有相关性，对该电路进行元件和信号仿真建模，以此构建故障模型用于电路诊断的方法变得 日益复杂和重要。可以看出对于高速时序电路的测试和诊断的问题的研究也需要更加深入。 信号完整性是指信号在电路中以正确的时序和电压做出响应的能力。在高速PCB设计中，IC高速开关、 电源完整性问题、不正确的连接以及高速信号的错误布线都会引起S1问题，所以要对信号完整性和电路的 Buffer 测试生成要进行全面分析[qo Information IBIS(I／O 电行为规范的公开国际标准。IBIS模型以芯片为中心，描述的是完整芯片的电气特性，而非某个特定的I／O 单元。IBIS行为建模数据可以通过裸芯片直接测量得到，也可以由模拟获缛，因此行为模型不仅较SPICE模 型简单，而且可能具有更高精度。同时该模型具有分段线性特性，因此采用器件行为模型的模拟一般比采 用相应的晶体管模型模拟执行起来速度更快，从而可提高系统的电路分析效率。 本文就时序电路诊断模型的构建技术、利用IBIS模型对信号进行分析进行了研究，并提出了基于贝叶 斯模型的信号建模方法。 1 时序电路测试分析删 在时序系统中，某一时刻t的输出响应，不仅取决于t时刻的输入，而且还取决于在此之前的一系列输 入，甚至可能被测电路从其初始状态开始一直到测试时刻t的一切输入都有关系。时序电路中的这种存储作 用，成了测试中困难的根源。此外，存储功能的机理，往往是通过复杂的反馈电路来完成的，使得某些故 障的效应难以确定。对于时序电路的测试，不能简单地将故障敏化到主输出端，而必须检查正常电路和有 效故障电路的所有可能的输出响应。测试矢量也不是一个简单的测试码．而是具有一定长度的测试序列。 1．1 时序电路测试生成算法的研究现状∽1 目前。常用的时序电路测试方法有九值算法、MOMI算法和H算法，以及在这些算法上的一些改进的 算法等。 1．1．1九值算法 一69一 九值算法中，采用三种逻辑值，即1,0，x，其中x表示未赋值的点的逻辑值，或预先不知道其逻辑状态 的点的逻辑值。在九值算法中，电路中每个节点的逻辑状态用一个二维的矢量(g，力表示，其中g表示 正常状态值，厂表示故障状态值。九值算法从本质上讲还是一种D算法，因此D算法中的各个必要步骤同 样需要。 1．1．2MOMI算法 MOMI算法既可用于时序电路(同步的和异步的)，也可用于组合电路。用于时序电路时，不需要预置 或知道初始状态，而且程序结构比较简单，被测电路的逻辑元件数可以多达数百个甚至上千个。因此它是 一种比较实用的算法。 。 1．1．3H算法 这种算法是采用六值的布尔变量，在H算法中，最困难的是求复位序列，因为当电路存在故障时，往 往不能按预定的步骤进行复位，即使无故障时，要找到一个序列能够使电路处于临界复位状态，以便下面 仅施加一个测试矢量就能测出故障，这也是比较困难的，因为有的电路根本就不存在临界复位状态。H算 法可用于异步时序电路，而且不需要断开反馈线就能够得到无险态的测试序列。 1．2各种方法的比较 对于时序电路的诊断方法。九值算法在测试时必须将反馈回路断开．不便于自动测试。MOMI算法既 可用于时序电路，也可用于组合电路，是一种比较实用的算法。然而在作