1. A method, in a data processing system, for block-based static timing analysis, the method comprising: receiving a circuit model, wherein the circuit model has at least one input, a plurality of intermediate nodes, and at least one output; modeling arrival times in the circuit model as cumulative distribution functions; modeling delays in the circuit model as probability distribution functions; and propagating arrival times statistically from the at least one input to the at least one output.