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