Efficient statistical timing analysis through error budgeting | IEEE Conference Publication | IEEE Xplore