UMBC A B M A L T F O U M B C I M Y O R T 1 - - PowerPoint PPT Presentation

umbc
SMART_READER_LITE
LIVE PREVIEW

UMBC A B M A L T F O U M B C I M Y O R T 1 - - PowerPoint PPT Presentation

VLSI Design Verification and Test Delay Faults II CMPE 646 Path Counting The number of paths can be an exponential function of the # of gates. Parallel multipliers are notorious for having huge numbers of paths. It is possible to efficiently


slide-1
SLIDE 1

VLSI Design Verification and Test Delay Faults II CMPE 646 1 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Path Counting The number of paths can be an exponential function of the # of gates. Parallel multipliers are notorious for having huge numbers of paths. It is possible to efficiently count paths in spite of this however. FF2 FF1 C N1 N2 N3 N4 A1 A2 A3 A4 A5 O1 O2 Z Q1 Q2 R Modulo-3 counter P1 P2

slide-2
SLIDE 2

VLSI Design Verification and Test Delay Faults II CMPE 646 2 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Path Counting Directed acyclic graph (DAG) path graph for this circuit: Vertices represent the PIs, POs and gates, edges represent signal flow. Source and sink nodes are added to point to PIs and POs, algorithm visits each node, follows its edges and adds src value to destination nodes. Since the maximum indegree is O(N), worst case complexity is O(N2). source 1 1 1 1 1 1 1 1 2 4 4 4 4 8 8 2 8 8 sink 18 Z O1 O2 A1 A2 A3 A4 A5 N1 N2 N3 N4 C R P1 P2 Q1 Q2 1

slide-3
SLIDE 3

VLSI Design Verification and Test Delay Faults II CMPE 646 3 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Transition Fault Model Faults are modeled at the gate I/Os as slow-to-rise (STR) and slow-to-fall (STF) faults that elicit Stuck-At type fault behavior at the POs. For detection of a slow-to-rise fault, start with a SA0 fault on the line.

  • This sets the line to 1 and propagates the state of the line to a PO.
  • Let this be vector V2 then define V1 as a vector that sets the line to 0.

Advantages include:

  • Number of tests is upper bounded by twice the number of lines.
  • Stuck-at ATPG algorithms can be easily modified to produce these tests.

Transition fault tests can detect large (gross) delays. Tested paths may be short. They are not reliable at detecting delay defects that are distributed, unlike PDF. Transition fault tests are usually augmented by critical path delay tests.

slide-4
SLIDE 4

VLSI Design Verification and Test Delay Faults II CMPE 646 4 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Delay Test Methodologies The application of delay tests depends on the type of circuit and the DFT hardware used.

  • Slow-clock combinational test
  • Enhanced-scan test
  • Normal-scan sequential test
  • Variable-clock non-scan sequential test
  • Rated-clock non-scan sequential test

Slow-clock combinational test Note that V1 is applied at a slower rate and the circuit is allowed to stabi- lize. input latches

  • utput

latches Combo circuit Input test clock Output test clock TClk Rated clk period V1 V2

  • utput

latched Only applicable to this arch. POs PIs

slide-5
SLIDE 5

VLSI Design Verification and Test Delay Faults II CMPE 646 5 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Delay Test Methodologies Enhanced scan test Applicable to scan types of sequential circuits. Similar to the previous method, any arbitrary vector pair can be applied and test generation can treat the circuit as combinational. Each vector consists of two parts, bits for the PIs and bits for the state variables (SFFs). State bits are scanned in by setting TC to 0 and applying Clk. Combinational circuit PIs POs HL HL SFF SFF Scan out Scan in Hold ClkTC (Test Control)

slide-6
SLIDE 6

