I have posted Lab 3. It is the hardest lab in the course. Actually designing
the device isn't that difficult but figuring out what it should do will take
some effort. This problem is hard because getting from the initial
specification to a highly-formal specification is difficult, not because the
resulting FSM design problem is very difficult. A lot of real problems are
like this... getting a formal specification can be the hardest part of the
design process.

-Robert Dick-
Received on Sun Nov 2 17:19:17 2008