Low-Power Design and Power-Aware Verification