Design and Verification of Low-Power Integrated Circuits. (30th April 2015)