TDT4258 Energy Efficient Computer Design