LOW-POWER VERIFICATION AUTOMATION: A PRACTICAL APPROACH