1801-2015 - IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems - Redline | IEEE Standard | IEEE Xplore