EDA有限狀態(tài)機(jī)設(shè)計(jì)技術(shù)PPT學(xué)習(xí)教案

1、會(huì)計(jì)學(xué)1EDA有限狀態(tài)機(jī)設(shè)計(jì)技術(shù)有限狀態(tài)機(jī)設(shè)計(jì)技術(shù) 有限狀態(tài)機(jī)分類有限狀態(tài)機(jī)分類Moore型型有限狀態(tài)機(jī)和有限狀態(tài)機(jī)和Mealy型型有限狀態(tài)機(jī)。有限狀態(tài)機(jī)。Moore型有限狀態(tài)機(jī)型有限狀態(tài)機(jī)次態(tài)次態(tài) 邏輯邏輯狀態(tài)狀態(tài) 寄存器寄存器輸出輸出 邏輯邏輯輸入輸入次態(tài)次態(tài)現(xiàn)態(tài)現(xiàn)態(tài)輸出輸出時(shí)鐘時(shí)鐘復(fù)位復(fù)位Moore型：輸出信號(hào)型：輸出信號(hào)僅與當(dāng)前狀態(tài)有關(guān)僅與當(dāng)前狀態(tài)有關(guān)。有限狀態(tài)機(jī)的簡(jiǎn)介有限狀態(tài)機(jī)的簡(jiǎn)介第1頁(yè)/共25頁(yè)Mealy型有限狀態(tài)機(jī)型有限狀態(tài)機(jī)Mealy型：輸出信號(hào)型：輸出信號(hào)不僅與當(dāng)前狀態(tài)有關(guān)，還與所有不僅與當(dāng)前狀態(tài)有關(guān)，還與所有 輸入信號(hào)有關(guān)輸入信號(hào)有關(guān)。次態(tài)次態(tài) 邏輯邏輯狀態(tài)狀態(tài) 寄存器寄

2、存器輸出輸出 邏輯邏輯輸入輸入次態(tài)次態(tài)現(xiàn)態(tài)現(xiàn)態(tài)輸出輸出時(shí)鐘時(shí)鐘復(fù)位復(fù)位有限狀態(tài)機(jī)的簡(jiǎn)介有限狀態(tài)機(jī)的簡(jiǎn)介第2頁(yè)/共25頁(yè) 有限狀態(tài)機(jī)（有限狀態(tài)機(jī)（FSM，F(xiàn)inite State Machine）是時(shí)）是時(shí)序電路設(shè)計(jì)中經(jīng)常采用的一種方式，尤其適于設(shè)計(jì)數(shù)序電路設(shè)計(jì)中經(jīng)常采用的一種方式，尤其適于設(shè)計(jì)數(shù)字系統(tǒng)的字系統(tǒng)的控制模塊控制模塊。用。用Verilog的的case、if-else等語(yǔ)句能等語(yǔ)句能很好地描述基于狀態(tài)機(jī)的設(shè)計(jì)。很好地描述基于狀態(tài)機(jī)的設(shè)計(jì)。1. 說(shuō)明部分說(shuō)明部分狀態(tài)轉(zhuǎn)換變量的定義和所有可能狀態(tài)的說(shuō)明狀態(tài)轉(zhuǎn)換變量的定義和所有可能狀態(tài)的說(shuō)明 2005版版參數(shù)說(shuō)明關(guān)鍵字參數(shù)說(shuō)明關(guān)鍵字param

3、eter第3頁(yè)/共25頁(yè)2. 主控時(shí)序過(guò)程主控時(shí)序過(guò)程:狀態(tài)機(jī)的運(yùn)轉(zhuǎn)和狀態(tài)轉(zhuǎn)換的過(guò)程狀態(tài)機(jī)的運(yùn)轉(zhuǎn)和狀態(tài)轉(zhuǎn)換的過(guò)程3. 主控組合過(guò)程主控組合過(guò)程 ：根據(jù)當(dāng)前狀態(tài)和外部的信號(hào)發(fā)出根據(jù)當(dāng)前狀態(tài)和外部的信號(hào)發(fā)出控制信號(hào)，同時(shí)確定下一狀態(tài)的走向控制信號(hào)，同時(shí)確定下一狀態(tài)的走向 4. 輔助過(guò)程：輔助過(guò)程：配合狀態(tài)機(jī)工作的組合過(guò)程和時(shí)序過(guò)程配合狀態(tài)機(jī)工作的組合過(guò)程和時(shí)序過(guò)程。 第4頁(yè)/共25頁(yè)說(shuō)明部分說(shuō)明部分主控時(shí)序過(guò)程主控時(shí)序過(guò)程第5頁(yè)/共25頁(yè)主控組合過(guò)程主控組合過(guò)程第6頁(yè)/共25頁(yè)第7頁(yè)/共25頁(yè) 用狀態(tài)機(jī)設(shè)計(jì)一個(gè)二進(jìn)制序列檢測(cè)器，其功能是檢測(cè)用狀態(tài)機(jī)設(shè)計(jì)一個(gè)二進(jìn)制序列檢測(cè)器，其功能是檢測(cè)一個(gè)一個(gè)4位

