1. Speaker: Bob Tsai Instructor: Jie-Hong Roland Jiang TODAES 2007

2. Outline  Background  Mathematical formulation  Algorithm  Sequential circuit  Experimental results

3. Background  Static sensitization  Precise model  blown-up problem size

4. Outline  Background  Mathematical formulation  Algorithm  Sequential circuit  Experimental results

5. Mathematical Formulation shortest / longest topological path an input event may propagate to node c event variable for node c at instant i value variable for node c at instant i

6. Event Rules  Validity condition  Forward propagation  Backward justification

7. Primary input rules & Circuit rules

10. Outline  Background  Mathematical formulation  Algorithm  Sequential circuit  Experimental results

12. Outline  Background  Mathematical formulation  Algorithm  Sequential circuit  Experimental results

13. Sequential circuit

14. Outline  Background  Mathematical formulation  Algorithm  Sequential circuit  Experimental results

15. Experimental results

16. Unit delay

17. Experimental results