Abstract
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.
Preview
Unable to display preview. Download preview PDF.
References
Abadir, M.S., Reghbati, H.K., LSI Testing Techniques, IEEE Micro, February 1983.
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.
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.
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.
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.
Console, L., Friedrich, G., Dupre, D. T., Model-Based Diagnosis Meets Error Diagnosis in Logic Programs, in this volume.
Clocksin, W. F., Logic Programming and Digital Circuits Analysis, J. Logic Programming, 1987:4:59–82.
Deransart, P. and Maluszynski, J., Relating Logic Programs and Attribute Grammars, Journal of Logic Programming, no. 2, vol. 2, 1985, pp. 119–156.
Deransart, P. and Maluszynski, J., A Grammatical View of Logic Programming, The MIT Press, 1993, to appear.
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.
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.
Goldstein, P.P., Controllability/Observability Analysis of Digital Circuits, IEEE Trans. on Circuits and Systems, vol. CAS-26, no. 9, September 1979.
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, 1991
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.
Gupta, A., Hardware Diagnosis as Program Debugging, Proc. IJCAI 1987.
Hamscher, W., Console, L., de Kleer, J., (Editors) Readings in Model-Based Diagnosis, Morgan Kaufmann Publishers, San Mateo, CA, 1992.
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].
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.
Lee, S. C., Digital Circuits and Logic Design, Prentice-Hall, Inc., Englwood Cliffs, N. J., 1976.
Lloyd, J. W., Foundations of Logic Programming, Springer-Verlag, Berlin, second edition, 1987.
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.
Shapiro, E.Y., Algorithmic Program Debugging, MIT Press, Cambridge, Mass. 1982.
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.
Tsui, F. F., LSI/VLSI Testability Design, McGraw-Hill Inc., 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kuchcinski, K., Drabent, W., Maluszynski, J. (1993). Automatic diagnosis of VLSI digital circuits using algorithmic debugging. In: Fritzson, P.A. (eds) Automated and Algorithmic Debugging. AADEBUG 1993. Lecture Notes in Computer Science, vol 749. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019419
Download citation
DOI: https://doi.org/10.1007/BFb0019419
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57417-0
Online ISBN: 978-3-540-48141-6
eBook Packages: Springer Book Archive