Fault Diagnosis using Quantified Boolean Formulas

  title={Fault Diagnosis using Quantified Boolean Formulas},
  author={Hratch Mangassarian and Andreas G. Veneris and Marco Benedetti},
Automatic debugging of sequential circuits has been considered a practically intractable task due to the excessive memory and run-time requirements associated with tackling industrial-size problems. This paper proposes a novel Quantified Boolean Formula (QBF) based approach for fault diagnosis in sequential circuits. A performance-driven succinct QBF encoding of the problem, coupled with the tremendous present-day advances in QBF solvers make this strategy a successful one. Extensive… CONTINUE READING
3 Citations
18 References
Similar Papers


Publications citing this paper.
Showing 1-3 of 3 extracted citations


Publications referenced by this paper.
Showing 1-10 of 18 references


  • OpenCores.org
  • 2006.
  • 2006
2 Excerpts

Similar Papers

Loading similar papers…