Moore状态机和Mealy状态机的区别

直接给出结论:

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


Moore状态机:输出仅仅与当前状态有关;

如下实例,如三段式写法来写的一个序列检测的状态机(【 FPGA 】序列检测器的Moore状态机实现),状态机最后的输出:


    
    always @*
    begin
        if(current_state == s4) dout = 1;
        else dout = 0;
    end
    
    

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

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


Mealy状态机:输出不仅取决于当前状态,还和输入有关;

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

同样是三段式描述,最后的输出为:


	
	always @ *
	begin
		if(reset) dout = 1'b0;
		else if( (current_state == s3)&&(din == 1'b1) ) dout = 1'b1;
		else dout = 1'b0;
	
	end
	

同样,也可以通过状态转移图判断:

Moore状态机和Mealy状态机的区别_第1张图片

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

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

 

 

 

你可能感兴趣的:(Verilog/FPGA,实用总结区)