Report for Part 1

A write up, a set of formal specification, a timing diagram.
Udated the timing diagram