Statistical timing analysis using levelized covariance propagation | IEEE Conference Publication | IEEE Xplore