UART发送状态机三段式与一段式对比

三段式串口发送仿真输出

状态机描述方法

状态机描述时关键是要描述清楚几个状态机的要素,即①如何进行状态转移,②判断状态转移的条件,③状态输出是什么。具体描述时方法各种各样,最常见的有三种描述方式:
1.一段式:整个状态机写到一个always模块里面,在该模块中既描述①状态转移,又描述②状态转移的条件③状态输出;
2.二段式:用两个always模块来描述状态机,其中一个always模块采用同步时序描述①状态转移;另一个模块采用组合逻辑②判断状态转移的条件③状态的输出
3.三段式:在两个always摸块描述方法基础上,使用三个always模块,一个always采用同步时序描述①状态转移,一个always采用组合逻辑判断②状态转移条件,一个always模块描述③状态输出(可以用组合电路输出,也可以时序电路输出)。
一般而言,推荐的FSM描述方法是后两种。这是因为:FSM和其他设计一样,最好使用同步时序方式设计,以提高设计的稳定性,消除毛刺。

三段式状态机要注意的几点:

  1. 三段always模块中,第一个和第三个always模块是同步时序always模块,用非阻塞赋值(“ <= ”);第二个always模块是组合逻辑always模块,用阻塞赋值(“ = ”)。
  2. 第二部分为组合逻辑always模块,对于always的敏感列表建议采用always@(*)的方式。同时,注意判断时条件完备,防止产生锁存器。
  3. 第三部分 状态输出case中使用(next_state)判断,能保证状态变化与状态输出对齐。

状态转移表:
一段式状态转移表:只用了一个state表示状态


一段式状态转移表

二段式和三段式状态转移表:用state表示当前状态,next_state表示下一状态


二段式和三段式状态转移表
//三段式状态机写法,UART发送状态机,无校验
module uart_tx_fsm(clk_baud,reset_n,start_n,data,tx,busy);
    input clk_baud,reset_n,start_n;
    input [7:0] data;
    output tx;
    output busy;
    reg tx,busy;    
    parameter IDLE  = 4'b0001;
    parameter START = 4'b0010;
    parameter SEND  = 4'b0100;
    parameter STOP  = 4'b1000;
    
    reg [3:0]current_state;
    reg [3:0]next_state;
    reg [3:0]sendcount;
    reg [7:0]buffer;
    //①状态转移
    always @(posedge clk_baud or negedge reset_n) 
        if(reset_n == 0) current_state<= IDLE;
        else current_state<= next_state ;
    //②判断状态转移的条件
    always @(*) // 或者用always @(state,start_n,sendcount)
    case (state)
        IDLE: if(start_n==0) next_state = START;
                else next_state = IDLE;
        START:next_state = SEND;
        SEND: if(sendcount==4'd8) next_state = STOP;
                else next_state = SEND;
        STOP: next_state = IDLE;
        default:next_state = IDLE;
    endcase
    
    //③状态输出
    always @(posedge clk_baud) 
    case (next_state) //用
        IDLE:begin
              tx<=1;busy<=0;sendcount<=0;buffer<=0;
            end
        START:begin
              tx<=0;busy<=1;sendcount<=0;buffer<=data;
            end
        SEND:begin
              tx<=buffer[0];busy<=1;sendcount<=sendcount+1;buffer<=buffer>>1;
            end
           STOP:begin
              tx<=1;busy<=1;sendcount<=0;buffer<=0;
            end
        default:begin
            tx<=1;busy<=0;sendcount<=0;buffer<=0;
            end
    endcase
    

endmodule 
//一段式UART发送状态机,无校验
//一个always里把①状态转移②状态转移的条件③状态输出,全部包含了。不利于状态机维护。
module uart_tx_fsm(clk_baud,reset_n,start_n,data,tx,busy);
    input clk_baud,reset_n,start_n;
    input [7:0] data;
    output tx;
    output busy;
    reg tx,busy;
    
    parameter IDLE  = 4'b0001;
    parameter START = 4'b0010;
    parameter SEND  = 4'b0100;
    parameter STOP  = 4'b1000;
    
    reg [3:0]state;
    reg [3:0]sendcount;
    reg [7:0]buffer;
    
    always @(posedge clk_baud or negedge reset_n)begin
        if(reset_n == 0) state <= IDLE;
        else 
            case (state)
            IDLE: begin
                    tx<=1;busy<=0;sendcount<=0;buffer<=0;
                    if(start_n==0) state = START;
                    else state = IDLE;
                    end
                    
            START:begin
                    tx<=0;busy<=1;sendcount<=0;buffer<=data;
                    state = SEND;
                    end
                
            SEND: begin
                    tx<=buffer[0];busy<=1;sendcount<=sendcount+1;buffer<=buffer>>1;
                    if(sendcount==4'd7) state = STOP;
                    else state = SEND;
                    end
            STOP: begin
                    tx<=1;busy<=1;sendcount<=0;buffer<=0;
                    state = IDLE;
                    end
            default:begin
                    tx<=1;busy<=0;sendcount<=0;buffer<=0;
                    state = IDLE;
                    end
            endcase
    end

endmodule 

参考文件:
彻底搞懂状态机(一段式、两段式、三段式)_有限状态机-CSDN博客
FPGA中的状态机设计:一段式、二段式、三段式以及摩尔型与米勒型的深入理解-百度开发者中心 (baidu.com)

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 203,179评论 5 476
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 85,229评论 2 380
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 150,032评论 0 336
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 54,533评论 1 273
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 63,531评论 5 365
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 48,539评论 1 281
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 37,916评论 3 395
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 36,574评论 0 256
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 40,813评论 1 296
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 35,568评论 2 320
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 37,654评论 1 329
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 33,354评论 4 318
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 38,937评论 3 307
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 29,918评论 0 19
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,152评论 1 259
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 42,852评论 2 349
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 42,378评论 2 342