Delay and power calculation standards - Design and Verification of Low-Power, Energy-Aware Electronic Systems