Statistical electromigration budgeting for reliable design and verification in a 300-MHz microprocessor | IEEE Conference Publication | IEEE Xplore