ELEC 7770 Advanced VLSI Design Spring 2008 Timing Verification and Optimization

1. ELEC 7770Advanced VLSI DesignSpring 2008Timing Verification and Optimization Vishwani D. Agrawal James J. Danaher Professor ECE Department, Auburn University, Auburn, AL 36849 vagrawal@eng.auburn.edu http://www.eng.auburn.edu/~vagrawal/COURSE/E7770_Spr08/course.html ELEC 7770: Advanced VLSI Design (Agrawal)

2. Proof of Correctness • Static timing analysis proves the timing correctness. That is, the circuit is guaranteed to work at the clock rate determined by the critical path. • But the circuit may also work correctly at faster speeds. • Because the critical path identified by STA (static timing analysis) may be a “false path”. • STA overestimates the delay of the circuit. ELEC 7770: Advanced VLSI Design (Agrawal)

3. False and True Paths • A false path cannot propagate an event and hence cannot affect the timing of the circuit. False paths are dynamically unsensitizable. • Dynamically sensitizable path (true path): All off-path inputs must settle down to their non-controlling values when the event propagates through the path. True path of length 3 e y d 1 2 a 1 1 1 3 1 z f 1 0 b 1 4 0 c True path of length 4 ELEC 7770: Advanced VLSI Design (Agrawal)

4. Static Sensitization of Path • Static sensitization of path: All off-path inputs can be set to their non-controlling values. • Longest path in the following example is statically unsensitizable. Such paths are often referred to, though not correctly (why?), as false paths. True path of length 3 y d e 1 2 a 1 1 1 3 1 z 1 f 0 b 4 1 False path of length 4 ELEC 7770: Advanced VLSI Design (Agrawal)

5. An Example • Statically unsensitizable (false) path. • P. C. McGeer and R. K. Brayton, Integrating Functional and Temporal Domains in Logic Design, Springer, 1991. False path of delay 3 a e 1 0 0 1 g d 1 1 f 1 b c 0 ELEC 7770: Advanced VLSI Design (Agrawal)

6. Example (Cont.) • Another statically unsensitizable false path. • P. C. McGeer and R. K. Brayton, Integrating Functional and Temporal Domains in Logic Design, Springer, 1991. 1 False paths of delay 3 a e 1 0 0 1 g d 1 f 1 b c 0 ELEC 7770: Advanced VLSI Design (Agrawal)

7. Example (Cont.) • Paths are dynamically sensitizable and will affect the timing if both are together faulty. • P. C. McGeer and R. K. Brayton, Integrating Functional and Temporal Domains in Logic Design, Springer, 1991. False paths of delay 3 a e 1 2 3 1 g d 1 f 1 b c 0 ELEC 7770: Advanced VLSI Design (Agrawal)

8. Static Sensitization Condition x y z Off-path inputs There must exist an input vector (PI) that satisfies the following conditions: ∂z/∂y = 1, . . . ∂y/∂x = 1, Where ∂y/∂x = y(x=1, PI)  y(x=0, PI) is Boolean difference ELEC 7770: Advanced VLSI Design (Agrawal)

9. An ATPG Method x y z Stuck-at-0 Path is false if this fault is redundant ELEC 7770: Advanced VLSI Design (Agrawal)

10. Optimism and Pessimism Dynamically sensitizable paths Statically sensitizable Paths (optimistic) Structural paths analyzed by STA (pessimistic) ELEC 7770: Advanced VLSI Design (Agrawal)

11. Theorem 1 • Every statically sensitizable path is dynamically sensitizable. • Proof: Since a vector exists to sensitize the path, if that vector does not specify the path input, then toggling the primary input at the origin of the path will propagate an event through the path. • P. C. McGeer and R. K. Brayton, Integrating Functional and Temporal Domains in Logic Design, Springer, 1991, p. 35. ELEC 7770: Advanced VLSI Design (Agrawal)

12. Theorem 2 • The longest path in a circuit is dynamically sensitizable iff it is statically sensitizable. • Proof: Because this is the longest path, all off-path inputs will settle to their sensitizing values at the inputs of any gate before the on-path event propagates through that gate. • P. C. McGeer and R. K. Brayton, Integrating Functional and Temporal Domains in Logic Design, Springer, 1991, p. 37. ELEC 7770: Advanced VLSI Design (Agrawal)

