Mixed Signal Verification of Dynamic Adaptive Power Management in Low Power SoC