会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Hybrid partial scan method
    • 混合部分扫描法
    • US5691990A
    • 1997-11-25
    • US759286
    • 1996-12-02
    • Rohit KapurThomas J. SnethenKamran K. Zarrineh
    • Rohit KapurThomas J. SnethenKamran K. Zarrineh
    • G01R31/3185G06F11/00
    • G01R31/318586
    • An efficient method of selecting flip-flops to be made scannable in a digital integrated circuit design for purposes of improving testability without incurring the overhead of full-scan, comprising the steps of (a) partitioning the faults in the circuit into a first fault type and a second fault type, (b) selecting a static characterization algorithm for characterizing the first and second fault types, (c) determining the relationship between attainable fault coverage and the characterized values for the first and second fault types, (d) characterizing the first and second fault types for each candidate flip-flop for scan in the digital integrated circuit with the static characterization algorithm, (e) determining the first and second fault types that are the closest together in value, (f) selecting the flip-flop associated with the first and second fault types determined in step (e), (g) forming a shift register with flip-flop selected in step (f), (h) repeating steps (d)-(g) until the attainable fault coverage determined in step (c) is attained, and (i) generating test data for the network with the shift register configured in step (h).
    • 为了提高可测试性而不引起全扫描的开销,选择在数字集成电路设计中可扫描的触发器的有效方法包括以下步骤:(a)将电路中的故障划分为第一故障类型 和第二故障类型,(b)选择表征第一和第二故障类型的静态表征算法,(c)确定可达到的故障覆盖与第一和第二故障类型的特征值之间的关系,(d) 使用静态表征算法在数字集成电路中扫描每个候选触发器的第一和第二故障类型,(e)确定在值中最接近的第一和第二故障类型,(f)选择触发器 与在步骤(e)中确定的第一和第二故障类型相关联,(g)在步骤(f)中形成具有触发器的移位寄存器,(h)重复步骤(d) - (g) 获得在步骤(c)中确定的可达到的故障覆盖范围,并且(i)利用在步骤(h)中配置的移位寄存器生成网络的测试数据。
    • 3. 发明授权
    • Logic network test system with simulator oriented fault test generator
    • US3961250A
    • 1976-06-01
    • US468108
    • 1974-05-08
    • Thomas J. Snethen
    • Thomas J. Snethen
    • G01R31/28G01R31/3183G06F11/22G01R15/12G06F11/00
    • G01R31/318392G01R31/318371
    • Disclosed is a technique for testing highly complex, functional logic where long sequences of test patterns are needed. A logic network to be tested comprises a large number of logic blocks. The inputs to several of these logic blocks are also the primary inputs (PI) to the logic network to be tested while the output of several of the logic blocks are also outputs (PO) of the logic network to be tested. However, the inputs and outputs of many logic blocks of the network to be tested are inaccessible since as is well known in large scale integration (LSI), a large number of internal circuit nodes cannot be probed directly. In accordance with the present disclosure, such a logic network to be tested is simulated and each of the logic blocks as well as the inputs and outputs of each of these logic blocks is uniquely defined. A first test pattern is then applied to the primary inputs (PI) of the network to set the logic levels on these primary inputs to known values. A particular one of the logic blocks within the network is then selected and a specific fault associated with the particular logic block is assumed. A test value for this assumed specific fault in the simulated network is then propagated towards a primary output, one logic stage at a time, by backtracing through the network to a primary input to determine which primary input value must be altered in order to propagate the assumed fault towards a primary output. Without developing an entire test sequence, analysis at each step determines whether the test is in fact progressing by propagating the test value through the network toward the primary input. The term "test value" is defined as the binary vaue of a point within the logic network that is opposite from that expected in the absence of the assumed fault. When a "test value" has been successfully propagated to a primary output (PO), then it is known that the particular sequence of input test patterns is suitable for detecting the specific fault assumed in the simulator. By applying the same sequence of test patterns to the actual network under test and comparing the primary outputs of the network under test and primary outputs of the simulated network, it is determined whether the particular assumed simulated fault is actually present in the network under test. On a real time basis, each time a successive pattern is applied to the simulated network, it is analyzed, and if found unsuitable, it is discarded and a different changed input pattern is sought by backtracing to a primary input through a different path. Each successive pattern is applied to the network under test only if found to be valid.