Can I read Deductive Diagnosis of Digital Circuits on EtoBox?

Deductive Diagnosis of Digital Circuits by Mahmud Reza is a document available to read on EtoBox.

What is Deductive Diagnosis of Digital Circuits about?

This paper presents an efficient deductive method for diagnosing faults in combinational digital circuits using various logic programming techniques. It compares the performance of a deductive approach with other methods, including generate-and-test, backtracking, tabling, and stable model programming, demonstrating that the deductive method significantly outperforms the others. The study focuses on the c6288 circuit from the ISCAS85 benchmark suite, showcasing the advantages of logic programming in diagnos

Author

Mahmud Reza

Language

EN