摩爾型狀態(tài)機與米利型狀態(tài)機的區(qū)別是什么

FSM有限狀態(tài)機，序列產(chǎn)生，序列檢測，是FPGA和數(shù)字IC相關崗位必須要掌握的知識點，在筆試和面試中都非常常見。

（1）了解狀態(tài)機：什么是摩爾型狀態(tài)機，什么是米利型狀態(tài)機，兩者的區(qū)別是什么？一段式、二段式、三段式狀態(tài)機的區(qū)別？

（2）使用狀態(tài)機產(chǎn)生序列“11010110”，串行循環(huán)輸出該序列；

（3）使用狀態(tài)機檢測“1101”，串行輸入的測試序列為“11101101011010”，輸出信號為valid有效信號，檢測到時輸出高，否則為低，考慮序列疊加情況，比如“1101101”，則有兩個“1101”，

即：

11101101011010，在第5個時鐘檢測到序列，下一個時鐘輸出高電平；

11101101011010，在第8個時鐘檢測到序列，下一個時鐘輸出高電平；

11101101011010，在第13個時鐘檢測到序列，下一個時鐘輸出高電平；

給出WORD或PDF版本的報告，包括但不限于文字說明、代碼、仿真測試圖等。

【解答】：

狀態(tài)機類型

狀態(tài)機由狀態(tài)寄存器和組合邏輯電路構成，能夠根據(jù)控制信號按照預先設定的狀態(tài)進行狀態(tài)轉(zhuǎn)移，是協(xié)調(diào)相關信號動作、完成特定操作的控制中心。有限狀態(tài)機簡寫為FSM（Finite State Machine），主要分為2大類：

第一類，輸出只和狀態(tài)有關而與輸入無關，則稱為Moore狀態(tài)機；

第二類，輸出不僅和狀態(tài)有關而且和輸入有關系，則稱為Mealy狀態(tài)機。

Mealy型：輸出信號不僅取決于當前狀態(tài)，還取決于輸入；

Moore型：輸出信號只取決于當前狀態(tài)；

實現(xiàn)相同的功能時，Mealy型比Moore型能節(jié)省一個狀態(tài)（大部分情況下能夠節(jié)省一個觸發(fā)器資源，其余情況下使用的資源相同，視狀態(tài)數(shù)和狀態(tài)編碼方式?jīng)Q定），Mealy型比Moore型輸出超前一個時鐘周期。

三段式狀態(tài)機

一段式：一個always塊，既描述狀態(tài)轉(zhuǎn)移，又描述狀態(tài)的輸入輸出，當前狀態(tài)用寄存器輸出。一段式寫法簡單，但是不利于維護，狀態(tài)擴展麻煩，狀態(tài)復雜時易出錯，不推薦；

二段式：兩個always塊，時序邏輯與組合邏輯分開，一個always塊采用同步時序描述狀態(tài)轉(zhuǎn)移；另一個always塊采用組合邏輯判斷狀態(tài)轉(zhuǎn)移條件，描述狀態(tài)轉(zhuǎn)移規(guī)律以及輸出，當前狀態(tài)用組合邏輯輸出，可能出現(xiàn)競爭冒險，產(chǎn)生毛刺，而且不利于約束，不利于綜合器和布局布線器實現(xiàn)高性能的設計；

三段式：三個always塊，一個always模塊采用同步時序描述狀態(tài)轉(zhuǎn)移；一個always采用組合邏輯判斷狀態(tài)轉(zhuǎn)移條件，描述狀態(tài)轉(zhuǎn)移規(guī)律；第三個always塊使用同步時序描述狀態(tài)輸出，寄存器輸出。

三段式與二段式相比，關鍵在于根據(jù)狀態(tài)轉(zhuǎn)移規(guī)律，在上一狀態(tài)根據(jù)輸入條件判斷出當前狀態(tài)的輸出，從而在不插入額外時鐘節(jié)拍的前提下，實現(xiàn)了寄存器輸出。

狀態(tài)機序列檢測

使用三段式FSM有限狀態(tài)機進行序列檢測，使用摩爾型狀態(tài)機，最終輸出與輸入無關。

使用狀態(tài)機檢測“1101”，串行輸入的測試序列為“11101101011010”，輸出信號為valid有效信號，檢測到時輸出高，否則為低，考慮序列疊加情況，比如“1101101”，則有兩個“1101”，

即：

11101101011010，在第5個時鐘檢測到序列，下一個時鐘輸出高電平；

11101101011010，在第8個時鐘檢測到序列，下一個時鐘輸出高電平；

11101101011010，在第13個時鐘檢測到序列，下一個時鐘輸出高電平；

