Date post: | 16-Dec-2015 |
Category: |
Documents |
Upload: | elfrieda-fletcher |
View: | 216 times |
Download: | 0 times |
EVENT PROPAGATION FOR ACCURATE CIRCUIT
DELAY CALCULATION USING SAT
Speaker: Bob TsaiInstructor: Jie-Hong Roland Jiang
TODAES 2007
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
Event Rules Validity condition
Forward propagation
Backward justification
(πΒΏΒΏππβπ+πππβπ+β―)(ππ£
π βππ£πβ 1)βππ
π ΒΏ
πππ β(ππ
πβπ+πππβπ+β―)
()
(πΒΏΒΏππβππ+πππβππ+β―)(ππ£
π βππ£πβ1)βππ
π ΒΏ
πππ β(ππ
πβππ+πππ βππ+β―)
()
Primary input rules &Circuit rules For any PI a, Primary input initial value
Primary input event
Circuit rules
ππ£β1β
β(ππ£
0β¨ ππ0 )
(ππ0+ππ
0+β―)