An LOCV-based static timing analysis considering spatial correlations of power supply variations. - Susumu Kobayashi; Kenichi Horiuchi (DATE, 2011)