8. Lets look at a linked pair of state machines that have a relationship not unlike the client and server from your lab. The client has a control input called Start and a status output called Done. The interface between the client and server consists of two signals, one in each direction. The first signal is called Master, and is sent from the client to the server. The signal from the server back to the client is called Slave. The handshake protocol is the following:

When the client sees the Start signal, it asserts Master and keeps it asserted until it sees Slave assert, at which point it deasserts Master.

When it deasserts Master it then expects to see Slave deassert..

Then it monitors for Slave to assert again, at which point it will assert Master.

When it sees Slave deassert it will deassert Master and then assert a Done signal and go back to looking for another Start signal

There should always be at least one cycle delay between assertions of signals. In other words, if a signal deasserts, it cannot assert again until the next cycle.

Given this description, draw state charts for both the client state machine and the server state machine.