Statistical timing analysis for intra-die process variations with spatial correlations | IEEE Conference Publication | IEEE Xplore