Logic Design and Verification (18-341), Fall 2014