Download presentation

Presentation is loading. Please wait.

Published byElfrieda Fletcher Modified about 1 year ago

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

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google