An efficient algorithm for modeling spatially-correlated process variation in statistical full-chip leakage analysis | IEEE Conference Publication | IEEE Xplore