Deductive Diagnosis of Digital Circuits

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, startin...

Full description

Bibliographic Details
Main Author: Alferes, José Júlio Alves (author)
Other Authors: Azevedo, Francisco de Moura E Castro Ascensão de (author), Barahona, Pedro Manuel Corrêa Calvente de (author), Damásio, Carlos Augusto Isaac Piló Viegas (author), Swift, Terrance (author)
Format: conferenceObject
Language:eng
Published: 2019
Subjects:
Program processors
Processing
Fault simulation
Logic Programming
Abduction
Online Access:http://hdl.handle.net/10362/72472
Country:Portugal
Oai:oai:run.unl.pt:10362/72472

Internet

http://hdl.handle.net/10362/72472

Similar Items