Efficient modeling of spatial correlations for parameterized statistical static timing analysisJinjun XiongVladimir Zolotovet al.2009ASICON 2009