FPGA系统性学习笔记连载_Day16【状态机：一段式、二段式、三段式】【原理及verilog仿真】篇

最新推荐文章于 2024-09-07 10:11:59 发布

ONEFPGA

最新推荐文章于 2024-09-07 10:11:59 发布

阅读量1.1k

点赞数 1

文章标签： fpga开发学习

本文链接：https://blog.csdn.net/ONEFPGA/article/details/125297745

版权

本文详细介绍了FPGA中的状态机设计，包括摩尔型和米勒型状态机的概念。接着，文章探讨了一段式、二段式和三段式状态机的差异，分别阐述了它们的结构和实现方式，并通过自动售货机的实例进行说明。此外，还提供了仿真脚本和仿真结果，以帮助读者深入理解。

摘要由CSDN通过智能技术生成

一、状态机

再次给出状态机的示意图：

1.1、摩尔型，输出只与状态寄存器的输出状态有关

1.2、米粒型，输出不仅与状态寄存器的输出状态有关，还与组合逻辑的输入有关

二、一段式、二段式、三段式区别

根据状态机的结构，状态机描述方式可分为：一段式、二段式、三段式

1.1、一段式

整个状态机写到一个 always 模块里面。在该模块中既描述状态转移，又描述状态的输入和输出。

1.2、二段式

用两个 always 模块来描述状态机。

1.2.1、其中一个 always 模块采用同步时序描述状态转移；

1.2.2、另一个 always模块采用组合逻辑判断状态转移条件，描述状态转移规律及其输出，注意组合逻辑输出要用阻塞赋值。

1.3、三段式

在两个 always 模块描述方法基础上，使用三个 always 模块。

1.3.1、一个 always 模块采用同步时序描述状态转移；

1.3.2、一个 always 采用组合逻辑判断状态转移条件，描述状态转移规律，注意组合逻辑输出要用阻塞赋值；

1.3.3、另一个 always 模块描述状态输出(可以用组合电路输出，也可以时序电路输出)，注意组合逻辑输出要用阻塞赋值。

1.4、综合

可以看出两段式有限状态机与一段式有限状态机的区别是将时序部分（状态转移）和组合部分（判断状态转移条件和产生输出）分开，写为两个 always语句，即为两段式有限状态机。将组合部分中的判断状态转移条件和产生输出再分开写，则为三段式有限状态机。

三、自动售货机、一段式

module  auto_sell(
    input   clk,
    input       rst_n,
    input       coin_one,
    input       coin_half,
     
    output  reg     water,
    output  reg     coin_back
);
 
    parameter   ZERO        = 3'b000;
    parameter   HALF        = 3'b001;
    parameter   ONE         = 3'b010;
    parameter   ONE_HALF = 3'b011;
    parameter   TWO         = 3'b100;
     
    //一段式状态机
    reg [2:0]       status;
     
    always@(posedge clk,negedge rst_n)begin
        if(!rst_n)
            begin
                status   <= ZERO;
                water    <= 0;
                coin_back <= 0;
            end
        else
            case(status)
                ZERO :
                        begin  
                            water    <= 0;
                            coin_back <= 0;
                            if(coin_half)
                                status <= HALF;
                            else if(coin_one)
                                status <= ONE;
                            else
                                status <= status;
                        end
                HALF :
                        begin  
                            water    <= 0;
                            coin_back <= 0; 
                            if(coin_half)
                                status <= ONE;
                            else if(coin_one)
                                status <= ONE_HALF;
                            else
                                status <= status;   
                        end
                ONE :  
                        begin  
                            water    <= 0;
                            coin_back <= 0;
                            if(coin_half)
                                status <= ONE_HALF;
                            else if(coin_one)
                                status <= TWO;
                            else
                                status <= status;               
                        end
                ONE_HALF :
                            begin  
                                if(coin_half)
                                    begin
                                        status <= TWO;
                                        water    <= 1'b0;
                                        coin_back <= 1'b0;
                                    end
                                else if(coin_one)
                                    begin
                                        status <= ZERO;
                                        water    <= 1'b1;
                                        coin_back <= 1'b0;
                                    end
                                else
                                    begin
                                        status <= status;   
                                        water    <= 1'b0;
                                        coin_back <= 1'b0;                                      
                                    end
                            end
                TWO :  
                        begin  
                            if(coin_half)
                                    begin