Power estimation for cycle-accurate functional descriptions of hardware