moore状态机和mealy状态机区别

直接给出结论：

根据状态机的输出是否与输入条件相关来区分Moore状态机和Mealy状态机。

Moore状态机：输出仅仅与当前状态有关；

如下实例，如三段式写法来写的一个序列检测的状态机（【 FPGA 】序列检测器的Moore状态机实现），状态机最后的输出：

1. always @*
2. begin
3. if(current_state == s4) dout = 1;
4. else dout = 0;
5. end

由此可见，Moore状态机仅仅和当前状态有关。

也可以看状态转移图判断：

Mealy状态机：输出不仅取决于当前状态，还和输入有关；

同样，如下序列检测的例子：【 FPGA 】序列检测器的Mealy状态机实现

同样是三段式描述，最后的输出为：

1. always @ *
2. begin
3. if(reset) dout = 1'b0;
4. else if( (current_state == s3)&&(din == 1'b1) ) dout = 1'b1;
5. else dout = 1'b0;
6. end

同样，也可以通过状态转移图判断：

可见，输出不仅和当前状态和输入都有关系。

最后，Moore状态机和Mealy状态机可以相互转换。上述两个状态转移图实际上实现的是同一个功能，就是检测序列1101.