Hardware diagnosis as program debugging

Authors:
Ajay Gupta
Affiliations:
Hewlett-Packard Laboratories, Bristol Research Centre, Bristol, UK
Venue:
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Year:
1987

Citing 3
Cited 0

The use of design descriptions in automated diagnosis

Artificial Intelligence - Special volume on qualitative reasoning about physical systems
Logic programming and digital circuit analysis

Journal of Logic Programming
Algorithmic Program DeBugging

Algorithmic Program DeBugging

Quantified Score

Hi-index	0.00

Visualization

Abstract

Horn clauses provide a useful framework for writing executable structural representations for digital circuits. This paper discusses how these representations can be used to diagnose faulty circuits using algorithmic program debugging techniques developed by Shapiro. The sound theoretical basis of these techniques is one of the major advantages of this approach. This framework also provides a new perspective on some of the hardware diagnosis techniques suggested in the literature.