“101101”序列检测器Verilog设计实例与VCS仿真（mealy型和moore型）

最新推荐文章于 2024-06-28 08:25:12 发布
最新推荐文章于 2024-06-28 08:25:12 发布
阅读量1.8w 收藏 100
点赞数 13
分类专栏： 数字集成电路 文章标签： “101101”序列检测器 mealy moore verilog vcs
本文为博主原创文章，未经博主允许不得转载。
本文链接：https://blog.csdn.net/llxxyy507/article/details/83751999
版权

        本文设计了一个“101101”序列检测器，分别采用mealy型状态机和moore型状态机进行了设计。

Moore型状态机：输出只由当前状态决定，即次态=f(现状，输入)，输出=f（现状）；
Mealy型状态机：输出不但与当前状态有关，还与当前输入值有关，即次态=f(现状，输入)，输出=f（现状，输入）；

本文引用自：https://blog.csdn.net/llxxyy507/article/details/83751999

Mealy型状态机设计

        “101101”序列检测器的状态输出表如下：

                              

       左边的表为mealy型的状态输出表，但含有冗余状态，从右边的表的灰色部分可以看出，这几个状态可以合并为一个状态，从而完成状态化简。

       

        化简后的状态输出表如上表所示，对6个状态分别进行命名。然后根据状态输出表可以写出“101101”序列检测器的的HDL代码（verilog）。也可以再画出状态图然后在写HDL代码。

module seq_detector_mealy #(parameter IDLE   =  6'b00_0001,
		                              S1     =  6'b00_0010,
                                      S10    =  6'b00_0100,
                                      S101   =  6'b00_1000,
                                      S1011  =  6'b01_0000,
                                      S10110 =  6'b10_0000)
      (
       input   clk,
       input   rst_n,
       input   seq,
       output reg out
       );

reg [5:0] state;


always @(posedge clk ,negedge rst_n)
   if ( !rst_n ) begin
         state <= IDLE;
         out     <= 0;
         end

   else 
   case (state)
   IDLE : if (seq == 0) begin
               state  <= IDLE;
               out      <= 0;
               end
         else begin
               state <= S1;
               out     <= 0;
               end

   S1   : if (seq == 0) begin
               state  <= S10;
               out      <= 0;
               end
         else begin
               state <= S1;
               out     <= 0;
               end

   S10  : if (seq == 0) begin
               state  <= IDLE;
               out      <= 0;
               end
         else begin
               state <= S101;
               out     <= 0;
               end

   S101  : if (seq == 0) begin
               state  <= S10;
               out      <= 0;
               end
         else begin
               state <= S1011;
               out     <= 0;
               end

   S1011 : if (seq == 0) begin
               state  <= S10110;
               out      <= 0;
               end
         else begin
               state <= S1;
               out     <= 0;
               end

   S10110 : if (seq == 0) begin
               state  <= IDLE;
               out      <= 0;
               end
         else begin
               state <= IDLE;
               out     <= 1;
               end
   default : begin
               state <= IDLE;
               out     <= 0;
             end
  endcase
endmodule

timescale.v与testbench.v如下：

`timescale  1ns/1ns
`define  halfperiod  20

module t;

reg  clk;
reg  rst_n;
reg  [31:0] data;
reg  seq;

wire out;

initial  begin
  clk     = 0;
  rst_n   = 1;
  data = 32'b1010_1100_1011_0101_1010_1001_1011_0011;
  #5 rst_n = 0;
  #16 rst_n = 1;
  #(`halfperiod * 100) $finish;
 end

always  #(`halfperiod)  clk = ~clk;

always @(posedge clk)
   #2  data <= {data[30:0],data[31]};

assign  seq = data[31];

seq_detector_mealy  U(.clk(clk), .rst_n(rst_n), .seq(seq), .out(out) );

initial  begin
 $vcdpluson;
end

endmodule

采用VCS进行仿真，结果如下：

由上图的结果可以看出，mealy型状态机当检测到“101101”序列时，立马输出一个“1”。

Moore型状态机设计

        状态输出表如下：

                               

      左边表为初始状态输出表，右边灰色区域表示可以合并的冗余状态。状态合并并进行状态命名后的表如下：

         

    根据状态输出表写出的HDL（verilog）代码如下，也可以画出状态输出图再写verilog代码。

module seq_detector_moore #(parameter IDLE    = 7'b000_0001,
                                      S1      = 7'b000_0010,
                                      S10     = 7'b000_0100,
                                      S101    = 7'b000_1000,
                                      S1011   = 7'b001_0000,
                                      S10110  = 7'b010_0000,
                                      S101101 = 7'b100_0000)
         (input   clk,
          input   rst_n,
          input   seq,
          output reg out
          );

reg [6:0] state;

