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