Static verification of test vectors for IR drop failure | IEEE Conference Publication | IEEE Xplore