Fault Diagnosis using Quantified Boolean Formulas

@inproceedings{Mangassarian2007FaultDU,
  title={Fault Diagnosis using Quantified Boolean Formulas},
  author={Hratch Mangassarian and Andreas G. Veneris and Marco Benedetti},
  year={2007}
}
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

Citations

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

References

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

http://www.opencores.org

  • OpenCores.org
  • 2006.
  • 2006
2 Excerpts

Similar Papers

Loading similar papers…