FPGA/CPLD狀態(tài)機的穩定性設計

　　隨著(zhù)大規模和超大規模FPGA/CPLD器件的誕生和發(fā)展,以HDL(硬件描述語(yǔ)言)為工具、FPGA/CPLD器件為載體的EDA技術(shù)的應用越來(lái)越廣泛.從小型電子系統到大規模SOC(Systemonachip)設計,已經(jīng)無(wú)處不在.在FPGA/CPLD設計中,狀態(tài)機是最典型、應用最廣泛的時(shí)序電路模塊,如何設計一個(gè)穩定可靠的狀態(tài)機是我們必須面對的問(wèn)題.

　　1、狀態(tài)機的特點(diǎn)和常見(jiàn)問(wèn)題

　　標準狀態(tài)機分為摩爾(Moore)狀態(tài)機和米立(Mealy)狀態(tài)機兩類(lèi).Moore狀態(tài)機的輸出僅與當前狀態(tài)值有關(guān),且只在時(shí)鐘邊沿到來(lái)時(shí)才會(huì )有狀態(tài)變化.Mealy狀態(tài)機的輸出不僅與當前狀態(tài)值有關(guān),而且與當前輸入值有關(guān),這一特點(diǎn)使其控制和輸出更加靈活,但同時(shí)也增加了設計復雜程度.其原理如圖1所示.

　　根據圖1所示,很容易理解狀態(tài)機的結構.但是為什么要使用狀態(tài)機而不使用一般時(shí)序電路呢?這是因為它具有一些一般時(shí)序電路無(wú)法比擬的優(yōu)點(diǎn).

　　用VHDL描述的狀態(tài)機結構分明,易讀,易懂,易排錯;

　　相對其它時(shí)序電路而言,狀態(tài)機更加穩定,運行模式類(lèi)似于CPU,易于實(shí)現順序控制等.

　　用VHDL語(yǔ)言描述狀態(tài)機屬于一種高層次建模,結果經(jīng)常出現一些出乎設計者意外的情況:

　　在兩個(gè)狀態(tài)轉換時(shí),出現過(guò)渡狀態(tài).

　　在運行過(guò)程中,進(jìn)入非法狀態(tài).

　　在一種器件上綜合出理想結果,移植到另一器件上時(shí),不能得到與之相符的結果.

　　狀態(tài)機能夠穩定工作,但占用邏輯資源過(guò)多.

　　在針對FPGA器件綜合時(shí),這種情況出現的可能性更大.我們必須慎重設計狀態(tài)機,分析狀態(tài)機內在結構,在Moore狀態(tài)機中輸出信號是當前狀態(tài)值的譯碼,當狀態(tài)寄存器的狀態(tài)值穩定時(shí),輸出也隨之穩定了.經(jīng)綜合器綜合后一般生成以觸發(fā)器為核心的狀態(tài)寄存電路,其穩定性由此決定.如果CLOCK信號的上升沿到達各觸發(fā)器的時(shí)間嚴格一致的話(huà),狀態(tài)值也會(huì )嚴格按照設計要求在規定的狀態(tài)值之間轉換.然而這只是一種理想情況,實(shí)際CPLD/FPGA器件一般無(wú)法滿(mǎn)足這種苛刻的時(shí)序要求,特別是在布線(xiàn)后這些觸發(fā)器相距較遠時(shí),CLOCK到達各觸發(fā)器的延時(shí)往往有一些差異.這種差異將直接導致?tīng)顟B(tài)機在狀態(tài)轉換時(shí)產(chǎn)生過(guò)渡狀態(tài),當這種延時(shí)進(jìn)一步加大時(shí),將有可能導致?tīng)顟B(tài)機進(jìn)入非法狀態(tài).這就是Moore狀態(tài)機的失效機理.對于Mealy狀態(tài)機而言,由于其任何時(shí)刻的輸出與輸入有關(guān),這種情況就更常見(jiàn)了.

　　2　狀態(tài)機設計方案比較

　　2.1　采用枚舉數據類(lèi)型定義狀態(tài)值

　　在設計中定義狀態(tài)機的狀態(tài)值為枚舉數據類(lèi)型,綜合器一般把它表示為二進(jìn)制數的序列,綜合后生成以觸發(fā)器為核心的狀態(tài)寄存電路,寄存器用量會(huì )減少,其綜合效率和電路速度將會(huì )在一定程度上得到提高.

　　例1　定義狀態(tài)值為枚舉類(lèi)型的狀態(tài)機VHDL程序.

　　library ieee;

　　use ieee.std_logic_1164 all;

　　entity example is

　　port(clk:in std_logic;

　　mach_input:in std_logic;

　　mach_outputs:out std_logic_vector(0 to 1));

　　end example;

　　architecture behave of example is

　　type states is(st0,st1,st2,st3); --定義states為枚舉類(lèi)型

　　signal current_state,next_state:states;

　　begin

　　state_change:process(clk) --狀態(tài)改變進(jìn)程

　　begin