HDLBits（【FSM】-水库及旅鼠 日常记录方便回看）

最新推荐文章于 2023-06-28 00:38:42 发布
最新推荐文章于 2023-06-28 00:38:42 发布
阅读量412 收藏 4
点赞数 1
分类专栏： HDLBits 文章标签： fpga开发
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/j1499/article/details/126075428
版权

HDLBits答案记录【FSM-水库供水实践题】（仅用于自己答案记录）
这里虽然是三段式状态机，但是和二段式状态机（输出判断的是state）更像。三段式状态机的输出更偏向以时序（输出判断的是next_state）。（个人理解）

Desin a Moore FSM

题目：一个大型水库为多个用户供水。为了保持足够高的水位，每隔5英寸垂直放置三个传感器。
当水位高于最高传感器（S3）时，输入流速应为零。
当水位低于最低传感器（S1）时，流速应为最大值（标称流量阀和补充流量阀均打开）。
水位位于上部和下部传感器之间时的流速由两个因素决定：
水位和最后一个传感器变化之前的水位。每个水位都有一个与其相关的标称流速，如下表所示。
如果传感器变化表明之前的液位【低于】当前液位，则应出现【标称流量】。
如果之前的水位(state)高于当前水位（next_state），则应通过打开【补充流量阀】（由△FR控制）来增加流速。
绘制水库控制器的摩尔模型状态图。清楚地指示每个状态的所有状态转换和输出。FSM的输入为S1，S2和S3；输出为FR1, FR2，FR3和△FR。

在这里插入图片描述
还包括主动高同步重置，将状态机重置为相当于水位长时间处于低位时的状态（未断言传感器，且所有四个输出均已断言）。

module top_module (
    input clk,
    input reset,
    input [3:1] s,
    output fr3,
    output fr2,
    output fr1,
    output dfr
); 
    parameter L1=4'b0001,//below s1
    		  S1_2=4'b0010,//between s1~s2
    		  S2_3=4'b0100,//between s2~s3
    		  H3=4'b1000;//above s3
    
    reg [3:0]state,next_state;
    reg [2:0]fr;
    
    assign {fr3,fr2,fr1}=fr;
    
    always@(posedge clk)begin
        if(reset)begin
            state<=L1;
        end
        else begin
            state<=next_state;
        end
    end
    
    always@(*)begin
        case(s)
            3'b000:next_state=L1;
            3'b001:next_state=S1_2;
            3'b011:next_state=S2_3;
            3'b111:next_state=H3;
            default:next_state=L1;
        endcase
    end
    
    always@(posedge clk)begin
        if(reset)begin
           fr<=3'b111; 
        end else begin
            case(next_state)
                L1:fr<=3'b111;
                S1_2:fr<=3'b011;
                S2_3:fr<=3'b001;
                H3:fr<=3'b000;
                default:fr<=3'b111;
            endcase
        end
    end
    
      always@(posedge clk)begin
        if(reset)begin
           dfr<=1'b1; 
        end else begin
            if(state>next_state)begin
                dfr<=1'b1;
            end
            else if(state<next_state)begin
               dfr<=1'b0; 
            end
            else
                dfr<=dfr;
        end
    end

endmodule

Lemming1

旅鼠游戏涉及大脑相当简单的小动物。非常简单，我们将使用有限状态机对其进行建模。
在旅鼠的2D世界中，旅鼠可以处于两种状态之一：向左行走或向右行走。如果遇到障碍物，它会切换方向。特别是，如果一只旅鼠在左边被撞，它会向右行走。如果它在右边颠簸，它会向左走。如果同时在两侧碰撞，它仍然会切换方向。
实现一个具有两个状态、两个输入和一个输出的摩尔状态机来模拟这种行为。

