Timing With Propagation Delays