1801-2009 - IEEE Standard for Design and Verification of Low Power Integrated Circuits | IEEE Standard | IEEE Xplore