根據(jù)待檢測的序列“1101”確定狀態(tài)，其中：

S1為檢測到第1個有效位“1”；

S2為檢測到2個有效位“11”；

S3為檢測到3個有效位“110”；

S4位檢測到4個有效位“1101”；

IDLE為其他狀態(tài)；

IDLE：初始狀態(tài)，除S1~S4外的其他所有狀態(tài)

S1：1， 來1則到S2(11)，否則回到IDLE；

S2：11， 來0則到S3(110)，否則保持S2(11)；

S3：110， 來1則到S4(1101)，否則回到IDLE；

S4：1101， 來1則到S2(11)，否則回到IDLE；

摩爾型，輸出和輸入無關，S4時無論輸入什么，都輸出1

即

三段式FSM的代碼：

/**************************************************************   Author    ：FPGA探索者公眾號**   Times      ：2020-7-7************************************************************/module FSM_SequDetection_1(       clk,       rst_n,       data_in,       data_valid); input clk;input rst_n;input data_in;output reg data_valid; //定義狀態(tài)，這里采用的獨熱碼（One-Hot），F(xiàn)PGA中推薦用獨熱碼和格雷碼（Gray）//狀態(tài)較少時（4-24個狀態(tài)）用獨熱碼效果好，狀態(tài)多時格雷碼（狀態(tài)數(shù)大于24）效果好parameter IDLE = 5'b00001;parameter S1       = 5'b00010;parameter S2       = 5'b00100;parameter S3       = 5'b01000;parameter S4       = 5'b10000; reg [4:0] current_state;             //現(xiàn)態(tài)reg [4:0] next_state;                 //次態(tài) //三段式FSM，第一段，同步時序邏輯，描述狀態(tài)切換，這里的寫法固定always @ ( posedge clk )begin       if(!rst_n ) begin              current_state<= IDLE;       end       elsebegin              current_state<= next_state;       endend //三段式FSM，第二段，組合邏輯，判斷狀態(tài)轉(zhuǎn)移條件，描述狀態(tài)轉(zhuǎn)移規(guī)律//這里面用"="賦值和用"<="沒區(qū)別always @ (*)begin       if(!rst_n ) begin              next_state<= IDLE;       end       elsebegin              case(current_state )                     IDLE:    begin                            if(data_in == 1 )                                   next_state<= S1;                            else                                   next_state<= IDLE;                     end                     S1   :      begin                            if(data_in == 1 )                                   next_state<= S2;                            else                                   next_state<= IDLE;                     end                     S2   :      begin                            if(data_in == 0 )                                   next_state<= S3;                            else                                   next_state<= S2;                     end                     S3   :      begin                            if(data_in == 1 )                                   next_state<= S4;                            else                                   next_state<= IDLE;                     end                     S4   :      begin                            if(data_in == 1 )                                   next_state<= S2;                            else                                   next_state<= IDLE;                     end                     default   : begin                            next_state<= IDLE;                     end              endcase       endend //三段式FSM，第三段，同步時序邏輯，描述狀態(tài)輸出，摩爾型輸出always @ ( posedge clk )begin       if(!rst_n ) begin              data_valid<= 1'b0;       end       elsebegin              case(next_state )                     S4   : data_valid <= 1'b1;                     default   : data_valid <= 1'b0;              endcase       endend endmodule

綜合后的RTL圖：

其中，狀態(tài)機部分為：

這里的狀態(tài)機考慮到復位的情況，不論處在哪個狀態(tài)，當復位信號有效時，均回到IDLE初始狀態(tài)。

仿真測試文件（TestBench）:

/**************************************************************   Author    ：FPGA探索者公眾號**   Times      ：2020-7-7************************************************************/`timescale 1 ns/1 ns
moduleFSM_2_tb();
reg clk;reg rst_n;reg data_in;wire data_valid;
FSM_SequDetection  U1(  .clk(clk),  .rst_n(rst_n),  .data_in(data_in),  .data_valid(data_valid));
initial begin   clk = 0;  rst_n = 0;  #15;  rst_n = 1;  data_in = 1;#10;  data_in = 1;#10;  data_in = 1;#10;  data_in = 0;#10;  data_in = 1;#10;  data_in = 1;#10;  data_in = 0;#10;  data_in = 1;#10;  data_in = 0;#10;  data_in = 1;#10;  data_in = 1;#10;  data_in = 0;#10;  data_in = 1;#10;  data_in = 0;#10;  #50;  $stop;  //停止仿真end 
always#5clk=~clk;
endmodule

ModelSim仿真如下，輸入“1_1101101_0_1101”，檢測到3次有效的“1101”。