4、二進(jìn)制序列位二進(jìn)制序列“1111”，即輸入序列中如果有，即輸入序列中如果有4個(gè)或個(gè)或4個(gè)以上連續(xù)的個(gè)以上連續(xù)的“1”出現(xiàn)，輸出為出現(xiàn)，輸出為1，其它情況下，輸出為，其它情況下，輸出為0。輸出輸出z：000 000 000 000 000 100 001 110 000其輸入輸出如下所示：其輸入輸出如下所示：輸入輸入x：000 101 010 110 111 101 111 110 101第8頁(yè)/共25頁(yè)“1111”序列檢測(cè)器狀態(tài)轉(zhuǎn)換圖序列檢測(cè)器狀態(tài)轉(zhuǎn)換圖 第9頁(yè)/共25頁(yè)module fsm_seq(x,z,clk,reset,state);input x,clk,reset;output z

5、;output2:0 state;reg z;parameter s0=0,s1=1,s2=2,s3=3,s4=4;reg 2:0 current_state,next_state;assign state=current_state;always (posedge clk or posedge reset)begin if(reset) current_state=s0; else current_state=next_state; endalways (current_state or x)begin casex(current_state) 第10頁(yè)/共25頁(yè) s0: beginif(x

6、=0) begin next_state=s0; z=0; endelse begin next_state=s1; z=0; end end s1: beginif(x=0) begin next_state=s0; z=0; end else begin next_state=s2; z=0; end ends2: beginif(x=0) begin next_state=s0; z=0; end else begin next_state=s3; z=0; end ends3: begin if(x=0) begin next_state=s0; z=0; endelse begin

7、next_state=s4; z=1; end ends4: beginif(x=0) begin next_state=s0; z=0; endelse begin next_state=s4; z=1; end end default: begin next_state=s0; end endcase endendmodule第11頁(yè)/共25頁(yè)Moore型有限狀態(tài)機(jī)型有限狀態(tài)機(jī)次態(tài)次態(tài) 邏輯邏輯狀態(tài)狀態(tài) 寄存器寄存器輸出輸出 邏輯邏輯輸入輸入次態(tài)次態(tài)現(xiàn)態(tài)現(xiàn)態(tài)輸出輸出時(shí)鐘時(shí)鐘復(fù)位復(fù)位Moore型：輸出信號(hào)型：輸出信號(hào)僅與當(dāng)前狀態(tài)有關(guān)僅與當(dāng)前狀態(tài)有關(guān)。屬于同。屬于同步輸出狀態(tài)機(jī)，當(dāng)輸入發(fā)生變化

8、時(shí)還必須等步輸出狀態(tài)機(jī)，當(dāng)輸入發(fā)生變化時(shí)還必須等待一個(gè)時(shí)鐘的到來(lái)，輸出才變化。待一個(gè)時(shí)鐘的到來(lái)，輸出才變化。第12頁(yè)/共25頁(yè)ADC0809采樣控制器設(shè)計(jì)：采樣控制器設(shè)計(jì)： 工作時(shí)序工作時(shí)序第13頁(yè)/共25頁(yè)狀態(tài)轉(zhuǎn)換圖：狀態(tài)轉(zhuǎn)換圖：第14頁(yè)/共25頁(yè)8.2.1 多過(guò)程結(jié)構(gòu)型狀態(tài)機(jī)多過(guò)程結(jié)構(gòu)型狀態(tài)機(jī) 第15頁(yè)/共25頁(yè)8.2.1 多過(guò)程結(jié)構(gòu)型狀態(tài)機(jī)多過(guò)程結(jié)構(gòu)型狀態(tài)機(jī) 接下頁(yè)接下頁(yè)第16頁(yè)/共25頁(yè)8.2.1 多過(guò)程結(jié)構(gòu)型狀態(tài)機(jī)多過(guò)程結(jié)構(gòu)型狀態(tài)機(jī) 接上頁(yè)接上頁(yè)第17頁(yè)/共25頁(yè)描述方式描述方式過(guò)程描述功能過(guò)程描述功能過(guò)程數(shù)過(guò)程數(shù)3段式描述方式段式描述方式過(guò)程過(guò)程1：描述次態(tài)邏輯：描述次態(tài)邏輯過(guò)程過(guò)

