In this paper, we study the use of QBF solvers for fault localization and correction of sequential circuits. Given a violated specification, we compute whether the circuit can be repaired by evaluating a sequence of quantified Boolean formulas. If a repair exists, it can be extracted from a certificate for another quantified Boolean formula. Because it only finds components when a repair is possible, this approach is more precise than a satisfiability-based approach that we have developed earlier. We demonstrate this in an experimental evaluation. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Staber, S., & Bloem, R. (2007). Fault localization and correction with QBF. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4501 LNCS, pp. 355–368). Springer Verlag. https://doi.org/10.1007/978-3-540-72788-0_34
Mendeley helps you to discover research relevant for your work.