High level power modeling and analysis