Design-for-Testability of PLA'S Using Statistical Cooling

A method for designing easily testable PLA's with low overhead is presented. The method is based on a reduction of product lines and the addition of a small number of inputs. The required additional hardware is calculated using a statistical cooling algorithm. The presented design-for-testability method guarantees a 100 percent fault coverage with respect to multiple stuck-at faults and multiple missing/extra crosspoint faults.

[1]  F. MacWilliams,et al.  The Theory of Error-Correcting Codes , 1977 .

[2]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[3]  Daniel L. Ostapko,et al.  Fault Analysis and Test Generation for Programmable Logic Arrays (PLA's) , 1979, IEEE Transactions on Computers.

[4]  Melvin A. Breuer,et al.  Design automation of digital systems , 1972 .

[5]  Javad Khakbaz,et al.  A Testable PLA Design with Low Overhead and High Fault Coverage , 1984, IEEE Transactions on Computers.

[6]  Kozo Kinoshita,et al.  A Design of Programmable Logic Arrays with Universal Tests , 1981, IEEE Transactions on Computers.

[7]  Hideo Fujiwara,et al.  Implementing a Built-In Self-Test PLA Design , 1985, IEEE Design & Test of Computers.

[8]  Edward J. McCluskey,et al.  Lower Overhead Design for Testability of Programmable Logic Arrays , 1986, IEEE Transactions on Computers.

[9]  James E. Smith.  Detection of Faults in Programmable Logic Arrays , 1979, IEEE Transactions on Computers.

[10]  Lynn Conway,et al.  Introduction to VLSI systems , 1978 .

[11]  Hideo Fujiwara.  A New PLA Design for Universal Testability , 1984, IEEE Transactions on Computers.

[12]  Alberto Sangiovanni-Vincentelli,et al.  PLATYPUS: A PLA Test Pattern Generation Tool , 1985, DAC 1985.

[13]  Ehl Emile Aarts,et al.  Statistical cooling : a general approach to combinatorial optimization problems , 1985 .

[14]  Kozo Kinoshita,et al.  An Easily Testable Design of Programmable Logic Arrays for Multiple Faults , 1983, IEEE Transactions on Computers.