The Verilog module below implements a finite state machine t

The Verilog module below implements a finite state machine to detect the sequence 1001: Does this module implement a Mealy type or Moore type FSM? Select the right answer Mealy Moore Mixed

Solution

In the theory of computation, aMoore machine is a finite-state machine whose output values are determined solely by its current state. This is in contrast to a Mealy machine, whose output values are determined both by its current state and by the values of its inputs.

so here the module implements the MOORE type FSM