15.01.2013 Views

U. Glaeser

U. Glaeser

U. Glaeser

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

This method, however, lacks the applicability to general pass-transistor networks and is also inefficient<br />

because the resulting networks have a very large number of gates.<br />

Delay fault testing [17–21] based on gate or path delay fault models has recently emerged as the<br />

potentially most powerful method for functional testing. In order to achieve a high fault coverage, delay<br />

fault testing requires a detailed timing characterization of the circuit elements. Although this is usually<br />

satisfied for gate-level ATPG based on logic primitives, it is difficult to compute timing properties in a<br />

full-custom design style employing complex gates, transistor networks, and bidirectional switch-level<br />

macros. If no explicit timing information is available, a transition fault model [22] is the most convenient<br />

choice. Such a model checks for possible high-low and low-high transitions of all internal circuit nodes<br />

at gate-level. The system clock then sets the timing limit for transitions.<br />

Recently, the detection of defects beyond functional faults by methods such as built-in overcurrent<br />

measurements (Iddq-testing) [23,24] has received considerable attention. Despite their potential coverage<br />

of transistor faults and bridging faults, these methods are static by nature and therefore they are a complement<br />

to, instead of a replacement for, dynamic testing.<br />

The work introduced here is aimed at the generation of efficient test sets for conventional voltagebased<br />

tests as well as for Iddq tests. The method is based on the transition fault model and on available<br />

structural information at transistor-level and gate-level. Our software also supports various other fault<br />

models. The basic approach relies on relatively few but efficient modifications to the FAN algorithm<br />

in combination with adapted local switch-level test generation. The advantage over other approaches<br />

is that switch-level structures are only addressed where truly necessary, and fault propagation is essentially<br />

handled at gate-level. Test sets are kept short by using robust multipattern sequences where<br />

possible.<br />

A sequential test pattern generation approach is presented in the second part of this paper. It is based<br />

on the new FOGBUSTER-algorithm. As opposed to the BACK-algorithm [25], which was built on basic<br />

theoretical work [26,27], FOGBUSTER uses a forward propagation and backward justification technique,<br />

which is in general more efficient than the exclusive reverse time processing BACK uses.<br />

The advantage of all these test pattern generators over simulation-based approaches [28,29], which are<br />

generally much faster than these techniques, is that they are complete, i.e., for any given testable fault a<br />

test pattern is generated assuming sufficient time.<br />

The overall approach is summarized in Table 45.1. Although MILEF (mixed-level FAN) is able to<br />

generate test patterns for combinational circuits using a modified FAN-algorithm, SEMILET can generate<br />

test patterns for synchronous sequential circuits using the FOGBUSTER-algorithm.<br />

The rest of this chapter is organized as follows: The first part (Section 45.2) describes the mixed-level<br />

ATPG approach for combinational logic. The second part is devoted to sequential ATPG (Section 45.3).<br />

Results for the ISCAS ’85 (combinational) and the ISCAS ’89 (sequential) benchmark circuits are presented<br />

and compared to other approaches. The chapter ends with a summary (Section 45.4).<br />

© 2002 by CRC Press LLC<br />

TABLE 45.1 The Relation between Test Generation Approaches<br />

ATPG Tool MILEF SEMILET<br />

Circuit behavior Combinational circuits or full<br />

scan circuits<br />

Synchronous sequential circuits<br />

Algorithm Modified FAN FOGBUSTER<br />

Test generator for embedded<br />

switch-level macros<br />

CTEST CTEST<br />

Voltage-based fault models Stuck-at<br />

Stuck-open<br />

Transition<br />

Stuck-at<br />

Current-based fault models Stuck-at<br />

Stuck-at<br />

Stuck-on<br />

Stuck-on

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!