A pair of signals Request (R) and Acknowledge (A) are used to coordinate transactions between a CPU and its I/O system. The interaction of these signals is often referred to as a "handshake." These signals are synchronous with the clock and, for a transaction, are always to have their transitions appear in the order shown as in the figure below. A handshake checker is to be designed that will verify the transition order. The checker has inputs, R and A, and has a single output, E (for error). If the transitions in a handshake are in order, E - o. If the transitions are out of order at any point in a complete handshake sequence, then E becomes 1 and remains at 1 until a reset signal is asserted. (a) Draw the "Mealy" state diagram for the handshake checker circuit. (b) Draw the corresponding state table with binary state assignments