Efficient modeling of spatial correlations for parameterized statistical static timing analysis | IEEE Conference Publication | IEEE Xplore