Deductive Diagnosis of Digital Circuits

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

2 Citations (Scopus)
2 Downloads (Pure)


In this paper we present an efficient deductive method for addressing combina- tional circuit diagnosis problems. The method resorts to bottom-up dependen- cies propagation, where truth-values are annotated with sets of faults. We com- pare it with several other logic programming techniques, starting with a naïve generate-and-test algorithm, and proceeding with a simple Prolog backtracking search. An approach using tabling is also studied, based on an abductive approach. For the sake of completeness, we also address the same problem with Answer Set Programming. Our tests recur to the ISCAS85 circuit bench- marks suite, although the technique is generalized to systems modelled by a set of propositional rules. The dependency-directed method outperforms others by orders of magnitude.
Original languageEnglish
Title of host publicationIFIP World Computer Congress
Number of pages12
Publication statusPublished - 1 Jan 2004
EventArtificial Intelligence Applications and Innovations -
Duration: 1 Jan 2004 → …


ConferenceArtificial Intelligence Applications and Innovations
Period1/01/04 → …


  • Program processors
  • Processing
  • Fault simulation
  • Logic Programming
  • Abduction


Dive into the research topics of 'Deductive Diagnosis of Digital Circuits'. Together they form a unique fingerprint.

Cite this