Integration into Industrial Flow

Thus far, the SAT-based ATPG approach PASSAT has been considered as a standalone ATPG tool. In this chapter,¹ how to integrate it into an industrial flow is discussed. In the first section, the problem is motivated and a brief overview of the ATPG flow in an industrial environment is given. An effective integration of a SAT-based ATPG engine into an industrial environment is described in Section 9.2. First, observations made during initial experiments are presented. The advantages and drawbacks of (classical) ATPG engines are compared with those of a SAT-based algorithm. Afterwards – motivated by those observations – a concrete combination of the two approaches is proposed.