Update Washing_machine.v