Automated Test Generation to Verify IP Modified for System Level Power Management