Statistical timing analysis under spatial correlations | IEEE Journals & Magazine | IEEE Xplore