module top_module(
    input clk,
    input areset,    // Freshly brainwashed Lemmings walk left.
    input bump_left,
    input bump_right,
    output walk_left,
    output walk_right); //  
 
    parameter LEFT=1'b0, RIGHT=1'b1;
    reg state, next_state;
    
    always@(posedge clk or posedge areset)begin
        if(areset)begin
            state <= LEFT;
        end
        else begin
            state <= next_state;
        end
    end
 
    always @(*) begin
        case(state)
            LEFT:begin
                if(bump_left)begin
                    next_state = RIGHT;
                end
                else begin
                    next_state = LEFT;
                end
            end
            RIGHT:begin
                if(bump_right)begin
                    next_state = LEFT;
                end
                else begin
                    next_state = RIGHT;
                end
            end
        endcase
    end
 
    // Output logic
    assign walk_left = (state == LEFT);
    assign walk_right = (state == RIGHT);
 
endmodule

Lemming2

除了左右行走外，旅鼠还会摔倒（大概还会“啊！”）
如果地面消失在他们下面。除了在颠簸时左右行走和改变方向外，
当地面=0时，旅鼠还会摔倒并说“啊！”。
当地面再次出现（地面=1）时，旅鼠将继续沿着与坠落前相同的方向行走。坠落时被撞击不会影响行走方向，
在地面消失（但尚未坠落）的同一周期内被撞击，或在地面仍在坠落时重新出现时，也不会影响步行方向。
建立一个有限状态机来模拟这种行为。
在这里插入图片描述

