Variability-driven buffer insertion considering correlations | IEEE Conference Publication | IEEE Xplore