Advanced Verification of Low Power Designs