Course work for TDT4258: Energy Efficient Computer Design at NTNU.