Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging

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.

[1]  Ajay Gupta.  Hardware Diagnosis as Program Debugging , 1987, IJCAI.

[2]  Frank Tsui,et al.  LSI/VLSI testability design , 1987 .

[3]  Krzysztof R. Apt,et al.  Logic Programming Languages: Constraints, Functions, and Objects , 1993 .

[4]  John Wylie Lloyd,et al.  Foundations of Logic Programming , 1987, Symbolic Computation.

[5]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[6]  Ehud Shapiro,et al.  Algorithmic Program Debugging , 1983 .

[7]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[8]  Jan Maluszynski,et al.  A grammatical view of logic programming , 1988, PLILP.

[9]  L. H. Goldstein,et al.  Controllability/observability analysis of digital circuits , 1978 .

[10]  Krzysztof Kuchcinski,et al.  An approach to testability analysis and improvement for VLSI systems , 1992, Microprocess. Microprogramming.

[11]  Samuel C. Lee,et al.  Digital circuits and logic design , 1976 .

[12]  Staffan Bonnier,et al.  A formal basis for horn clause logic with external polymorphic functions , 1992 .

[13]  Jan Maluszynski,et al.  Relating Logic Programs and Attribute Grammars , 1985, J. Log. Program..

[14]  Randall Davis,et al.  Model-based reasoning: troubleshooting , 1988 .

[15]  W. F. Clocksin.  Logic Programming and Digital Circuit Analysis , 1987, J. Log. Program..

[16]  Corrado Moiso,et al.  Exploiting the Full Power of Logic Plus Functional Programming , 1988, ICLP/SLP.

[17]  Zebo Peng,et al.  Testability measure with reconvergent fanout analysis and its applications , 1991, Microprocessing and Microprogramming.

[18]  Simin Nadjm-Tehrani,et al.  The Use of Assertions in Algorithmic Debugging , 1988, FGCS.

[19]  Daniele Theseider Dupré,et al.  Model-Based Diagnosis Meets Error Diagnosis in Logic Programs , 1993, IJCAI.

[20]  Jan Maluszynski,et al.  Towards a Clean Amalgamation of Logic Programs with External Procedures , 1988, PLILP.

[21]  John Darlington,et al.  Seminar and Workshop on Declarative Programming , 1991 .

[22]  Daniele Theseider Dupré,et al.  Model-Based Diagnosis Meets Error Diagnosis in Logic Programs (Extended Abstract) , 1993, AADEBUG.

[23]  H. K. Reghbati,et al.  LSI Testing Techniques , 1983, IEEE Micro.

[24]  Feliks Kluzniak,et al.  Enriching Prolog with S-Unification , 1991, Declarative Programming.

[25]  Simin Nadjm-Tehrani,et al.  Algorithmic Debugging with Assertions , 1989, META.