Your team will be developing a state machine diagram for a w

Your team will be developing a state machine diagram for a washing machine synchronous control circuit to the following specifications: External inputs START, FULL, EMPTY: Logic 1 for a clock cycle; mutually exclusive; reflect pushbutton and water level, respectively. External outputs HOT, COLD, DRAIN, TURN: Logic 1 to fill or drain water (temperature); and to operate washer motor, respectively. Datapath control: down-counter with 3 inputs: RESET, DEC, LOAD: counter synchronously decrements once per minute for DEC = 1; can be loaded or reset on any cycle of clock CK. Down-counter output: ZERO: Logic 1 when counter is 0; 0 otherwise. Operation: Circuit life cycle begins and ends in IDLE state, has 4 distinct cycles (e.g., each may have multiple states, dependent on the conditions, where it is within the washer\'s life cycle):WASH, SPIN, RINSE, SPIN. WASH: Washer begins in IDLE. When START signaled (1), HOT set (to 1), filling washer tub until high level sensor indicates FULL (1). Using LOAD, down-counter loaded from user selector knob with the number of minutes the wash cycle will last. Next, DEC and TURN set (to 1) as washer washes clothes. When ZERO becomes 1, wash cycle complete, DEC and TURN cleared (to 0). SPIN: DRAIN set (to 1) emptying dirty, soapy water in the washer. Once low level sensor indicates EMPTY (1), the down-counter is loaded with \'7\' and DEC and TURN are set (to 1) to wring remaining water from the clothes. When ZERO becomes 1, spin cycle complete, DRAIN, DEC and TURN cleared (to 0). RINSE: COLD set (to 1) filling washer tub until high level sensor indicates FULL (1). Down-counter is loaded with \'10\' and DEC and TURN are set (to 1) to rinse the clothes. When ZERO becomes 1, rinse cycle complete, DEC and TURN cleared (to 0). SPIN: DRAIN set (to 1) emptying rinse water in the washer. Once low level sensor indicates EMPTY (1), the down-counter is loaded with \'8\' and DEC and TURN are set (to 1) to wring remaining rinse water from the clothes. When ZERO becomes 1, spin cycle complete, DRAIN, DEC and TURN cleared (to 0) and the circuit state returns to IDLE. a) Design the washing machine circuit state machine diagram. b) Following presentation of your design, Marketing informs management that consumers require an additional feature; management decides a re-design will lead to greater sales. Your team is now directed to modify the design (above) to include 2 additional inputs, PAUSE and STOP. When PAUSE becomes 1, the circuit halts (including the counter) and all outputs are cleared (to 0). When START becomes 1, washer operation resumes from the point it was paused. When STOP signaled (1), all outputs are reset (to 0), except for DRAIN set (to 1) until EMPTY; then machine returns to IDLE state.

Solution

When calculations are carried out electronically they will usually be in binary or twos complement notation, but the result will very probably need to be displayed in decimal form. A binary number with its bits representing values of 1, 2, 4, 8, 16 etc. presents problems. It