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

fYear

1989

Firstpage

957

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Circuits and Systems, 1989., IEEE International Symposium on

Conference_Location

Portland, OR

Type

conf

DOI

10.1109/ISCAS.1989.100510

Filename

100510