always @(posedge clk, negedge rst_n)
      if (!rst_n) begin
           state <= IDLE;
           out   <= 0;
         end 
      else
       case (state)
       IDLE     : begin
                     if(seq == 0)  
                       state <= IDLE;  
                     else 
                       state <= S1;
                   out <= 0;
                  end
                      
       S1     : begin
                     if(seq == 0)  
                       state <= S10;  
                     else 
                       state <= S1;
                   out <= 0;
                  end
                      
       S10     : begin
                     if(seq == 0)  
                       state <= IDLE;  
                     else 
                       state <= S101;
                   out <= 0;
                  end
                      
       S101     : begin
                     if(seq == 0)  
                       state <= S10;  
                     else 
                       state <= S1011;
                   out <= 0;
                  end
                      
       S1011     : begin
                     if(seq == 0)  
                       state <= S10110;  
                     else 
                       state <= S1;
                   out <= 0;
                  end
                      
       S10110     : begin
                     if(seq == 0)  
                       state <= IDLE;  
                     else 
                       state <= S101101;
                   out <= 0;
                  end
                      
       S101101     : begin
                     if(seq == 0)  
                       state <= IDLE;  
                     else 
                       state <= S1;
                   out <= 1;
                  end
                      
       default     : begin
                       state <= IDLE;  
                       out <= 0;
                     end
      endcase
endmodule

timescale.v与testbench.v如下：

`timescale 1ns/1ns
`define  halfperiod  20

module t;

reg  clk;
reg  rst_n;
reg  [31:0] data;
reg  seq;

wire out;

initial  begin
  clk     = 0;
  rst_n   = 1;
  data = 32'b1010_1100_1011_0101_1010_1001_1011_0011;
  #5 rst_n = 0;
  #16 rst_n = 1;
  #(`halfperiod * 100) $finish;
 end

always  #(`halfperiod)  clk = ~clk;

always @(posedge clk)
   #2  data <= {data[30:0],data[31]};

assign  seq = data[31];

seq_detector_moore  U(.clk(clk), .rst_n(rst_n), .seq(seq), .out(out) );

initial  begin
 $vcdpluson;
end

endmodule

采用VCS进行仿真，结果如下：

由仿真结果可以看出，当检测到“101101”序列后，moore型状态机没有立刻输出“1”，而是在下一个周期输出“1”。

