Stochastic modeling and analysis of the propagation delays in logic circuits