Temperature-aware clock tree synthesis considering spatiotemporal hot spot correlations | IEEE Conference Publication | IEEE Xplore