Full-chip analysis of leakage power under process variations, including spatial correlations.