Electromigration Checking Using a Stochastic Effective Current Model | IEEE Conference Publication | IEEE Xplore