Logical Modeling of Physical Failures and Their Inherent Syndrome Testability in MOS LSI/VLSI Networks

The challenging problem of logical modeling of physical failures in nMOS LSI/VLSI circuits, and their detection have been considered in this paper from a completely new angle. It has been shown that in a MOS complex cell consisting of series-parallel connections of FET's, any physical failure like 'opens' and' shorts' can be modeled by bridging faults in its equivalent logic circuit. The problem of designing syndrome testable MOS networks at LSI/VLSI level for detection of all types of 'physical failures' is also considered, unlike other existing syndrome testable designs which so far have only aimed at detecting logical failures, i.e., stuck-at [1], [4], or bridging faults [6] in the logic-description of the circuits. Unfortunately, due to the nonexistence of one to one correspondence in between the physical failures and the logical fault models in MQS circuits. all those earlier methods could not be applied with full confidence in a realistic environment. In this paper, we have shown that the MOS networks, properly designed with complex cells, not necessarily in series-parallel form, can exhibit inherent syndrome testability against all physical faults like opens and shorts amongst interconnection lines, irrespective of their logical modeling. The design will be very convenient for easily performing built-in tests (BIT) in LSI/VLSI circuits.

[1]  Yves Crouzet,et al.  Physical Versus Logical Fault Models MOS LSI Circuits: Impact on Their Testability , 1980, IEEE Transactions on Computers.

[2]  Arthur D. Friedman Diagnosis of Short-Circuit Faults in Combinational Circuits , 1974, IEEE Transactions on Computers.

[3]  Bidyut Gupta,et al.  Syndrome Testable Design of Combinational Networks for Detecting Stuck-At and Bridging Faults , 1983, ITC.

[4]  Thomas W. Williams,et al.  A logic design structure for LSI testability , 1977, DAC '77.

[5]  Jacob Savir,et al.  Syndrome-Testing of " Syndrome-Untestable" Combinational Circuits , 1981, IEEE Transactions on Computers.

[6]  George Markowsky,et al.  Syndrome-Testability Can be Achieved by Circuit Modification , 1981, IEEE Transactions on Computers.

[7]  Vishwani D. Agrawal,et al.  Test Generation for MOS Circuits Using D-Algorithm , 1983, 20th Design Automation Conference Proceedings.

[8]  Dhiraj K. Pradhan,et al.  Undetectability of Bridging Faults and Validity of Stuck-At Fault Test Sets , 1980, IEEE Transactions on Computers.

[9]  Keijiro Nakamura Synthesis of Gate-Minimum Multi-Output Two-Level Negative Gate Networks , 1979, IEEE Transactions on Computers.

[10]  ADI TZIDON,et al.  A Practical Approach to Fault Detection in Combinational Networks , 1978, IEEE Transactions on Computers.

[11]  Jacob A. Abraham,et al.  Generating Tests for Physical Failures in MOS Logic Circuits , 1983, ITC.

[12]  Stephen Y. H. Su,et al.  Computer-Aided Logic Design of Two-Level MOS Combinational Networks with Statistical Results , 1978, IEEE Transactions on Computers.

[13]  George Markowsky,et al.  The Weighted Syndrome Sums Approach to VLSI Testing , 1981, IEEE Transactions on Computers.

[14]  Saburo Muroga,et al.  VLSI system design , 1982 .

[15]  Jacob Savir,et al.  Syndrome-Testable Design of Combinational Circuits , 1980, IEEE Transactions on Computers.

[16]  C. Timoc,et al.  Logical Models of Physical Failures , 1983, ITC.

[17]  K. C. Y. Mei,et al.  Bridging and Stuck-At Faults , 1974, IEEE Transactions on Computers.

[18]  Stephen Y. H. Su,et al.  Fault Diagnosis of MOS Combinational Networks , 1982, IEEE Transactions on Computers.

[19]  Vinod K. Agarwal,et al.  Non-Stuck-At Fault Detection in nMOS Circuits by Region Analysis , 1983, ITC.