Coursework for the 2013 Digital System Design lecture at Imperial College London.