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