Enabling accurate modeling of power and energy consumption in an ARM-based System-on-Chip.