Tutorial: SoC Power Management Verification and Testing Issues | IEEE Conference Publication | IEEE Xplore