High Quality Power-Aware Verification of Mixed Signal designs using UPF checkers | IEEE Conference Publication | IEEE Xplore