llxxyy507
关注
专栏目录
Verilog语言实现可重叠序列检测器（10010）（Mealy型和Moore型）
Ed_Lee的博客
05-25 2274
1.Mealy型 输出不仅与当前状态有关，还和输入有关 1.1 代码(三段式) module check_10010( clk, rst_n, din, dout );//Mealy input clk, rst_n, din; output reg dout; reg dout_temp; reg [2:0] current_state, next_state; parameter S0 = 3'b000, S1 = 3'b001, S2 =
verilog序列检测器，序列11010，（mealy状态机和moore状态机）
08-26
本主题聚焦于使用Verilog实现一个序列检测器，特别是针对特定序列“11010”，同时讨论了两种不同类型的状态机：Mealy状态机和Moore状态机，以及它们的不同实现方式。 首先，让我们理解序列检测器的基本功能。序列...
verilog101序列检测器
12-19
101序列检测器的verilog程序，系本人FPGA初学实践，FSM
mealy状态机序列检测器设计
yx
07-04 4931
设计一个序列检测器。要求检测器连续收到串行码1110后，输出检测标志1，否则输出0。 Mealy型状态机输出是由现状态和输入决定。 状态机设计步骤： 1.分析设计要求，列出全部可能状态； 2.画出状态转移图； 3.用Verilog hdl描述状态机，编写testbench验证。 在这里插入代码片 欢迎使用Markdown编辑器 你好！ 这是你第一次使用 Markdown编辑器 所展示的欢迎页。如...
采用有限状态机FSM 计一个101序列检测器,
最新发布
2301_76989860的博客
06-28 259
注意：这个图展示了基本的概念，但在实践中，状态S02在输入0时通常不会立即返回到S0，而是会保持在S02，直到下一个输入确定是否构成"101"。这取决于你如何设计状态机的“记忆”能力。：在实际应用中，从S1直接转移到S101可能不是最佳设计，因为它跳过了S02状态。这取决于你是否需要S02。（1）要设计一个检测连续输入"101"序列的有限状态机（FSM）
1101序列检测器，基于Verilog HDL
weixin_44048021的博客
06-16 3253
基于verilog的1101序列检测器
摩尔状态机序列检测器检测1101序列（Basys3开发板）
2301_78321762的博客
11-27 551
摩尔状态机检测1101序列
序列检测“1101”
qq_43140345的博客
06-20 5162
用状态机检测“1101”序列，当检测到后将o_valid标志信号拉高。考虑序列叠加情况，即“1101101101”将会识别出3个“1101”摩尔型状态机：输出只与当前状态有关，与当前输入无关摩尔型状态机状态定义：IDLE, S_1,S_11,S_110,S_1101摩尔型状态机状态转移图：摩尔型状态机RTL代码: 仿真文件：输入序列11101101011010 仿真波形：米利型状态机：输出不仅当前状态有关，还与当前输入有关米利型状态机状态定义：IDLE, S_1,S_11,S_110米利型状态机状态....
基于cyclone2 (EP2C8Q)设计的有限状态机（Mealy型序列检测器）Verilog源码 quartus 9.0工程
05-10
基于cyclone2 (EP2C8Q)设计的有限状态机（Mealy型序列检测器）Verilog源码 quartus 9.0工程 module SEQ_REC_MEALY ( //Input ports. SYSCLK, RST_B, DI, DI_EN, //Output ports. DO ); //==============...
基于cyclone2 (EP2C8Q)设计的有限状态机（Moore型序列检测器）Verilog源码 quartus 9.0工程
05-10
基于cyclone2 (EP2C8Q)设计的有限状态机（Moore型序列检测器）Verilog源码 quartus 9.0工程 SEQ_REC_MOORE I_SEQ_REC_MOORE ( .SYSCLK (SYSCLK), .RST_B (RST_B), .DI (DI), .DI_EN (DI_EN), .DO (DO) )...
FPGA设计之 使用Moore状态机 设计序列检测器“101001”
02-16
FPGA设计之 使用Moore状态机 设计序列检测器 。该序列检测器将检测序列“101001”，当检测到该序列时...具体的说明 请参考本人博客 《使用Moore状态机和Mealy状态机设计序列检测器 I》 ，详细说明了该资源的具体内容。
序列检测器（1110010）
05-25
本设计使用状态机设计一个二进制序列检测器，其功能是检测一个7位的二进制序列“1110010”，即输入序列如果连续的7位为“1110010”时，输出为1，其他情况下为0。
序列脉冲检测器
11-29
用D触发器或JK触发器和适当门电路设计一个1101的序列脉冲信号检测器。当检测输入1101序列时输出高电平，否则输出低电平
序列1101检测FPGA verilog实现
11-26
序列1101检测FPGA verilog实现，带测试激励。
使用Moore状态机和Mealy状态机设计序列检测器 I
qq_34895681的博客
02-16 1168
有限状态机（FSM）是时序电路设计中经常用到的一种方式，尤其适用于设计数字系统的控制模块，其配合Verilog的case语句尅很好的描述基于状态机的设计。根据输出信号的产生方法的不同，可以将状态机分为 Mealy型和Moore型。简单的来说，Mealy型的输出跟当前的状态以及当前的输入是有关的，而Moore型的输出只跟当前的状态有关系。即 当Moore型的状态机输入有变化时，需要等到时钟的到来，才会使Moore型状态机的输出变化，依赖于时钟的同步。
实验十五 摩尔状态机序列检测器“1101”
qq_480213640的博客
11-22 5574
通过实验，掌握有限状态机的设计方法，并用摩尔状态机设计实现“1101” 序列检测。实现按键消抖处理。
【原创】Verilog编写 “1101 序列检测器
热门推荐
qq_40807206的博客
10-18 1万+
序列检测器是时序数字电路中非常常见的设计之一。它的主要功能是将一个指定的序列从数字码流中识别出来。这里给出一个“1101”序列检测器的Verilog实现和Testbench代码。 ★设计目标：“1101”序列检测器 ★EDA：Quartus 15.0 ★仿真软件：Modelsim 10.1c 本序列检测器共有4个bit位，每个bit占用一个状态，再加上开始和结束状态，故使用格雷码定义6个状态： // 序列检测器 状态编码（格雷码） localparam SEQ_IDLE = 3'b000; lo
用状态机实现101101的序列检测模块，a为输入端，b为输出端，如果检测到a连续输入101101，则b输出脉冲1，否则输出0。请用RTL实现。...
weixin_42609225的博客
02-13 453
以下是 RTL (硬件描述语言) 的代码实现： module seq_detect (a, b); input a; output b; reg b; reg [2:0] state; parameter S0 = 3'b000, S1 = 3'b001, S2 = 3'b010, S3 = 3'b011; parameter S4 = 3'b100, S5 =...
Verilog实现Moore型与Mealy型序列检测器设计
"实验5-状态机设计1" 在本次实验中，主要目的是学习和实践如何设计Moore型和Mealy型...通过完成Moore型和Mealy型状态机的设计，学生将更好地掌握状态机在序列检测等实际问题中的应用，同时增强他们的Verilog编程技能。
评论 6
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值