TG-Pro: A SAT-based ATPG System
Huan Chen, João P. Marques-Silva · Journal on Satisfiability Boolean Modeling and Computation · 2012
Automatic Test Pattern Generation (ATPG) is arguably one of the practical applications that motivated the development of modern Boolean Satisfiability (SAT) solvers in the mid 90s. Despite the interest of using SAT in ATPG, the original model remaine