Verilog语法学习-有限状态机(FSM)

定义

有限状态机（Finite-State Machine，FSM）表示有限个状态以及在这些状态之间的转移和动作等行为的数学模型。

要素

状态机可归纳为4个要素，即现态、条件、动作、次态。

现态：是指当前所处的状态。

条件：又称为“事件”。当一个条件被满足，将会触发一个动作，或者执行一次状态的迁移。

动作：条件满足后执行的动作。动作执行完毕后，可以迁移到新的状态，也可以仍旧保持原状态。动作不是必需的，当条件满足后，也可以不执行任何动作，直接迁移到新状态。

次态：条件满足后要迁往的新状态。“次态”是相对于“现态”而言的，“次态”一旦被激活，就转变成新的“现态”了。

分类

状态机分为Mealy型和Moore型。Moore型状态机的输出只与当前状态有关，而Mealy型状态机的输出不仅取决于当前状态，还受到输入的直接控制，并且可能与状态无关。
Mealy型：

Moore型：

Verilog描述状态机

根据输入、输出和状态分为三种形式：一段式、两段式和三段式。

一段式：状态标志只有一位，输入（条件）决定状态的跳转（动作）和当前输出（现态）。用一个always块执行。

always@(......) begin
 	case(state)
 		s0：begin  state = （in）？ s0：s1；out =...； end
		s1：begin  state = （in）？ s1：s2；out =...； end
		s2：....................................
	endcase
end

二段式：状态标志分为现态和次态。由两个always块执行，第一块完成状态标志的自动跳转，第二块根据输入决定状态的跳转和输出。

 always@(......)begin
 	state=next_state;
end

always@（......)begin
 	case(state)
		s0：begin next_state = （in）？ s0：s1；out =  ； end
		s1：begin next_state = （in）？ s1：s2；out =  ； end
 		s2：.....................................
 	endcase
end

三段式：状态标志分为现态和次态。由三个always块执行，第一块完成状态标志的自动跳转，第二块根据输入决定状态的跳转，第三块完成当前状态的输出。

 always@(posedge clk)begin
    if(rst)
    	state<=....;
    else
 		state<=next_state;
end

always@（*)begin
 	case(state)
		s0：next_state = （in）？ s0：s1；
		s1：next_state = （in）？ s1：s2；
 		s2：.....................................
 	endcase
end

always@(posedge clk)begin
 	case(state)
		s0：out<=...；
		s1：out<=...；
 		s2：.....................................
 	endcase
end

参考文章链接：https://blog.csdn.net/woshiyuzhoushizhe/article/details/95866063