An LOCV-based static timing analysis considering spatial correlations of power supply variations | IEEE Conference Publication | IEEE Xplore