12.5 Power Modeling, Estimation and Verification