An Integer Linear Programming Approach to General Fault Covering Problems

  • N. Hasan
  • J. Cong
  • C. L. Liu


The probability of having defective elements in a chip increases as chip density increases. One way to increase the yield in chip production is to use reconfigurable chips in which there are redundant elements that can be used to replace the defective elements. The fault covering problem is to assign redundant elements to replace the defective elements such that the chip will function properly. A general formulation to represent the relationship between redundant elements and defective elements in a uniform way was presented in [HaCL88]. Such a formulation subsumes many of the formulations discussed in previous studies. In this paper, we give a general algorithm for the solution of fault covering problems in the general formulation. We transform these problems into integer linear programming problems. The general integer linear programming problem is a well studied combinatorial optimization problem for which there are known methods of solution. To demonstrate the effectiveness of the integer linear programming approach, we studied three different fault covering problems, namely, the fault covering problems for redundant RAMs, the fault covering problems for arrays of RAMs with shared spares, and the fault covering problems for arrays of processors. Our method achieves very good results. It produces optimal solutions using the minimum number of redundant elements. Also, the computation times of our method for all test examples are very short.


Integer Linear Programming Product Term Boolean Expression Integer Linear Programming Problem Chip Production 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Day85]
    R.J. Day, “A Fault-Driven Comprehensive Redundancy Algorithm,” IEEE Design and Test, Vol. 2, No. 3, pp. 35–44, June 1985.CrossRefGoogle Scholar
  2. [Evan81]
    R.C. Evans, “Testing Repairable RAMs and Mostly Good Memories,” Proc. IEEE Int. Test Conference, pp. 49-55, 1981.Google Scholar
  3. [GaJo79]
    M.R. Garey and D.S. Johnson, Computers and Intractability A Guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.zbMATHGoogle Scholar
  4. [HaCL88]
    N. Hasan, J. Cong, and C.L. Liu, “A New Formulation of Yield Enhancement Problems for Reconfigurable Chips,” Proc. Intl. Conf. on Computer Aided Design, Nov. 1988.Google Scholar
  5. [HaDa87]
    R.W. Haddad, A.T. Dahbura, “Increased Throughput for the Testing and Repair of RAMs with Redundancy,” Proc. IEEE Intl. Conf. on Computer-Aided Design, pp. 230-233, 1987.Google Scholar
  6. [KuFu87]
    S.Y. Kuo and W.K. Fuchs, “Efficient Spare Allocation For Reconfigurable Arrays,” IEEE Design and Test, Vol. 4, No. 1, pp. 24–31, February 1987.CrossRefGoogle Scholar
  7. [PaRa88]
    R.G. Parker and R.L. Rardin, Discrete Optimization, unpublished manuscript.Google Scholar
  8. [PaSt82]
    C.H. Papadimitriou and K. Steiglitz, Combinatorial Optimization, Algorithms and Complexity, Prentice-Hall, Inc., 1982.Google Scholar
  9. [Schr87]
    L. Schrage, User’s Manual for Linear Integer and Quadratic Programming with LINDO, Scientific Press, 1987.Google Scholar
  10. [Sing88]
    A.D. Singh, “Interstitial Redundancy: An Area Efficient Fault Tolerance Scheme for Large Area VLSI Processor Arrays,” IEEE Trans. on Computers, Nov. 1988.Google Scholar
  11. [TaBM84]
    M. Tarr, D. Boudreau, and R. Murphy, “Defect Analysis System Speeds Test and Repair of Redundant Memories,” Electronics, pp. 175-179, Jan. 12, 1984.Google Scholar
  12. [WeLo87]
    C.L. Wey and F. Lombardi, “On the Repair of Redundant RAM’s,” IEEE Trans. on Computer-Aided Design, Vol. Cad-6, No. 2, pp. 222–231, March 1987.Google Scholar

Copyright information

© Springer Science+Business Media New York 1990

Authors and Affiliations

  • N. Hasan
    • 1
  • J. Cong
    • 1
  • C. L. Liu
    • 1
  1. 1.Dept. of Computer ScienceUniversity of Illinois at Urbana-ChampaignUrbanaUSA

Personalised recommendations