Redundancy-Aware Power Grid Electromigration Checking Under Workload Uncertainties | IEEE Journals & Magazine | IEEE Xplore