VLSI Test Technology and            Reliability               (ET4076)          Lecture 4(part 2)    Testability Measureme...
Previous lecture    What is the difference between Functional and    Structural testing? Give an example    What is a defe...
Learning aims of today    Describe concepts like simulation, simulation for    design, simulation for test    Describe the...
Logic Simulation                                  & Fault SimulationLogic Simulation                                   Fau...
Logic Simulation         Definition of simulation         Simulation for design verification         Simulation models    ...
Definition of simulation     Definition: Simulation refers to modeling of a     design, its function and performance.     ...
Definition of simulation     Simulation for design verification:           Validate assumptions           Verify logic    ...
Simulation for design verification                                              Specification                             ...
Simulation models     Modules, blocks or components described by           Input/output (I/O) function           Delays as...
Simulation modelsModeling               Circuit                    Signal          Timing        Applicationlevel         ...
Simulation models…..                                         Hierarchy connectivity                                       ...
Simulation models ….Logic Model of MOS Circuit           Static CMOS NAND Gate   pMOS FETs                     VDD        ...
Simulation models…..                                              Inertial/switching delay  Simulation of                 ...
Simulation models ……Modeling Signal States     Two-states (0, 1) can be used for purely     combinational logic with zero-...
Logic simulation    True-value simulation algorithms          Compiled-code simulation          Event-driven simulationVLS...
Logic simulation.. …Compiled code simulation    Circuit described in a language that can be    compiled & executed (e.g. H...
Logic simulation……Compiled code simulation    Very effective for zero-delay combinational    logic (0,1 states)          C...
Logic simulation……Compiled code simulation  Algorithm:      Step 1            Levelize combinational logic and encode in a...
Logic simulation……Event-driven simulation    Perform gates or modules evaluation only when    necessary (input event)     ...
Logic simulation……Event-driven simulation    Efficient for low-activity circuits          Lower power circuits    Accurate...
Logic simulation……Event-driven simulation                                                                                S...
Logic simulation……Event-driven simulation Efficiency   Simulates events (value changes) only   Speed up over compiled-code...
Summary     Logic or true-value simulators are essential tools for     design verification.     Verification vectors and e...
Fault Simulation           Problem and motivation           Simulation for Test           Fault simulation algorithms     ...
Problem and Motivation     Fault simulation Problem           Given:                A circuit                A sequence of...
Simulation for Test                                       Verified design                        Verification             ...
Simulation for Test ……....Scenario     Circuit model: mixed-level           Mostly logic with some switch-level for high- ...
Simulation for Test ……....Faults     Mostly single stuck-at faults     Sometimes stuck-open, transition, and path-delay   ...
Fault Simulation Algorithms   Fault simulation time is much greater than that of     design verification!       Serial    ...
Fault Simulation ……Serial Algorithm      Algorithm:            Simulate fault-free circuit and save responses.            ...
Fault Simulation ……Serial Algorithm     Disadvantage:           Much repeated computation; CPU time prohibitive for VLSI  ...
Fault Simulation …… Parallel Algorithm     Exploits inherent bit-parallelism of logical     operations on computer words  ...
Fault Simulation …… Parallel Algorithm     Storage: one word per line for two-state     simulation     Very fast in practi...
Fault Simulation ……                                      Parallel Algorithm   Example:   Assume a computer with three bit ...
Fault Simulation ……                               Deductive Algorithm    One-pass simulation: Only fault free circuit simu...
Fault Simulation ……                               Deductive Algorithm    Advantages          Efficient in processing all f...
Fault Simulation ……                               Deductive Algorithm    Rules for fault list propagationVLSI Test Technol...
Fault Simulation ……                                       Deductive Algorithm Example:             Notation: Lk is fault l...
Fault Simulation ……                              Concurrent Algorithm    Event-driven simulation of fault-free circuit and...
Fault Simulation ……                              Concurrent Algorithm    Most general method of fault simulation    Handle...
Fault Simulation ……                                     Concurrent Algorithm    Perform the golden simulation with 11 as i...
Alternatives to fault simulationFault Sampling    Popular technique to reduce fault simulation effort    A randomly select...
Alternatives to fault simulation   Motivation for Sampling       Complexity of fault simulation depends on:             Nu...
Alternatives to fault simulation    Random Sampling Model                                                      Detected   ...
Summary     Fault simulator is an essential tool for test     development.     Four fault simulation algorithms           ...
Next lecture – we will talk about Testability    measures and Automated Test Pattern    Generation (ATPG) for Combinationa...
Upcoming SlideShare
Loading in...5
×

VLSI Test Technology & Reliabillity - Module 4 logic_and_fault_simulation

2,053

Published on

Published in: Education, Technology, Design
0 Comments
1 Like
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total Views
2,053
On Slideshare
0
From Embeds
0
Number of Embeds
1
Actions
Shares
0
Downloads
104
Comments
0
Likes
1
Embeds 0
No embeds

No notes for slide

VLSI Test Technology & Reliabillity - Module 4 logic_and_fault_simulation

  1. 1. VLSI Test Technology and Reliability (ET4076) Lecture 4(part 2) Testability Measurements (Chapter 6) Said Hamdioui Computer Engineering Lab Delft University of Technology 1 2009-2010
  2. 2. Previous lecture What is the difference between Functional and Structural testing? Give an example What is a defect? What is a fault model? What are the common fault models? How are the following concept used for test generation Single-stuck at fault Fault equivalence Fault dominance and checkpoint theorem What are the transistor faults?VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 2
  3. 3. Learning aims of today Describe concepts like simulation, simulation for design, simulation for test Describe the different models used for circuit simulation (gate level, timing, signals, etc) Distinguish the two different methods for logic simulation (concept, advantages, …) Distinguish the four different methods for fault simulation (concept, advantages, …) Describe alternatives for fault simulationVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 3
  4. 4. Logic Simulation & Fault SimulationLogic Simulation Fault simulation Definition of simulation Problem and motivation Simulation for design Simulation for Test verification Fault simulation algorithms Simulation models Serial Parallel Logic simulation Deductive Compiled-code simulation Concurrent Event-driven simulation Alternatives to fault simulation Summary Random Fault Sampling SummaryVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 4
  5. 5. Logic Simulation Definition of simulation Simulation for design verification Simulation models Logic simulation Compiled-code simulation Event-driven simulation SummaryVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 5
  6. 6. Definition of simulation Definition: Simulation refers to modeling of a design, its function and performance. In electronic design, two purposes: Verify the correctness of the design Verify the testsHardware simulator (emulator) Software simulatorVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 6
  7. 7. Definition of simulation Simulation for design verification: Validate assumptions Verify logic Verify performance (timing) Verify the specs Identify design errors Simulation at different levels: Behavioral/RTL/functional Logic Switch level Timing Circuit/layoutVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 7
  8. 8. Simulation for design verification Specification Synthesis Response Design Design analysis changes netlist) (netlist) Computed True- True-value Input stimuli responses simulation Advantages: Details of circuit behavior can be simulation Use of hierarchy (e.g., vhdl/C before netlist) Weaknesses Incomplete: Dependency on design’s heuristics E.g., adder for two 32-bit integer: 264 input vector (impractical)VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 8
  9. 9. Simulation models Modules, blocks or components described by Input/output (I/O) function Delays associated with I/O signals Examples: binary adder, Boolean gates, FET, resistors and capacitors Interconnects represent Ideal signal carriers, or Ideal electrical conductors Netlist: a format (or language) that describes a design as an interconnection of modules. Netlist may use hierarchy.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 9
  10. 10. Simulation modelsModeling Circuit Signal Timing Applicationlevel description values ArchitecturalFunction, Programming 0, 1 Clock and functionalbehavior, RTL language-like HDL boundary verificationLogic Connectivity of 0, 1, X Zero-delay Logic Boolean gates, unit-delay, verification and Z multiple- flip-flops and and test transistors delaySwitch Transistor size 0, 1 Zero-delay Logic and connectivity, and X verification node capacitancesTiming Transistor technology Analog Fine-grain Timing data, connectivity, voltage timing verification node capacitancesCircuit Continuous Digital timing Tech. Data, active/ Analog time and analog passive component voltage, circuit connectivity current verificationVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 10
  11. 11. Simulation models….. Hierarchy connectivity Half Adder c HA; a inputs: a, b; e outputs: c, f; d AND: A1, (a, b), (c); f b AND: A2, (d, e), (f); HA OR: O1, (a, b), (d); NOT: N1, (c), (e); Full Adder D FA;A Carry inputs: A, B, C;B HA1 E F outputs: Carry, Sum;C HA2 Sum HA: HA1, (A, B), (D, E); HA: HA2, (E, C), (F, Sum); OR: O2, (D, F), (Carry);VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 11
  12. 12. Simulation models ….Logic Model of MOS Circuit Static CMOS NAND Gate pMOS FETs VDD a Da ca Dc b Ca c Dbb Cc Da and Db are Cb nMOS FETs interconnect/propagation delays Dc is inertial/switching Ca , Cb and Cc are delay of gate parasitic capacitancesVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 12
  13. 13. Simulation models….. Inertial/switching delay Simulation of a Da a NAND gate) Dc c b Db Transient a region Inputs b c (CMOS) c (Zero delay) Logic simulation c (Unit delay) X c (Multiple delay) rise=5, fall=5 Unknown (X) c (Minmax delay) min =2, max =5 0 5 Time unitsVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 13
  14. 14. Simulation models ……Modeling Signal States Two-states (0, 1) can be used for purely combinational logic with zero-delay. Three-states (0, 1, X) are essential for timing hazards and for sequential logic initialization. X: unknown value Four-states (0, 1, X, Z) are essential for MOS devices. Z: High impedance state (floating state) Z (hold previous value) 0 0 Analog signals are used for exact timing of digital logic and for analog circuits.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 14
  15. 15. Logic simulation True-value simulation algorithms Compiled-code simulation Event-driven simulationVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 15
  16. 16. Logic simulation.. …Compiled code simulation Circuit described in a language that can be compiled & executed (e.g. HDL, C) Signals are treated as variables Functions like AND, OR, etc are converted to statements High level functions (e.g., memory, Mux, ..) are modeled as subroutines Flip-Flops are modeled as data variablesVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 16
  17. 17. Logic simulation……Compiled code simulation Very effective for zero-delay combinational logic (0,1 states) Cycle based simulation Also used for cycle-accurate synchronous sequential circuits for logic verification Initialization of FFs required Efficient for highly active circuits But inefficient for low-activity circuits Generally 1-10% of signal activity in digital circuits Timing problems (e.g., glitches) are not modeled Allows inputs change only when circuit is stable i.e., allows only synchronous circuit.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 17
  18. 18. Logic simulation……Compiled code simulation Algorithm: Step 1 Levelize combinational logic and encode in a compilable programming language Step 2: Initialize data variables (flip-flops) Step 3: For each input vector Set primary input variables Repeat (until steady-state or max. iterations) Execute compiled code Report or save computed variablesVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 18
  19. 19. Logic simulation……Event-driven simulation Perform gates or modules evaluation only when necessary (input event) Event means a signal change Simulator follows the path of events Activity list Only the necessary amount of work is done ⇒ significant saving of computer effort a =0 e =0 c =1 0 2 2 g =0 2 d=0 4 f =0 b =0VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 19
  20. 20. Logic simulation……Event-driven simulation Efficient for low-activity circuits Lower power circuits Accurate implementation of general delays models Timing verification Event scheduling Best approach for circuit debug Best in detecting hazards Can be extended for fault simulationVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 20
  21. 21. Logic simulation……Event-driven simulation Scheduled Activity events lista =1 e =1 t=0 c=0 d, ec =1 0 2 g =1 1 2 2 2 d = 1, e = 0 f, g d=0 Time stack 3 4 f =0b =1 4 g=0 5 g 6 f=1 g 0 4 8 Time, t 7 8 g=1VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 21
  22. 22. Logic simulation……Event-driven simulation Efficiency Simulates events (value changes) only Speed up over compiled-code can be ten times or more; in large logic circuits about 0.1 to 10% gates become active for an input change Steady 0 Large logic Steady 0 block without (no event) activity 0 to 1 eventVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 22
  23. 23. Summary Logic or true-value simulators are essential tools for design verification. Verification vectors and expected responses are generated (often manually) from specifications. A logic simulator can be implemented using either compiled-code or event-driven method. Per vector complexity of a logic simulator is approximately linear in circuit size. Modeling level determines the evaluation procedures used in the simulator.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 23
  24. 24. Fault Simulation Problem and motivation Simulation for Test Fault simulation algorithms Serial Parallel Deductive Concurrent Alternatives to fault simulation Random Fault Sampling SummaryVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 24
  25. 25. Problem and Motivation Fault simulation Problem Given: A circuit A sequence of test vectors + fault model Determine Fault coverage Fraction (or percentage) of modeled faults detected by test vectors Set of undetected faults (identify vectors without any added value) (With help of other programs, a minimal test set for a given fault coverage for manufacturing test) Motivation Determine test quality and in turn product quality Development of manufacturing test programVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 25
  26. 26. Simulation for Test Verified design Verification netlist input stimuli Fault simulator Fault simulator Test vectors Modeled Remove Test Delete fault list tested faults compactor vectors Fault Low Test coverage ? generator Adequate Add vectors Fault coverage = Detected faults / Total nr. of faults Stop Deals with the behavior of fabricated circuit It determine the FC of each input vector It can generate the required test set for a given FCVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 26
  27. 27. Simulation for Test ……....Scenario Circuit model: mixed-level Mostly logic with some switch-level for high- impedance (Z) and bidirectional signals High-level models (memory, etc.) with pin faults Signal states: logic Two (0, 1) or three (0, 1, X) states for purely Boolean logic circuits Four states (0, 1, X, Z) for sequential MOS circuits Timing: Zero-delay for combinational and synchronous circuits Mostly unit-delay for circuits with feedbackVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 27
  28. 28. Simulation for Test ……....Faults Mostly single stuck-at faults Sometimes stuck-open, transition, and path-delay faults Analog circuit fault simulators are not yet in common use Equivalence fault collapsing of single stuck-at faults Fault-dropping -- a fault once detected is dropped from consideration as more vectors are simulated; fault-dropping may be suppressed for diagnosis Fault sampling -- a random sample of faults is simulated when the circuit is largeVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 28
  29. 29. Fault Simulation Algorithms Fault simulation time is much greater than that of design verification! Serial fault free simulation + fault injection & simulation for each fault Parallel Use bit-parallelism of logical operation in a digital computer Deductive Deduce all signal values in each faulty circuit from simulated fault-free circuit Concurrent Simulating the fault-free circuit and concurrently simulating the faulty circuit only if the faulty circuit’s activity actually differs from that of the fault-free circuit (Event driven)VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 29
  30. 30. Fault Simulation ……Serial Algorithm Algorithm: Simulate fault-free circuit and save responses. Repeat following steps for each fault in the fault list: Modify netlist by injecting one fault Simulate modified netlist, vector by vector, comparing responses with saved responses If response differs, report fault detection and suspend simulation of remaining vectors Advantages: Easy to implement; needs only a true-value simulator, less memory Can simulate any fault that can injected in the circuit description (e.g., Stuck-at-faults, bridging faults, stuck- open fault, delay fault, analog faults)VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 30
  31. 31. Fault Simulation ……Serial Algorithm Disadvantage: Much repeated computation; CPU time prohibitive for VLSI circuits For n faults, the CPU time may be n time that of true-value (golden) simulator Alternative: Simulate many faults together Test vectors Fault-free circuit Comparator f1 detected? Circuit with fault f1 Comparator f2 detected? Circuit with fault f2 Comparator fn detected? Circuit with fault fnVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 31
  32. 32. Fault Simulation …… Parallel Algorithm Exploits inherent bit-parallelism of logical operations on computer words Multi-pass simulation: Each pass simulates w-1 new faults, where w is the machine word length E.g., w=32 bit word; Simulate 31 faulty circuits and a golden circuit in parallel Single fault injected and simulated in parallel for the same patterns Most effective when: Signals assumed to take two-states (0,1) Gates assumed to all have the same delay (zero or unit)VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 32
  33. 33. Fault Simulation …… Parallel Algorithm Storage: one word per line for two-state simulation Very fast in practice for combinational circuits. Speed up over serial method ~ w-1 Not suitable for circuits with timing-critical and non-Boolean logic Compiled code or even driven simulationVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 33
  34. 34. Fault Simulation …… Parallel Algorithm Example: Assume a computer with three bit word Bit 0: fault-free circuit Bit 1: circuit with c s-a-0 Bit 2: circuit with f s-a-1 1 1 1 c s-a-0 detected a 1 0 1 1 1 1 1 0 1 b e 1 0 1 c s-a-0 g 0 0 0 d f s-a-1 0 0 1 f s-a-1 NOTVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft detected 34
  35. 35. Fault Simulation …… Deductive Algorithm One-pass simulation: Only fault free circuit simulated Explicitly simulating only the behavior of the fault-free circuit Simultaneously deducing from the current good state of the circuit all faults that are detectable at any internal or output line Following true-value simulation of each vector, fault lists of all gate output lines are updated using set-theoretic rules, signal values, and gate input fault lists Results for each faulty circuit are deduced PO fault lists provide detection data Each line k contains a list Lk of faults detectable on k Circuit model: Signals assumed to take two-states (0,1) Boolean gates assumed to all have the same delay (or unit)VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 35
  36. 36. Fault Simulation …… Deductive Algorithm Advantages Efficient in processing all faults at the same time Compiled code or even driven simulation Tremendous speed up Limitations: Set-theoretic rules difficult to derive for non- Boolean gates Only suitable for zero or unit delay Gate delays are difficult to use Unknown faults are not easy handled Requiring large storage. Size of fault lists cannot be predicted in advanceVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 36
  37. 37. Fault Simulation …… Deductive Algorithm Rules for fault list propagationVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 37
  38. 38. Fault Simulation …… Deductive Algorithm Example: Notation: Lk is fault list for line k ; kn is s-a-n fault on line k Applied vector is ab=11 Simulate all s-a-1 and s-a-0 for all lines First: golden simulation to determine all signal values Second: fault list generation and propagation La={a0} Le = La U Lc U {e0} 1a = {a0 , b0 , c0 , e0} 1 Lc={b0,c0} b e 1 Lb={b0} c 1 g U d f 0 Lg = (Le Lf ) U {g0} Ld={b0 , d0} = {a0 , c0 , e0 , g0} Lf = Ld U {f1} Faults detected by = {b0 , d0 , f1} the input vectorVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 38
  39. 39. Fault Simulation …… Concurrent Algorithm Event-driven simulation of fault-free circuit and (concurrently) only those parts of the faulty circuit that differ in signal states from the fault-free circuit. Event scheduling and processing All events of fault-free and all faulty circuits are implicitly simulated. A list per gate containing copies of the gate from all faulty circuits in which this gate differs. List element contains fault ID, gate input and output values and internal states, if any.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 39
  40. 40. Fault Simulation …… Concurrent Algorithm Most general method of fault simulation Handles various types of circuits models, faults, signal states and timing models (offers most flexibility.) Directly applicable to functional-level and mixed-level modeling. Requiring even more memory space.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 40
  41. 41. Fault Simulation …… Concurrent Algorithm Perform the golden simulation with 11 as input To each good gate, a number of bad gates are attached At the PO, any bad gate whose output is different from of good gate indicates a fault detection a0 b0 c0 e0 0 1 1 1 0 0 0 0 1 0 1 0 1 a 1 1 1 1 b 1 e 1 c 1 1 g 0 1 0 f 0 d a0 b0 c0 e0 0 0 0 0 0 1 0 0 0 1 0 0 b0 d0 f1 1 1 1 0 1 0 1 1 1 0 1 1 0 1 1 g0 f1 d0VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 41
  42. 42. Alternatives to fault simulationFault Sampling Popular technique to reduce fault simulation effort A randomly selected subset (sample) of faults is picked and simulated. A sample coverage is measured is used to estimate fault coverage in the entire circuit. Accuracy depends on the sample size. Advantage: Saving in computing resources (CPU time and memory.) Disadvantage: Limited data on undetected faults.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 42
  43. 43. Alternatives to fault simulation Motivation for Sampling Complexity of fault simulation depends on: Number of gates Number of faults Number of vectors Complexity of fault simulation with fault sampling depends on: Number of gates Number of vectors The method has significant advantages in reducing CPU time and memory needs of the simulator.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 43
  44. 44. Alternatives to fault simulation Random Sampling Model Detected Undetected fault fault All faults with a fixed but Random unknown picking coverage Np = total number of faults Ns = sample size (population size) Ns << Np C = fault coverage (unknown) c = sample coverage (a random variable)VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 44
  45. 45. Summary Fault simulator is an essential tool for test development. Four fault simulation algorithms Serial, Parallel, Deductive, Concurrent Concurrent fault simulation algorithm offers the best choice. For large circuits, the accuracy of random fault sampling only depends on the sample size (1,000 to 2,000 faults) and not on the circuit size. The method has significant advantages in reducing CPU time and memory needs of the simulator.VLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 45
  46. 46. Next lecture – we will talk about Testability measures and Automated Test Pattern Generation (ATPG) for Combinational CircuitsVLSI Test Technology and Reliability, 2009-2010 CE Lab, TUDelft 46
  1. A particular slide catching your eye?

    Clipping is a handy way to collect important slides you want to go back to later.

×