Hardware Diagnosis as Program Debugging

Gupta, Ajay

Hardware Diagnosis as Program Debugging

Download BibTeX Cite

Proceedings of the Tenth International Joint Conference on Artificial Intelligence. Knowledge Representation. Pages 524-525.

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.

Ajay Gupta. 1987. Hardware Diagnosis as Program Debugging. In Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87. IJCAI, 524–525. https://ijcai.org/proceedings/1987/104

@inproceedings{ijcai1987p104,
  title     = {Hardware Diagnosis as Program Debugging},
  author    = {Gupta, Ajay},
  booktitle = {Proceedings of the Tenth International Joint Conference on
               Artificial Intelligence, {IJCAI-87}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {John McDermott},
  pages     = {524--525},
  year      = {1987},
  note      = {Knowledge Representation},
  url       = {https://ijcai.org/proceedings/1987/104},
}

TY  - CPAPER
TI  - Hardware Diagnosis as Program Debugging
AU  - Gupta, Ajay
T2  - Proceedings of the Tenth International Joint Conference on Artificial Intelligence, IJCAI-87
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1987
SP  - 524
EP  - 525
UR  - https://ijcai.org/proceedings/1987/104
ER  -