SAT-based reversible gate/wire replacement fault testing.

Sayeeda Sultana Atena Roshan Fekr Katarzyna Radecka

Published in: MWSCAS (2013)

Keyphrases

fault diagnosis
fault model
cellular automata
answer set programming
fault detection
multi agent systems
boolean satisfiability
active learning
dynamic programming
markov chain
logic programming
sat solvers
constraint propagation
fault injection