Modeling the Effects of Temporal Proximity of Input Transitions on Gate Propagation Delay and Transition Time