Black-box and white-box early power intent simulation and verification: Two novel approaches | IEEE Conference Publication | IEEE Xplore