《電子技術應用》
您所在的位置:首頁 > 可編程邏輯 > 業(yè)界動態(tài) > 用VHDL設計有限狀態(tài)機的方法

用VHDL設計有限狀態(tài)機的方法

2009-01-12
作者:單長虹

  摘? 要: 以離心機定時順序控制器的設計為例,闡述了用VHDL設計有限狀態(tài)機的方法,討論了如何消除狀態(tài)機輸出信號的“毛刺”。

  關鍵詞: VHDL 狀態(tài)機 EDA? 離心機 毛刺

?

  現代數字系統(tǒng)的設計一般都采用自頂向下的模塊化設計方法。即從整個系統(tǒng)的功能出發(fā),將系統(tǒng)分割成若干功能模塊。在自頂向下劃分的過程中,最重要的是將系統(tǒng)或子系統(tǒng)按計算機組成結構那樣劃分成控制器和若干個受控制的功能模塊。受控部分通常是設計者們所熟悉的各種功能電路,設計較為容易。主要任務是設計控制器,而其控制功能可以用有限狀態(tài)機來實現。因而有必要深入探討有限狀態(tài)機的設計方法。

1 狀態(tài)機設計的一般方法

  傳統(tǒng)的設計方法是首先繪制出控制器的狀態(tài)圖,并由此列出狀態(tài)表,再合并消除狀態(tài)表中的等價狀態(tài)項。在完成狀態(tài)寄存器的分配之后,根據狀態(tài)表求出次態(tài)及輸出方程,最后畫出設計原理圖。采用這種方法設計復雜狀態(tài)機將會十分繁雜。

  利用VHDL設計狀態(tài)機,不需要進行繁瑣的狀態(tài)分配、繪制狀態(tài)表和化簡次態(tài)方程。設計者不必使用卡諾圖進行邏輯化簡,不必畫電路原理圖,也不必搭試硬件電路進行邏輯功能的測試,所有這些工作都可以通過EDA工具自動完成。應用VHDL設計狀態(tài)機的具體步驟如下:

  (1)根據系統(tǒng)要求確定狀態(tài)數量、狀態(tài)轉移的條件和各狀態(tài)輸出信號的賦值,并畫出狀態(tài)轉移圖;

  (2)按照狀態(tài)轉移圖編寫狀態(tài)機的VHDL設計程序;

  (3)利用EDA工具對狀態(tài)機的功能進行仿真驗證。

  下面以離心機定時順序控制器的設計為例,說明狀態(tài)機的設計方法。

2 定時順序控制狀態(tài)機的設計

  在化工生產中,離心機用于固、液分離的工藝流程,如圖1所示。

?

?

????從加料至刮刀回程循環(huán)N次之后,進入大洗網工序,隨后又開始進入新一輪順序循環(huán)工作。該系統(tǒng)控制器的框圖如圖2所示。?????

?

????????????????

  圖2中計數模塊是由三個帶異步復位和并行預置的計數器組成。其中COUNTER1是2位加/減法計數器,用于控制從加料至刮刀回程的各工序時間,其中加料和卸料工序為加計時,其余工序為減計時;COUNTER2是3位減法計數器,用于控制大洗網的時間;COUNTER3是2位加法計數器,用于控制循環(huán)工作次數。譯碼器用于選通與各工序相對應的預置數。圖2中K1、K2分別是加料和卸料限位開關信號,R{R1、R2、R3}為計數器減為零(或循環(huán)次數等于預置數)時發(fā)出的信號,它們都可作為狀態(tài)轉移的控制信號。LD(LD1、LD2、LD3)為并行置數控制信號,CLR(CLR1、CLR2、CLR3)為異步清零信號,ENA(ENA1、ENA2)為計數使能信號,J為加/減計數控制信號,G(G1、A、B、C)為譯碼器控制信號,FO為各工序電磁閥和指示燈控制信號。

  系統(tǒng)工作方式如下:當系統(tǒng)處于初始狀態(tài)或復位信號reset有效時,系統(tǒng)處于復位狀態(tài)。按下自動工作鍵C0,系統(tǒng)進入加料工序并開始自動控制離心機的運行。以加水工序為例,首先在加水預置數狀態(tài)(water_ld)時,狀態(tài)機輸出信號FO,開啟加水電磁閥及指示燈,同時輸出信號G控制選通加水時間預置數,在LD1信號的控制下,將預置數送入COUNTER1。此時ENA1=1,J=1,使計數器為減計數狀態(tài)。然后,在下一個時鐘周期進入加水工作狀態(tài)(water),并開始減計時。當計時為零時,計數器發(fā)出借位信號R1作為此工序結束的信號送入狀態(tài)機,使其轉入下一個工作狀態(tài)。根據系統(tǒng)要求可畫出狀態(tài)轉移圖如圖3所示。其中圖3表示各狀態(tài)轉移的順序和轉移條件,表1列出了與各狀態(tài)相應的輸出信號值。

?

?

?

  按照狀態(tài)轉移圖可編寫狀態(tài)機的VHDL源程序。采用雙進程描述法設計的離心機控制器源程序如下:

library ieee;

use ieee.std_logic_1164.all;

entity controller is

port (c0,reset: in std_logic;

??? clk1,k1,k2,r1,r2,r3: in std_logic;

??? clr1,clr2,clr3,j,enal,ena2: out std_logic;

??? ld1,ld2,ld3,g1,a,b,c: out std_logic;

??? fo: out std_logic_vector(6 downto 0));

end controller;

architecture state_machine of controller is