13. Proof of Theorem 2 • Case 1: Static sensitization does not specify the value at the path origin. • Toggling the path origin will propagate an event through the path causing dynamic sensitization. • Example: 1 0 A 01 or 10 here will propagate through the path Statically sensitized path ELEC 7770: Advanced VLSI Design (Agrawal)

14. Proof of Theorem 2 (Cont.) • Case 2: Static sensitization specifies the value at the path origin. • Toggling the path origin will propagate an event through the path causing dynamic sensitization because the event on the longest path will see all gates sensitized through shorter paths. • Example: This event propagated through longest path Shorter path sets this to 1 before the event arrives on the longest path 0 1 01 Apply 01 event here Statically sensitized path ELEC 7770: Advanced VLSI Design (Agrawal)

15. Proof of Theorem 2 (Cont.) • Case 3: Longest path is statically unsensitizable. • Toggling the path origin will not propagate any event through the path. Toggling other input only dynamically sensitizes shorter path. • Example: This event did not propagate through longest path Shorter path sets this to 1 before the event arrives on the longest path 01 01 01 Statically unsensitizable path Apply 01 events ELEC 7770: Advanced VLSI Design (Agrawal)

16. Speeding Up a Circuit False path w 2 a w u v x y z x 2 u 3 a z 2 v 2 y 2 0 1 2 3 4 5 6 7 time ELEC 7770: Advanced VLSI Design (Agrawal)

17. Speeding Up a Circuit False path w 2 a w u v x y z x 2 u 3 a z 2 v 2 y 2 0 1 2 3 4 5 6 7 time ELEC 7770: Advanced VLSI Design (Agrawal)

18. Speeding Up a Circuit Reducing the delay of a false path can increase circuit delay. w 2 a w u v x y z x 2 u 1 a z 2 v 2 y 2 0 1 2 3 4 5 6 7 time ELEC 7770: Advanced VLSI Design (Agrawal)

19. Speeding Up a Circuit False path w 2 a w u v x y z x 2 u 1 a z 2 v 2 y 2 0 1 2 3 4 5 6 7 time ELEC 7770: Advanced VLSI Design (Agrawal)

20. A Delay Optimization Algorithm • REDUCE_DELAY (Circuit graph (V, E), ε) Repeat { Compute critical paths and critical delay Δ Set output data ready time to Δ Compute slacks U = vertex subset with slack < ε W = select vertices in U Apply transformation to vertices in W } until (no transformation can reduce Δ) } • G. De Micheli, Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994, p. 427. ELEC 7770: Advanced VLSI Design (Agrawal)

21. Example of a Transformation (1) a b c d e g 2 1 2 x y 2 1 3 1 2 2 Δ = 11 x = a’ + b’ + c’ + d’ + e’ ELEC 7770: Advanced VLSI Design (Agrawal)

22. Example of a Transformation (2) a b c d e g 2 1 2 x y 2 1 3 Isolate and resynthesize 1 2 2 Δ = 11 x = a’ + b’ + c’ + d’ + e’, all inputs are symmetric. ELEC 7770: Advanced VLSI Design (Agrawal)

23. Example of a Transformation (3) 3 d b c a e g 2 1 2 x y 2 1 2 1 2 1 2 Δ = 8 x = a’ + b’ + c’ + d’ + e’, a and d are interchanged. ELEC 7770: Advanced VLSI Design (Agrawal)

24. 32-bit Ripple-Carry Adder c0 a0 b0 sum0 FA0 sum1 a1 b1 FA1 sum2 a2 b2 FA2 sum31 FA31 a31 b31 c31 ELEC 7770: Advanced VLSI Design (Agrawal)

25. One-bit Full-Adder Circuit ci FAi XOR sumi ai XOR AND bi AND OR Ci+1 ELEC 7770: Advanced VLSI Design (Agrawal)

26. a0-a15 16-bit ripple carry adder b0-b15 cin Speeding Up the Adder sum0-sum15 a16-a31 16-bit ripple carry adder 0 b16-b31 0 sum16-sum31, c31 Multiplexer a16-a31 16-bit ripple carry adder 1 b16-b31 This is a carry-select adder 1 ELEC 7770: Advanced VLSI Design (Agrawal)