Automatic diagnosis of VLSI digital circuits using algorithmic debugging

  • Kizysztof Kuchcinski
  • Wlodzimierz Drabent
  • Jan Maluszynski
Software Maintenance and Debugging of Logic Programs III
Part of the Lecture Notes in Computer Science book series (LNCS, volume 749)


This paper discusses application of the technique of algorithmic debugging, originating from logic programming, to automatic diagnosis of VLSI digital circuits. In particular, the main aim of the presented work is to provide a method for smooth combination of different diagnosis techniques, where the use of logic specifications and algorithmic debugging plays an essential role. Examples of the application of the proposed method to combinational and to sequential circuits are presented.


Digital Circuits Diagnosis Logic Programming Algorithmic Debugging of Logic Programs Design Automation 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AR 83]
    Abadir, M.S., Reghbati, H.K., LSI Testing Techniques, IEEE Micro, February 1983.Google Scholar
  2. [ALP+ 92]
    Allred, D., Lichtenstein, Y., Preist, Ch., Bennet, M., Gupta, A., AGATHA: Applying PROLOG to the Test and Diagnosis of Printed Circuit Boards, Proc. The practical Application of Prolog, April 1–3, 1992, London.Google Scholar
  3. [BM 88]
    Bonnier, S., Maluszynski, J., Towards a Clean Amalgamation of Logic Programs with External Procedures, LP88, also in Proc. of PLILP '88, LNCS 348, Springer-Verlag, 1989, MIT Press.Google Scholar
  4. [Bon 92]
    Bonnier, S., A Formal Basis for Horn Clause Logic with External Polymorphic Functions, PhD dissertation, Dept. of Computer and Information Science, Linköping University, May 1992.Google Scholar
  5. [BCM 88]
    Bosco, P. G., Cecchi, C., Moiso, C., Exploiting the Full Power of Logic Plus Functional Programming, Proc. Fifth International Conference and Symposium on Logic Programming, Seattle 1988.Google Scholar
  6. [CFT 93]
    Console, L., Friedrich, G., Dupre, D. T., Model-Based Diagnosis Meets Error Diagnosis in Logic Programs, in this volume.Google Scholar
  7. [Clo 87]
    Clocksin, W. F., Logic Programming and Digital Circuits Analysis, J. Logic Programming, 1987:4:59–82.Google Scholar
  8. [DM 85]
    Deransart, P. and Maluszynski, J., Relating Logic Programs and Attribute Grammars, Journal of Logic Programming, no. 2, vol. 2, 1985, pp. 119–156.Google Scholar
  9. [DM 93]
    Deransart, P. and Maluszynski, J., A Grammatical View of Logic Programming, The MIT Press, 1993, to appear.Google Scholar
  10. [DNM 88a]
    Drabent, W., Nadjm-Tehrani, S., Maluszynski, J., Algorithmic Debugging with Assertions In H. Abramson and M. Rogers, editors, Meta-Programming in Logic Programming. pp. 501–522, MIT Press, 1989.Google Scholar
  11. [DNM 88b]
    Drabent, W., Nadjm-Tehrani, S., Maluszynski, J., The use of Assertions in Algorithmic Debugging, Proc. of Fifth Generation of Computer Systems 88, Tokyo, Nov.–Dec. 1988.Google Scholar
  12. [Gol 79]
    Goldstein, P.P., Controllability/Observability Analysis of Digital Circuits, IEEE Trans. on Circuits and Systems, vol. CAS-26, no. 9, September 1979.Google Scholar
  13. [GKP 91]
    Gu, X., Kuchcinski, K., Peng, Z., Testability Measure with Reconvergent Fanout Analysis and Its Applications, The Euromicro Journal, Microprocessing and Microprogramming, nrs 1–5, August, 1991Google Scholar
  14. [GKP 92]
    Gu, X., Kuchcinski, K., Peng, Z., An Approach to Testability Analysis and Improvements for VLSI Systems, to appear The Euromicro Journal, Microprocessing and Microprogramming, nrs 1–5, August, 1992.Google Scholar
  15. [Gup 87]
    Gupta, A., Hardware Diagnosis as Program Debugging, Proc. IJCAI 1987.Google Scholar
  16. [HOC 92]
    Hamscher, W., Console, L., de Kleer, J., (Editors) Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, San Mateo, CA, 1992.Google Scholar
  17. [HD 88]
    Davis, R., Hamscher, W., Model-based reasoning: Troubleshooting, E. H. Shrobe, editor, Exploring Artificial Intelligence: Survey Talks from the National Conference on Artificial Intelligence, Morgan Kaufman, San Mateo, CA, 1988, also in [HCK 92].Google Scholar
  18. [KK 91]
    Kågedal, A., Kluzniak, F., Enriching Prolog with S-Unification, in PHOENIX Seminar and Workshop on Declarative Programming, 1991, editor John Darlington and Roland Dietrich, series Workshops in Computing, Sasbachwalden, Germany, 18–22 November, pp. 51–65, Springer-Verlag.Google Scholar
  19. [Lee 76]
    Lee, S. C., Digital Circuits and Logic Design, Prentice-Hall, Inc., Englwood Cliffs, N. J., 1976.Google Scholar
  20. [Llo 87]
    Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, Berlin, second edition, 1987.Google Scholar
  21. [MBB+ 93]
    Maluszynski, J., Bonnier, S., Boye, I, Kågedal, A., Kluzniak, F., Nilsson, U., Logic Programs with External Procedures, in Logic programming languages, constraints, functions and objects, The MIT Press, 1993, editor K.R, Apt, J.W. de Bakker, J.J.M.M. Rutten, pp. 21–48.Google Scholar
  22. [Sha 82]
    Shapiro, E.Y., Algorithmic Program Debugging, MIT Press, Cambridge, Mass. 1982.Google Scholar
  23. [SND 88]
    Simonis, H., Nguyen, H.N., Dincbas, M. Verification of Digital Circuits Using CHIP, Proceedings of the IFIP WG 10.2 International Working Conference on the Fusion of Hardware Design and Verification, Glasgow, Scotland, July, 1988.Google Scholar
  24. [Tsu 86]
    Tsui, F. F., LSI/VLSI Testability Design, McGraw-Hill Inc., 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • Kizysztof Kuchcinski
    • 1
  • Wlodzimierz Drabent
    • 1
  • Jan Maluszynski
    • 1
  1. 1.Dept. of Computer and Information ScienceLinköping UniversityLinköpingSweden

Personalised recommendations