Low Power Design and Verification Techniques