Instance Generation for SAT-based ATPG
Instance Generation for SAT-based ATPG is a scholarly work by Rolf Drechsler and Daniel Tille, published in 2007. The main subjects of the publication include formal methods, computer science, conjunctive normal form, Automatic test pattern generation, algorithm, field-programmable gate array, logic gate, electronic circuit, boolean satisfiability problem, parallel computing, computer engineering, satisfiability, and combinational logic. Experimental results on large industrial circuits show the efficiency of the approach.