61523-4-2023 - IEEE/IEC International Standard--Delay and power calculation standards--Part 4: Design and Verification of Low-Power, Energy-Aware Electronic Systems | IEEE Standard | IEEE Xplore