VLSI Design Verification and Test Delay Faults II CMPE 646 6 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Delay Test Methodologies Enhanced scan test (cont.) The bits are often scanned in using a slow clock to reduce power con- sumption and the chance of errors occurring due to scan chain delays. The scanned V1 bits are transferred to the Hold Latches (HL) and the PI bits of V1 are applied. When V1 stabilizes, the state bits of V2 are scanned in. Activation of the Hold signal and application of the V2 bits to the PIs cre- ates the V1 -> V2 transition. With TC = 1, Clk is used to latch the outputs in normal mode. V1 settles V1 scanin V1 applied V2 scanin V2 applied Clk HOLD TC Result latched Test result scanout Normal Scan mode

slide-7
SLIDE 7

VLSI Design Verification and Test Delay Faults II CMPE 646 7 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Delay Test Methodologies Enhanced scan test (cont.) Scan test time similar to full scan design but scan area overhead is larger and Hold Latches increase delay in signal paths. Normal-scan sequential test It is still possible to test full scan circuits with no Hold Latches for delay faults. However, it requires special vector-pairs. Combinational circuit PIs POs SFF SFF Scan out Scan in Clk TC (Test Control) V1 scanin Generate V2 V2 applied Slow Clk Rated Clk Outputs latched Test result scanout Slow Clk Scan-shift delay test or Skewed-load delay test

slide-8
SLIDE 8

VLSI Design Verification and Test Delay Faults II CMPE 646 8 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Delay Test Methodologies Normal-scan sequential test Launch-on-shift (LOS) or scan-shift delay test: Scan in of V1 is followed by

  • ne extra cycle of slow clock with the circuit still in scan mode (TC = 0).

The test is designed so that V2 is obtained from V1 by a 1 bit translation (PI bits of both vectors are unrestricted). As soon as V2 is applied, mode is changed from scan to normal and Clk is controlled at the rated period to latch outputs. Combinational circuit PIs POs SFF SFF Scan out Scan in Clk TC (Test Control) Broad-side delay test or LOC LOS V2 by scan shift V2 derived Alternatively functionally normal mode scan mode scan mode

slide-9
SLIDE 9

VLSI Design Verification and Test Delay Faults II CMPE 646 9 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Delay Test Methodologies Normal-scan sequential test Launch-on-capture (LOC) or broad-side delay test, the state portion (FF val- ues) of V2 are functionally generated by the combo logic under V1. Simultaneous application of V2 at the PIs and into the FFs via Clk in nor- mal mode generates the V1 -> V2 transitions. The outputs are latched one rated clock period later. Disadvantages: For LOS, scan-enable must switch at rated speed of clk. For LOC, correlations between V1 and V2 may not allow high fault cov- erage. See text for Variable-clock non-scan sequential test and rated-clock non-scan sequential test

slide-10
SLIDE 10

VLSI Design Verification and Test Delay Faults II CMPE 646 10 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Practical Considerations in Delay Testing Today, verification requires both function and timing analysis. Static timing analysis examines combinational paths without regard to sensiti- zation (delays of gates and wires are looked up in a database). Results of timing analysis used to improve the design and test:

  • Timing simulation:

Identified critical paths are simulated and the design is "tweeked" to make sure it meets the timing specification.

  • Critical path tests:

Critical path delay determines the clock period, and therefore tests are usually included to test such paths.

  • Layout optimization: Critical path data is used for std. cell/custom block

placement, to establish priorities in routing and for transistor sizing.

slide-11
SLIDE 11

VLSI Design Verification and Test Delay Faults II CMPE 646 11 (10/29/07)

UMBC

U M B C U N I V E R S I T Y O F M A R Y L A N D B A L T I M O R E C O U N T Y 1 9 6 6

Practical Considerations in Delay Testing Critical path tests are good at detecting "correlated defects", i.e., slow-downs due to global process variations, because the longest paths will fail first. Spot defects (or gross defects) affect only a small number of paths in the chip. Transition fault tests are capable of detecting these gross delay defects. Two forms of at-speed testing:

  • External:

The combination of critical path testing and transition fault testing pro- vides adequate at-speed testing.

  • Built-in self-test:

Since the at-speed ATE is expensive, BIST is an alternative. On-chip hardware is needed for test generation and response analysis. The speed of BIST is controlled by the off-chip clock.