A linear statistical analysis for full-chip leakage power with spatial correlation