module top_module(
    input clk,
    input areset,    // Freshly brainwashed Lemmings walk left.
    input bump_left,
    input bump_right,
    input ground,
    output walk_left,
    output walk_right,
    output aaah ); 
    parameter LEFT=4'b0001,RIGHT=4'b0010,DOWN_LEFT=4'b0100,DOWN_RIGHT=4'b1000;
    reg [3:0]state,next_state;
    always@(posedge clk,posedge areset)begin
        if(areset)
            state<=LEFT;
        else
            state<=next_state;
    end
    
    always@(*)begin
        case(state)
            LEFT:next_state=ground?(bump_left?RIGHT:LEFT):DOWN_LEFT;
            RIGHT:next_state=ground?(bump_right?LEFT:RIGHT):DOWN_RIGHT;
            DOWN_LEFT:next_state=ground?LEFT:DOWN_LEFT;
            DOWN_RIGHT:next_state=ground?RIGHT:DOWN_RIGHT;
            default:next_state=LEFT; 
        endcase
    end
    
    assign walk_left=(state==LEFT);
    assign walk_right=(state==RIGHT);
    assign aaah=(state==DOWN_LEFT||state==DOWN_RIGHT  
   
endmodule

Lemmings 3

除了行走和摔倒之外，有时还可以告诉旅鼠做一些有用的事情，比如挖掘（当挖掘=1时开始挖掘）。如果旅鼠当前正在地面上行走（地面=1且未坠落），【它可以挖掘，并将继续挖掘，直到到达另一侧（地面=0）】。到那时，因为没有地面，它就会坠落（啊！），然后，一旦它再次触地，继续沿着原来的方向行走。与摔倒一样，在挖掘时被撞倒没有任何影响，当摔倒或没有地面时被告知要挖掘则被忽略。
（换句话说，行走的旅鼠可以下降、挖掘或切换方向。如果满足其中一个以上的条件，下降的优先级高于挖掘，而挖掘的优先级高于切换方向。）
扩展有限状态机来模拟这种行为。

module top_module(
    input clk,
    input areset,    // Freshly brainwashed Lemmings walk left.
    input bump_left,
    input bump_right,
    input ground,
    input dig,
    output walk_left,
    output walk_right,
    output aaah,
    output digging );
    
    parameter LEFT=6'b000001,//左走状态
    		 RIGHT=6'b000010,//右走状态
         DOWN_LEFT=6'b000100,//坠落后左状态
        DOWN_RIGHT=6'b001000,//坠落后右状态
        TODIG_LEFT=6'b010000,//挖掘后左状态
       TODIG_RIGHT=6'b100000;//挖掘后右状态
    reg [5:0]state,next_state;
    
    //第一进程（状态转移）
    always@(posedge clk,posedge areset)begin
        if(areset)
            state<=LEFT;
        else
            state<=next_state;
    end
    //第二进程（状态转移条件的判断）
    always@(*)begin
        case(state)
            LEFT:next_state=ground?(dig?TODIG_LEFT:(bump_left?RIGHT:LEFT)):DOWN_LEFT;
            RIGHT:next_state=ground?(dig?TODIG_RIGHT:(bump_right?LEFT:RIGHT)):DOWN_RIGHT;
            //当ground==1时候，此刻不需要对挖掘进行判断了，因为挖掘条件是（地面=1且未坠落）
            DOWN_LEFT:next_state=ground?(LEFT):DOWN_LEFT;
            DOWN_RIGHT:next_state=ground?(RIGHT):DOWN_RIGHT;
            //开始挖掘后会一直挖掘，直到ground=0
            TODIG_LEFT:next_state=ground?TODIG_LEFT:DOWN_LEFT;
            TODIG_RIGHT:next_state=ground?TODIG_RIGHT:DOWN_RIGHT;
            default:next_state=LEFT;
        endcase
    end
    //第三
    assign walk_left=(state==LEFT);
    assign walk_right=(state==RIGHT);
    assign aaah=(state==DOWN_LEFT|state==DOWN_RIGHT);
    assign digging=(state==TODIG_LEFT|state==TODIG_RIGHT);
    
endmodule

Lemmings

虽然旅鼠可以行走、摔倒和挖掘，但旅鼠并非无懈可击。如果旅鼠摔倒太久，然后撞到地面，它可能会飞溅。特别是，如果一只旅鼠坠落超过20个时钟周期，然后撞到地面，它将飞溅并停止行走、坠落或挖掘（所有4个输出都变为0），直到永远（或直到FSM重置）。旅鼠在落地前能落多远没有上限。旅鼠只有在触地时才会飞溅；它们不会在半空中飞溅。
扩展有限状态机来模拟这种行为。
坠落20个周期可存活：
module top_module(
input clk,
input areset, // Freshly brainwashed Lemmings walk left.
input bump_left,
input bump_right,
input ground,
input dig,
output walk_left,
output walk_right,
output aaah,
output digging );

parameter LEFT=7'b0000001,
		 RIGHT=7'b0000010,
     DOWM_LEFT=7'b0000100,
    DOWM_RIGHT=7'b0001000,
	  DIG_LEFT=7'b0010000,
     DIG_RIGHT=7'b0100000,
		 SPLAT=7'b1000000;

reg [6:0]state,next_state;
reg [6:0]count;
always@(posedge clk,posedge areset)begin
    if(areset)
        count<=7'd0;
    else if((next_state==DOWM_LEFT)||(next_state==DOWM_RIGHT))
        count<=count+1'b1;
    else
        count<=7'd0;
end

always@(posedge clk,posedge areset)begin
    if(areset)
    	state<=LEFT;
    else
        state<=next_state;
end

always@(*)begin
    case(state)
        LEFT:next_state=ground?(dig?DIG_LEFT:(bump_left?RIGHT:LEFT)):DOWM_LEFT;
        RIGHT:next_state=ground?(dig?DIG_RIGHT:(bump_right?LEFT:RIGHT)):DOWM_RIGHT;
        DOWM_LEFT:next_state=ground?((count>7'd20)?SPLAT:LEFT):DOWM_LEFT;
        DOWM_RIGHT:next_state=ground?((count>7'd20)?SPLAT:RIGHT):DOWM_RIGHT;
        DIG_LEFT:next_state=ground?DIG_LEFT:DOWM_LEFT;
        DIG_RIGHT:next_state=ground?DIG_RIGHT:DOWM_RIGHT;
        SPLAT:next_state=SPLAT;
        default:next_state=LEFT;
    endcase
end

	    assign walk_left=(state==LEFT);
	    assign walk_right=(state==RIGHT);
	    assign aaah=(state==DOWM_RIGHT||state==DOWM_LEFT);
	    assign digging=(state==DIG_RIGHT||state==DIG_LEFT);
endmodule
Jzzlq
关注
  • 1
    点赞
  • 踩
  • 4
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
FSM-.zip_vhdl_寄存器fsm
09-23
　有限状态机（Finite State Machine）是指那些输出取决于过去输入部分和当前输入部分的时序逻辑电路。它由寄存器组和组合逻辑构成。有限状态机的作用主要是描述对象在它的生命周期内所经历的状态序列，以及如何响应来自外界的各种事件。
HDLBits学习笔记——状态机（上）
Chika__的博客
05-25 790
状态机
HDLBits-Circuits学习小结（八）有限状态机进阶(Lemmings、Onehot FSM、PS/2 packet parser)
Ryzen3的博客
10-15 1047
目录1 旅鼠游戏1.1 Lemmings11.2 Lemmings21.3 Lemmings31.4 Lemmings42 onehot FSM 1 旅鼠游戏 Lemmings游戏涉及具有简单大脑的生物。 如此简单以至于我们将使用有限状态机对其进行建模。 在Lemmings的2D世界中，Lemmings可以处于以下两种状态之一：向左行走或向右行走。 如果碰到障碍物，它将切换方向。特别是，如果Lemmings在左侧发生碰撞，它将向右行走。 如果它撞到右边，它将向左走。 如果同时在两侧碰撞，它将仍然会切换方向。
Fsm3onehot
weixin_45614076的博客
11-29 1285
“通过检查得出方程”是什么意思？ One-hot 状态机编码保证恰好有一个状态位为 1。这意味着可以通过仅检查一个状态位而不是所有状态位来确定状态机是否处于特定状态。通过检查状态转换图中每个状态的输入边，这导致了状态转换的简单逻辑方程。 比如上面的状态机中，状态机如何才能达到状态A？它必须使用两个传入边之一：“当前处于状态 A 且 in=0”或“当前处于状态 C 且 in = 0”。由于 one-hot 编码，用于测试“当前处于状态 A”的逻辑方程只是状态 A 的状态位。这导致状态位 A 的下一个状态的最.
Hdlbit网站练习：Exams/ece241 2013 q4:水位问题
沧月九流的博客
04-07 332
此题需要注意的地方有三个： 1）水位监测器的输入是状态跳转的条件 2）assign {fr3,fr2,fr1} = {!s[1],!s[2],!s[3]};//不能根据输入判断否则会提前一会时钟 3）assign dfr = (state < next_state) ? 1’b0 : 1’b1; //使用组合逻辑电路结果将提前一拍，结果不正确 module top_module ( input clk, input reset, input [3:1] s, out
HDLBITS笔记34：Lemmings1、Lemmings2、Lemmings3、Lemmings4
weixin_46817835的博客
04-24 1952
题目1：Lemmings1 游戏Lemmings涉及具有相当简单大脑的小动物。如此简单，以至于我们将使用有限状态机对其进行建模。 在Lemmings的2D世界中，Lemmings可以处于以下两种状态之一：向左行走或向右行走。如果它碰到障碍物，它会改变方向。特别是，如果一只旅鼠在左边被撞到，它会向右走。如果它在右边被撞到，它将向左走。如果它同时在两侧碰撞，它仍然会改变方向。 实现具有两个状态、两个输入和一个输出的摩尔状态机，用于模拟此行为。 模块声明 module top_module(
HDLBits刷题合集—16 Finite State Machines-2 Lemmings
GitHDL的博客
06-26 709
HDLBits刷题合集—15 Finite State Machines-2 Lemmings HDLBits-129 Lemmings1 Problem Statement Lemmings游戏涉及具有简单大脑的生物。 如此简单以至于我们将使用有限状态机对其进行建模。 在Lemmings的2D世界中，Lemmings可以处于以下两种状态之一：向左行走或向右行走。 如果碰到障碍物，它将切换方向。 特别是，如果Lemmings在左侧发生碰撞，它将向右行走。 如果它撞到右边，它将向左走。 如果同时在两侧碰撞，它
Verilog：HDLBITS Lemmings2 仿真成功代码+自己另外写的测试代码
wbf_123的博客
06-28 326
设计上采用时序逻辑电路，先对 ground 进行赋值，再进行判断，这里面的 if 中一定要采用 ~ground，因为这里判断的是上一个时钟的 ground 值，也就是还没有取非的 ground 的值，所以上一个时钟 ground 要是0，那么下一个时刻就会是1，delay 就多取一些。特别是，如果旅鼠在左边被撞了，它会向右走。先判断 ground 是否为0，然后再去判断 bump_left 和 bump_right，对于其他情况保持原状态 left，对于状态 right，同理，这里不再赘述。
HDLBits：在线学习 Verilog （二十六 · 127-130)
weixin_42905573的博客
09-29 742
本系列内容来自于知乎专栏，链接如下：https://zhuanlan.zhihu.com/c_1131528588117385216本系列文章将和读者一起巡礼数字逻辑在线学习网站 HDL...
Lemmings_HDLbits(旅鼠游戏——基于Verilog描述的有限状态机简单小游戏)
NJUzzf98的博客
04-09 3936
旅鼠游戏中的动物行为很简单 ，我们将使用有限状态机FSM对其进行建模。
django-fsm-log：Django FSM的自动日志记录
02-04
自动记录出色的软件包。 通过启用缓存的后端，可以在发生过渡之前和将日志持久保存到数据库之前访问日志。 请参阅 变更日志 2.0.2-dev（未发布） 2.0.1（2020-03-26） 添加对django3.0的支持 放弃对python2的支持...
go-fsm-generator:有限状态机生成工具
05-09
go-fsm-generator为状态机生成所有状态，事件和行为接口。 它会静态分析您的FSM定义，并指出生成过程中的一些问题。 生成的代码旨在防止可能的状态转换，因此易于使用且安全。 自动检测终端状态。 使用Graphwiz...
PyPI 官网下载 | gevent_fsm-0.2.0.tar.gz
01-12
资源来自pypi官网。 资源全名：gevent_fsm-0.2.0.tar.gz
FSM-60S光纤熔接中文操作手册.pdf
09-25
FSM-60S光纤熔接中文操作手册.pdf
hdlbit刷后感
weixin_45857247的博客
05-07 1877
目录 Notgate generate使用 bit位拼接 Module cseladd 阻塞赋值与非阻塞赋值 多个if层次 Always case2 三目运算符 exams/ece241_2014_q4 exams/ece241_2013_q7 Edgedetect Countbcd Count clock Shift18 Exams/ece241 2013 q4 Lemmings1 Fsm serial Exams/2014 q3fsm Exams/201...
hdlbits Design a Moore FSM 设计有限状态机
Rui__Wang的博客
02-16 312
DesignaMooreFSM 一个巨大的水库服务几个用户。为了保持水位足够高，三个传感器以5英寸的间距水平放置。当水位超过最高水位线S3，输入水流速度应该为0。当水位线小于最低水位线S1，流速应该开到最大，标称流量阀和补充流量阀都应该打开。当水位线在高和低传感器之间时，水流速度被以下两个因素影响：1.现在水位线2.水位线前于最后传感器的改变。每一个水位线有一个标称流速，在下表展示。如果传感器变化表明 上一时刻水位线比当前水位线更低，标称流速应该发生。如果前一水位线高于现在水位线，这一流量应该是由补...
HDLBits第十四章练习及答案2
Alice的博客
10-09 1177
有限状态机10、旅鼠111、旅鼠212、旅鼠313、旅鼠414、One-hot FSM 10、旅鼠1 在旅鼠的 2D 世界中，旅鼠可以处于两种状态之一：向左走或向右走。如果碰到障碍物，它会改变方向。特别是，如果旅鼠在左边被撞到，它会向右走。如果它在右边被撞到，它会向左走。如果它同时在两侧碰撞，它仍然会转换方向。 实现一个具有两个状态、两个输入和一个输出的摩尔状态机来模拟这种行为。 提示： 代码实现： module top_module( input clk, input areset,
HDLbits——状态机
m0_60790618的博客
12-09 656
verilog learning
错题集：HDLBits Exams/ece241 2013 q4 水位状态机
ztt02110211的博客
09-03 256
记录错题：水位状态机，找不到报错的解决方法。
fsm-imx335驱动
最新发布
02-02
fsm-imx335是一款搭载了全新imx335传感器的智能驾驶摄像头，它具有出色的低光性能和高解析度，能够为车辆行驶提供清晰的图像信息。为了让fsm-imx335摄像头能够正常工作，需要进行驱动程序的配置和安装。 驱动程序是...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值