An efficient algorithm for statistical timing yield optimization | IEEE Conference Publication | IEEE Xplore