Can SAT be used to improve sequential ATPG methods?

In this work we investigate the integration of SAT methods into a simulation-based sequential ATPG tool, STRATEGATE, with the aim of improving the state-of-the-art in sequential ATPG. We offer a detailed analysis of possible scenarios and algorithms for performing such an integration. Our preliminary investigations show that such hybrid approaches can be very promising.