Title :
Circuit representation and diagnosis using Prolog
Author :
Rogel-Favila, Benjamin ; Cheung, Peter Ying Kay
Author_Institution :
Dept. of Electr. Eng., Imperial Coll. of Sci. & Technol., London, UK
Abstract :
An algorithm is described for the location of faults in combinational circuits using the logic programming paradigm in the form of Prolog. It is based on the deep reasoning approach to circuit fault diagnosis, and since a failure is defined as a mismatch between expected and measured behavior, it can deal with a wider range of different types of faults than traditional test pattern generation techniques and fault dictionaries. As an examples, this fault diagnosis algorithm is applied to a moderately complex combinatorial circuit. Very encouraging results are obtained
Keywords :
PROLOG; automatic testing; combinatorial circuits; fault location; integrated circuit testing; logic testing; printed circuit testing; Prolog; circuit fault diagnosis; combinational circuits; deep reasoning approach; expected behaviour; failure definition; fault diagnosis algorithm; fault location algorithm; location of faults; logic programming paradigm; logic testing; measured behavior; results; traditional test pattern generation techniques; wide fault type range; Circuit faults; Circuit testing; Combinational circuits; Dictionaries; Educational institutions; Electrical fault detection; Fault detection; Fault diagnosis; Logic programming; Test pattern generators;
Conference_Titel :
Circuits and Systems, 1989., IEEE International Symposium on
Conference_Location :
Portland, OR
DOI :
10.1109/ISCAS.1989.100510
