Login / Signup
Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis.
Lamya Gaber
Aziza I. Hussein
Hanafy Mahmoud
M. Mourad Mabrook
Mohammed Moness
Published in:
J. Ambient Intell. Humaniz. Comput. (2022)
Keyphrases
</>
digital circuits
model based diagnosis
medical diagnosis
analog circuits
error rate
answer set programming
data flow
evolvable hardware
domain specific
fault diagnosis
error bounds
sat solvers
bounded model checking