9、程2：輸出邏輯：輸出邏輯過(guò)程過(guò)程3：描述狀態(tài)寄存器：描述狀態(tài)寄存器 32段式描述方式段式描述方式過(guò)程過(guò)程1：主控組合過(guò)程：主控組合過(guò)程 次態(tài)、輸出邏輯次態(tài)、輸出邏輯 過(guò)程過(guò)程2：主控時(shí)序過(guò)程：主控時(shí)序過(guò)程 狀態(tài)寄存器狀態(tài)寄存器21段式描述方式段式描述方式過(guò)程過(guò)程1:次態(tài)、狀態(tài)、輸出次態(tài)、狀態(tài)、輸出1描述方式描述方式第18頁(yè)/共25頁(yè)輸出次態(tài)邏輯輸出次態(tài)邏輯 輸出邏輯輸出邏輯 第19頁(yè)/共25頁(yè)Mealy型有限狀態(tài)機(jī)型有限狀態(tài)機(jī)Mealy型：輸出信號(hào)型：輸出信號(hào)不僅與當(dāng)前狀態(tài)有關(guān)，還與所有不僅與當(dāng)前狀態(tài)有關(guān)，還與所有 輸入信號(hào)有關(guān)輸入信號(hào)有關(guān)。次態(tài)次態(tài) 邏輯邏輯狀態(tài)狀態(tài) 寄存器寄存器輸出輸出 邏

10、輯邏輯輸入輸入次態(tài)次態(tài)現(xiàn)態(tài)現(xiàn)態(tài)輸出輸出時(shí)鐘時(shí)鐘復(fù)位復(fù)位第20頁(yè)/共25頁(yè)第21頁(yè)/共25頁(yè)1起始狀態(tài)的選擇起始狀態(tài)的選擇起始狀態(tài)是指電路復(fù)位后所處的狀態(tài)，選擇一個(gè)合理的起始狀態(tài)將使起始狀態(tài)是指電路復(fù)位后所處的狀態(tài)，選擇一個(gè)合理的起始狀態(tài)將使整個(gè)系統(tǒng)簡(jiǎn)潔高效。有的整個(gè)系統(tǒng)簡(jiǎn)潔高效。有的EDA軟件會(huì)自動(dòng)為基于狀態(tài)機(jī)的設(shè)計(jì)選擇一軟件會(huì)自動(dòng)為基于狀態(tài)機(jī)的設(shè)計(jì)選擇一個(gè)最佳的起始狀態(tài)。個(gè)最佳的起始狀態(tài)。2狀態(tài)編碼狀態(tài)編碼狀態(tài)編碼主要有狀態(tài)編碼主要有二進(jìn)制編碼、順序編碼和一位獨(dú)熱編碼二進(jìn)制編碼、順序編碼和一位獨(dú)熱編碼等方式。等方式。二進(jìn)制編碼（二進(jìn)制編碼（Binary State Machine）順序編碼（

11、順序編碼（Sequential State Machine）一位熱碼編碼（一位熱碼編碼（One-Hot State Machine Encoding）一位熱碼編碼即采用一位熱碼編碼即采用n位（或位（或n個(gè)觸發(fā)器）來(lái)編碼具有個(gè)觸發(fā)器）來(lái)編碼具有n個(gè)狀態(tài)的狀態(tài)機(jī)個(gè)狀態(tài)的狀態(tài)機(jī)。比如對(duì)于。比如對(duì)于state0、state1、state2、state3 四個(gè)狀態(tài)可用碼字四個(gè)狀態(tài)可用碼字1000、0100、0010、0001來(lái)代表。來(lái)代表。第22頁(yè)/共25頁(yè)3狀態(tài)編碼的定義狀態(tài)編碼的定義在在Verilog語(yǔ)言中，有兩種方式可用于定義狀態(tài)編碼，分別用語(yǔ)言中，有兩種方式可用于定義狀態(tài)編碼，分別用parame

12、ter和和define語(yǔ)句實(shí)現(xiàn)，比如要為語(yǔ)句實(shí)現(xiàn)，比如要為state0、state1、state2、state3四個(gè)狀態(tài)定義碼四個(gè)狀態(tài)定義碼字為：字為：00、01、11、10，可采用下面兩種方式。，可采用下面兩種方式。方式方式1：用：用parameter參數(shù)定義參數(shù)定義 parameter state1=2b00,state2=2b01,state3=2b11,state4=2b10; case(state) state1:; /調(diào)用調(diào)用 state2:; 第23頁(yè)/共25頁(yè)4狀態(tài)轉(zhuǎn)換的描述狀態(tài)轉(zhuǎn)換的描述一般使用一般使用case語(yǔ)句來(lái)描述狀態(tài)之間的轉(zhuǎn)換，用語(yǔ)句來(lái)描述狀態(tài)之間的轉(zhuǎn)換，用case語(yǔ)句表述比用語(yǔ)句表述比用if-else語(yǔ)句語(yǔ)句更清晰明