Empirical Study of the Power Consumption of the x86-64 Instruction Decoder