Power Management Verification – An Evolving Discipline | IEEE Conference Publication | IEEE Xplore