An accurate sparse-matrix based framework for statistical static timing analysis.