type statetype is (system_reset,load,one_dry,water_ld, water,

two_dry_ld,two_dry,unload_reset,unload,return_trip,decision,

wash,cycle_ld);

signal present_state,next_state : statetype;

begin

state_comb:process (present_state,c0,reset,k1,k2,r1,r2,r3)

begin

  if reset='1' then

???????? clr1<='1';clr2<='1';clr3<='1';j<='0';ena1<='0';

???? ???? ena2<='0';

???????  g1<='0';c<='0';b<='0';a<='0';

??????????fo<=″0000000″;ld1<='0';ld2<='0';ld3<='0';

????????????? next_state <= system_reset;

????else

????????? case present_state is

????????????? when system_reset =>

? ?????????? ????? clr1<='1';clr2<='1';clr3<='0';j<='0';

?????????????????? ena1<='0';ena2<='0';

?????????????????? g1<='1';c<='1';b<='0';a<='1';

?????????????????? fo<=″0000000″;ld1<='0';ld2<='0';ld3<='1';

?????????????????? if (c0='1') then

??????????? ????????????? next_state<=load;

?????????????????? else

????????????????????????? next_state<=system_reset;

?????????????????? end if;?????????

???????????? when load =>

?????????????????? clr1<='0';clr2<='0';clr3<='0';j<='0';

?????????????????? ena1<='1';ena2<='0';

?????????????????? g1<='0';c<='0';b<='0';a<='0';

????? ???????????? fo<=″0000001″;ld1<='0';ld2<='0';ld3<='0';

?????????????????? if (k1='1') then

??????????? ????????????? next_state<=one_dry;

?????????????????? else

??????????? ????????????? next_state<=load;

?????????????????? end if;

????????????? ……

??? ????end case;

??? end if;

end process state_comb;

state_clocked:process(clk1,reset)

begin

????if reset='1' then

??????? present_state<=system_reset;

????elsif rising_edge(clk1) then

??????? present_state<=next_state;

??? end if;

end process state_clocked;

end state_machine;

  利用EDA軟件MAX+plus Ⅱ對該程序進行編譯、仿真,其仿真波形見圖4。

?

  從圖4仿真波形圖上可以看出,狀態(tài)機的輸出信號有許多“毛刺”產生。如何消除這些“毛刺”是下面將討論的問題。

3 在狀態(tài)機設計中如何消除“毛刺”

  在同步電路中,一般情況下“毛刺”不會產生重大影響。因為“毛刺”僅發(fā)生在時鐘有效邊沿之后的一小段時間內,只要在下一個時鐘有效邊沿到來之前“毛刺”消失即可。但是,由于狀態(tài)機的輸出信號都是作為其它功能模塊的控制信號,如果這些控制信號作為異步控制(如本系統(tǒng)中的CLR)、三態(tài)使能控制或時鐘信號來使用,則將會使受控模塊發(fā)生誤動作,造成系統(tǒng)工作混亂。因此,在這種情況下必須保證狀態(tài)機的輸出沒有“毛刺”。

  消除狀態(tài)機輸出信號的“毛刺”有以下三種方案:

  ·在狀態(tài)機輸出信號較少的情況下,直接把狀態(tài)作為輸出信號;

  ·對于順序遷移的狀態(tài)機,選擇雷格碼作為狀態(tài)編碼;

  ·在Moore型或Mealy型狀態(tài)機基礎上,用時鐘同步輸出信號。

  本設計采用后兩種方案,較簡便。雷格碼的特點是:當狀態(tài)機改變狀態(tài)時,狀態(tài)向量中僅1位發(fā)生變化。與前面用可枚舉類型定義的狀態(tài)變量不同,現在選用常數來指定各狀態(tài)變量的取值為格雷碼。修改部分設計程序如下:

  

  若要完全消除狀態(tài)機的“毛刺”,則應采用第三種方案。這時,設計程序要作相應改變,狀態(tài)的轉移和輸出信號的賦值要寫在同一個時鐘進程中。

  綜上所述,采用VHDL設計狀態(tài)機,能夠大大降低設計難度。使用雙進程描述風格編寫VHDL設計程序,可以清楚地在一個進程中確定狀態(tài)的轉移和對輸出的賦值,而且具有易于建立、理解和維護的優(yōu)點。特別針對大型或具有大量狀態(tài)轉移和輸出信號的狀態(tài)機設計,將會更加顯示出它的優(yōu)勢。對于狀態(tài)機輸出信號所產生的“毛刺”,可以按照系統(tǒng)的要求,根據不同的情況采用相應的設計方案予以消除。

?

參考文獻

1 孟憲元.可編程ASIC集成數字系統(tǒng).北京:電子工業(yè)出版社,1998

2 朱明程,孫 普譯.可編程邏輯系統(tǒng)的VHDL設計技術.南京:東南大學出版社,1998

3 潘 松,王國棟.VHDL實用教程.成都:電子科技大學出版社,2000

4 邊計年,薛宏熙譯.用VHDL設計電子線路.北京:清華大學出版社,2000

本站內容除特別聲明的原創(chuàng)文章之外,轉載內容只為傳遞更多信息,并不代表本網站贊同其觀點。轉載的所有的文章、圖片、音/視頻文件等資料的版權歸版權所有權人所有。本站采用的非本站原創(chuàng)文章及圖片等內容無法一一聯系確認版權者。如涉及作品內容、版權和其它問題,請及時通過電子郵件或電話通知我們,以便迅速采取適當措施,避免給雙方造成不必要的經濟損失。聯系電話:010-82306118;郵箱:aet@chinaaet.com。