… enabling applications far beyond classical ATPG. … we present the conditional multiple-stuck-at
fault model (CMS@) … SATbased test cube minimization and then turn to test compaction. …

… a SAT-based ATPGtool that supports the enhanced conditional multiple-stuck-at fault model
… used to express defect behaviour that lies beyond the expression capability of the ECMS@ …

… In this chapter we survey satisfiability checking methods that … In the following we describe a
SAT-based ATPG tool that … from ISCAS89 and consider single stuck-at faults. But this time we …

… Later, it was shown that the validity of stuck-at fault model is limited for reversible … SAT-based
ATPG should be applied to further fault models as well as additional constraints beyond …

… focus on the two widely used fault models stuck-at [16] and … For the experiments we focus
on the stuck-at fault model, as … beyond simple Boolean logic and toward more complex fault …

… and the proposed algorithm has a clear benefit beyond the current state-of-the art. … by the
SAT-based ATPG algorithms developed for this thesis. For stuck-at faults the faulty line is split …

… , we construct a single stuck-at fault ATPG model as shown in Fig. 3. The circuit of Fig. …
generation and a comprehensive compaction of exclusive test patterns is beyond the scope of this …

… In this work, the stuck-at fault model [6] is used. To generate a test pattern for a stuck-at fault,
… Beyond that limit, instances will be divided into classes based on the number of variables …

… , we analyze the two widely used fault models stuck-at [19] and … the inverse of the stuck-at
fault (to ‘1’ for a stuck-at-0 and vice-… beyond simple Boolean logic and towards more complex …

… While considering permanent hardware faults (stuck-at), we … We assume a stuck-at fault is
present in the output of the D … states during, eg, an SAT-based ATPG process. In the methods …