P1801/D13, Jan 2013 - IEEE Draft Standard for Design and Verification of Low Power Integrated Circuits | IEEE Standard | IEEE Xplore