IEEE P1801 - Draft Standard for Design and Verification of Low Power, Energy Aware Electronic Systems