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

ver descrição completa

Detalhes bibliográficos
Autor principal: Alferes, José Júlio Alves (author)
Outros Autores: 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)
Formato: conferenceObject
Idioma:eng
Publicado em: 2019
Assuntos:
Program processors
Processing
Fault simulation
Logic Programming
Abduction
Texto completo:http://hdl.handle.net/10362/72472
País:Portugal
Oai:oai:run.unl.pt:10362/72472

Texto Completo

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

Registos relacionados