Ahuja S. Low Power Design with High-Level Power Estimation 2012