Probabilistic analysis of algorithms for stuck-at test generation in PLAs

  • John Franco
Conference paper
Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 174)


A collection of fast algorithms for generating test vectors for PLAs is presented and analysed. It is shown that, in some sense, complete sets of test vectors for almost all such circuits which are irredundant, primal, and non-tautological can be generated quickly.


Boolean Variable Test Vector Truth Assignment Random Instance Unit Clause 
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. [1]
    K. Bartlett et al., Multilevel logic minimisation using implicit don't cares, IEEE Transactions on Computer-Aided Design of Integrate Circuits and Systems, 17, 6, pp. 723–740, June, 1988.Google Scholar
  2. [2]
    R. K. Brayton and C. McMullen and G. D. Hachtel and A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Kluwer Academic Publishers, 1984.Google Scholar
  3. [3]
    J. Franco, and Y. C. Ho, Probabilistic performance of a heuristic for the Satisfiability problem, Discrete Applied Mathematics, 22, pp. 35–51, 1988/89.Google Scholar
  4. [4]
    H. Fujiwara, Logic Testing and Design for Testability, MIT Press, Cambridge MA 1985.Google Scholar
  5. [5]
    G. D. Hachtel and R. M. Jacoby and K. Keutser and C. R. Morrison, On the relationship between area optimization and multifault testability of multilevel logic, Proceedings of the International Workshop on Logic Synthesis, June, 1989.Google Scholar
  6. [6]
    D. S. Johnson, The NP-Completeness column: an ongoing guide, Journal of Algorithms, 6, pp. 291–305, 1985.Google Scholar
  7. [7]
    I. Kohavi and Z. Kohavi, Detection of multiple faults in combinational logic networks, IEEE Transactions on Computers, C21, 6, pp. 556–568, June, 1972.Google Scholar
  8. [8]
    E. J. McCluskey, Minimisation of Boolean functions, Bell Lab. Technical Journal, Bell Lab., 35, pp. 1417–1444, November, 1956.Google Scholar

Copyright information

© International Federation for Information Processing 1992

Authors and Affiliations

  • John Franco
    • 1
  1. 1.Department of Computer ScienceUniversity of CincinnatiCincinnati

Personalised recommendations