Incremental Solving Techniques for SAT-based ATPG
Incremental Solving Techniques for SAT-based ATPG is a scholarly work by Rolf Drechsler, Stephan Eggersglüß, and Daniel Tille, published in 2010 in ''IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems''. The main subjects of the publication include formal methods, computer science, Automatic test pattern generation, algorithm, field-programmable gate array, boolean satisfiability problem, set, training, validation, and test data sets, Fault coverage, biological robustness, computer engineering, parallel computing, satisfiability, and reduction. The authors present methodologies to improve the efficiency of SAT-based ATPG.