Advertisement

Test generation for large-scale combinational circuits by using Prolog

  • Yoshihiro Tohma
  • Kenji Goto
Applications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 315)

Abstract

This paper presents a method to improve the execution of Prolog programs which generate tests of very large combinational circuits. Essentially, we restrict the area where the 4-valued unification will be performed and exploit the knowledge of tests for component modules of large circuits. Examples are given to demonstrate the improvement achieved by this method.

Index Terms

Prolog Knowledge Test Module Acceleration 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [FUJ82]
    M. Fujita, H. Tanaka, and T. Motooka: "Logic Design Verification by Using Temporal Logic and Prolog", Technical Report on Design Automation, IPS of Japan, 14-1, October 1982.Google Scholar
  2. [KAN84]
    Juro Kaneda: "Bilateral Simulation for Logic Circuits Using Design Knowledge", Proc. Logic Programming Conference, June 1984.Google Scholar
  3. [VAR87]
    P. Varma and Y. Tohma: "PROTEAN — A Knowledge-Based Test Generator", IEEE Custom Integrated Circuits Conference, May 1987.Google Scholar
  4. [EIC77]
    E. B. Eichelberger and T. W. Williams: "A Logic Design Structure for LSI Testability", Proc. 14th Design Automation Conference, pp. 462–468, 1977.Google Scholar
  5. [FUJ85]
    Hideo Fujiwara: "Logic Testing and Design for Testability", MIT Press, pp. 57–58, 1985.Google Scholar
  6. [GEN82]
    Michael R. Genesereth: "Diagnosis Using Hierarchical Design Method", AAI-82, 1982.Google Scholar
  7. [YOK86]
    H. Yokomizu and H. Mizoguchi: "Development of Diagnosing System for Logic Circuits Using Structural Information", Proc. Logic Programming Conference, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Yoshihiro Tohma
    • 1
  • Kenji Goto
    • 1
  1. 1.Department of Computer ScienceTokyo Institute of TechnologyTokyoJapan

Personalised recommendations