1 / 30

High-Level Test Generation

High-Level Test Generation. Test Generation by Enhancing Validation Test Sets*. * L. Lingappan, et al., VLSI Design, 2007 (Paper available on the class website). Basic Idea. Reuse validation test sequences Fixed control sequence, only data path values need to be determined

sabine
Télécharger la présentation

High-Level Test Generation

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. High-Level Test Generation

  2. Test Generation by Enhancing Validation Test Sets* * L. Lingappan, et al., VLSI Design, 2007 (Paper available on the class website)

  3. Basic Idea Reuse validation test sequences • Fixed control sequence, only data path values need to be determined • Precomputed module tests are used • If validation sequences are instruction-level, so are the generated tests • RTL level analysis means faster times SAT-Based Diagnosis

  4. Details • Basis for analysis: • RTL circuit and controller FSM • CDFG and state transition sequence for a given validation test sequence • Not all test sequences are analyzed for all precomputed test vectors because this could be computationally expensive. Instead, heuristics are used to determine compatibility. SAT-Based Diagnosis

  5. Process • Fault simulate validation test sequences and determine the activation time cycle for each detected fault. • If a detected fault falls within a module, the sequence is a candidate for applying precomputed test vectors • Determine compatibility of each test vector with the sequence • If compatible, then justify and propagate SAT-Based Diagnosis

  6. Example RTL Circuit SAT-Based Diagnosis

  7. Controller Specification SAT-Based Diagnosis

  8. CDFG and State Transition Sequence Exercised by test T1 SAT-Based Diagnosis

  9. Activation and Detection Cycle for Target Fault SAT-Based Diagnosis

  10. Justification of Required Values-1 SAT-Based Diagnosis

  11. Justification of Required Values-2 SAT-Based Diagnosis

  12. Circuits Used in Experiments SAT-Based Diagnosis

  13. Test Generation Results SAT-Based Diagnosis

  14. Test Generation with Functional Fault Modleing* * Hansen and Hayes, VLSI Test Symposium, 1995, pp. 20-28.

  15. Summary • High-level fault modeling ensuring coverage of low-level (physical or single-stuck-line) faults. • Fault effects induced from low (gate) to high (RTL or functional) level • Allows discovery of minimum test sets at the high level that are hard to find by low (gate-level) techniques SAT-Based Diagnosis

  16. Functional Fault Models • General Faults (Universal) • Pin Faults Both of the above are implementation and technology independent • Induced faults: • Physically Induced Faults (PIFs) Derived from an implementation by the induction process, hence implementation dependent and may be technology dependent. • PIFs derived from single stuck-at faults are denoted as SIFs in the paper. SAT-Based Diagnosis

  17. Faults, Functions, and Tests SAT-Based Diagnosis

  18. Example • Consider the effect of some sample SAFs on the circuit function: • A SA0 • A SA1 • AP SA0 SAT-Based Diagnosis

  19. Consider Fault Dominance: Top 6 dominate the rest, hence only need to cover these. SIFs of the Example Circuit SAT-Based Diagnosis

  20. Minimal SIF Test Set SAT-Based Diagnosis

  21. Dependence on Implementation (b) and (c) have fault functions not covered by those of (a). Hence require additional SIFs SAT-Based Diagnosis

  22. Ci M Ai Bi C4 C1 C2 C0 C3 M M M M A0 A1 A2 A3 B1 B2 B0 B3 Extension to Ripple-Carry Circuit Ci+1 How many SIF tests are required for the RCC? SAT-Based Diagnosis

  23. Test Set Sizes SAT-Based Diagnosis

  24. Larger Examples • CLA Generator (74182) • Eliminate the logic gates for G and P in the carry circuit • Cascade the above module as in the RCC. How do the SIFs change for the module? How many tests for the whole circuit? SAT-Based Diagnosis

  25. Tests Required for 4-bit CLA Generator SAT-Based Diagnosis

  26. The 10 tests for CLA can be extended to cover the XOR modules. Hence 10 tests suffice for this circuit also. 4-bit Adder (74283) SAT-Based Diagnosis

  27. CLA again dominates the test generation. 12 Tests are required, of which 10 correspond to testing CLA. ALU Circuit (74181) SAT-Based Diagnosis

  28. Summary of Results(For Medium Circuits) SAT-Based Diagnosis

  29. The paper goes on to apply the technique to ISCAS85 circuits. • They needed to extract high-level models for these circuits by painstaking reverse-engineering. These models are available from Prof. Hayes’ website at U. Michigan. SAT-Based Diagnosis

  30. Conclusion • Physical fault effects induced at the functional level • Unlike prior high-level models, PIFs allow complete low-level coverage. • However, the analysis is not automatic and the results do depend on the implementation • The technique allowed obtaining provably minimum test sets for various common known implementations. SAT-Based Diagnosis

More Related