Timing Analysis

statically sensitizable

statically co-sensitizable

true path

critical path = longest true path

Delay Models:

- fixed

- monotone speedup

- bounded

ENF

- leaf DAG

Timed D-Calculus