P1801/D10.23, May 2024 - IEEE Draft Standard for Design and Verification of Low Power, Energy Aware Electronic Systems | IEEE Standard | IEEE Xplore