A Quadratic Modeling-Based Framework for Accurate Statistical Timing Analysis Considering Correlations | IEEE Journals & Magazine | IEEE Xplore