Restricted FSM Implementation Style
Mealy machine requires two always blocks
- register needs posedge CLK block
- input to output needs combinational block
Moore machine can be done with one always block
- e.g. simple counter
- Not a good idea for general FSMs
- Can be very confusing (see example)
Moore outputs
- Share with state register, use suitable state encoding