【数字IC/FPGA】手撕代码:模3检测器(判断输入序列能否被3整除)

2024-04-01 11:12

本文主要是介绍【数字IC/FPGA】手撕代码:模3检测器(判断输入序列能否被3整除),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

今天我们来手撕一个常见的笔试题,使用的方法是三段式Moore状态机。

题目描述:

输入端口是串行的1bit数据,每个时钟周期进来一位新数据后,实时检查当前序列是否能整除3,若能则输出1,否则输出0。

例如,在4个时钟周期依次输入的数据为1、1、0、1。则有:

​T1:数据序列为1(10进制的1),不能为3整除,所以输出flag = 0;

​T2:数据序列为11(10进制的3),能为3整除,所以输出flag = 1;

​T3:数据序列为110(10进制的6),能为3整除,所以输出flag = 1;

​T4:数据序列为1101(10进制的13),不能为3整除,所以输出flag = 0;

接着简单分析一下题目。一个整数被3除后的余数情况只有3种:

  • 余数为0
  • 余数为1
  • 余数为2

假设当前序列表示的数是num,它除3的商为a,余数为b, 则这个数num可以这么表示:

num = 3a + b

因为每个时钟周期新进来的数都是放入数据序列的最低位,其他位则是往左移1位,而左移一位等价于乘以2,再加上新进来的数c(c要么是0、要么是1)后,那么每个新的周期都有新序列:

新的序列 num_n = num * 2 + c

例如,前3个周期分别输入数据1、1、0,则有 110 即 6 = 3 * 2 + 0 (商a=2、余b=0);在T4时刻输入1,则1101即13 = 6 * 2 + 1(旧的num = 6,新的输入c = 1 )。

知道这些后可以对3种余数情况来分别进行讨论:

(1)余数为0的情况,也就是数据可以表示为 num = 3a + b = 3a + 0

  • 新的输入为0,则新的序列为num_n = 2*num + 0 = 6*a,说明此时可以被3整除
  • 新的输入为1,则新的序列为num_n = 2*num + 1 = 6*a + 1,说明此时不可以被3整除,余数为1

(2)余数为1的情况,也就是数据可以表示为 num = 3a + b = 3a + 1

  • 新的输入为0,则新的序列为num_n = 2*num + 0 = 6*a + 2,说明此时不可以被3整除,余数为2
  • 新的输入为1,则新的序列为num_n = 2*num + 1 = 6*a + 3,说明此时可以被3整除

(3)余数为2的情况,也就是数据可以表示为 num = 3a + b = 3a + 2

  • 新的输入为0,则新的序列为num_n = 2*num + 0 = 6*a + 4,说明此时不可以被3整除,余数为1
  • 新的输入为1,则新的序列为num_n = 2*num + 1 = 6*a + 5,说明此时不可以被3整除,余数为2

把这些情况划分为不同的状态,状态之间的跳转参考上面的分析。一共划分4个状态,分别是:

  • IDLE:初始状态,状态跳转条件同S3,但是该状态不会输出有效信号
  • S1:余数为1的状态,该状态不会输出有效信号
  • S2:余数为2的状态,该状态不会输出有效信号
  • S3:余数为0的状态,此时拉高有效信号flag

状态跳转图如下:

image-20240401075657920

有了这些信息后,Moore型的三段式状态机也很容易写了:

//串行输入数据,实时输出当前数据能否被3整除。
//新的输入为低位,之前输入为高位。例如依次输入1、0,则视为10,而非01
module test(input       clk,input       rst,		input       in,		//串行输入output  reg	flag	//输入能被3整除时输出1,其他0
);//定义状态寄存器
reg [1:0] state_cur;	
reg [1:0] state_next;//参数化状态变量
localparam	IDLE = 2'b00;
localparam	S1	 = 2'b01;
localparam	S2	 = 2'b10;
localparam	S3	 = 2'b11;//三段式状态机的状态变化 
always@(posedge clk) beginif(rst) state_cur <= IDLE;else state_cur <= state_next;
end//三段式状态机的状态转移条件
always@(*)beginif(rst) state_next = IDLE;else begincase(state_cur)IDLE: state_next = in ? S1 : S3; S1	: state_next = in ? S3 : S2; 				S2	: state_next = in ? S2 : S1; S3	: state_next = in ? S1 : S3;default:state_next = IDLE;endcaseend
end//三段式状态机的输出
always@(posedge clk) beginif(rst) flag <= 0;else begincase(state_next)S3: 	 flag <= 1'b1;default: flag <= 1'b0;endcaseend 
endendmodule 

再写个TB来测试一下模块的正确性,测试逻辑是这样的:

复位完成后,在每个时钟周期随机生成1bit输入,在TB内根据每个周期的输入实时生成数据num来统计所有的串行输入的值,比如前4个周期依次生成输入1、1、0、1,则num的值分别为1、11、110、1101,即10进制的1、3、6、12。

每个周期都用%运算符(TB文件不用考虑能否综合的问题)来对num取模,并将取模结果与被测模块的结果做比较,若二者有误,则拉高错误标志error;否则不拉高error。

`timescale 1ns/1nsmodule tb_test();reg		clk;
reg		rst;
reg		in;
wire	flag;reg [127:0] num;		//记录输入数据的数值大小
reg			error;		//错误标志
wire [1:0]	rem;			//除3的余数assign rem = (num % 3);//生成时钟信号,周期10ns
initial beginclk = 1'b1;forever #5	clk = ~clk;
end//生成高电平有效的同步复位信号,持续3个周期
initial beginrst = 1;#30rst <= 0;
endalways@(posedge clk) beginif(rst)begin in <= 0;num <= 0;error <= 0;endelse beginin <= #1 $random & $random;		//输入是随机的0或1num <= (num << 1) + in;			//依次左移并加上最新的输入来统计数据大小if((rem == 2'd0) != flag)begin	//如果二者有误$display("ERROR %d",num);error = 1;end	else 	error = 0; end
endinitial begin#300 $stop();	//一段时间后结束仿真
end//例化被测试模块
test	inst_test(.clk	(clk	),.rst	(rst	),	.in		(in		),.flag	(flag	)
);endmodule

仿真结果如下:

image-20240329163856082

可见,串行输入分别为00110100010,分别对应10进制数据0、0、1、3、6、13、26、52、104、208、417、834,在输入序列分别为10进制的0、0、3、6、417、834时输出flag为高,说明这些数据能被3整除。

需要额外说明的有两点:

  • 输出采用了时序逻辑,所以会慢一拍。例如在输入为0011的下一拍,flag才拉高。
  • 尽管error在最一开始被拉高了一次,但并不说明模块功能发生了错误。error拉高的原因是因为在初始状态时,flag没有设计被拉高,但此时的数据值在TB中被视为0,也就是意味着在TB中是可以被3整除的,这就造成了二者的出入。这个情况忽略掉就行。

这篇关于【数字IC/FPGA】手撕代码:模3检测器(判断输入序列能否被3整除)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/867016

相关文章

从去中心化到智能化:Web3如何与AI共同塑造数字生态

在数字时代的演进中,Web3和人工智能(AI)正成为塑造未来互联网的两大核心力量。Web3的去中心化理念与AI的智能化技术,正相互交织,共同推动数字生态的变革。本文将探讨Web3与AI的融合如何改变数字世界,并展望这一新兴组合如何重塑我们的在线体验。 Web3的去中心化愿景 Web3代表了互联网的第三代发展,它基于去中心化的区块链技术,旨在创建一个开放、透明且用户主导的数字生态。不同于传统

活用c4d官方开发文档查询代码

当你问AI助手比如豆包,如何用python禁止掉xpresso标签时候,它会提示到 这时候要用到两个东西。https://developers.maxon.net/论坛搜索和开发文档 比如这里我就在官方找到正确的id描述 然后我就把参数标签换过来

usaco 1.2 Name That Number(数字字母转化)

巧妙的利用code[b[0]-'A'] 将字符ABC...Z转换为数字 需要注意的是重新开一个数组 c [ ] 存储字符串 应人为的在末尾附上 ‘ \ 0 ’ 详见代码: /*ID: who jayLANG: C++TASK: namenum*/#include<stdio.h>#include<string.h>int main(){FILE *fin = fopen (

poj 3259 uva 558 Wormholes(bellman最短路负权回路判断)

poj 3259: 题意:John的农场里n块地,m条路连接两块地,w个虫洞,虫洞是一条单向路,不但会把你传送到目的地,而且时间会倒退Ts。 任务是求你会不会在从某块地出发后又回来,看到了离开之前的自己。 判断树中是否存在负权回路就ok了。 bellman代码: #include<stdio.h>const int MaxN = 501;//农场数const int

poj 1258 Agri-Net(最小生成树模板代码)

感觉用这题来当模板更适合。 题意就是给你邻接矩阵求最小生成树啦。~ prim代码:效率很高。172k...0ms。 #include<stdio.h>#include<algorithm>using namespace std;const int MaxN = 101;const int INF = 0x3f3f3f3f;int g[MaxN][MaxN];int n

【测试】输入正确用户名和密码,点击登录没有响应的可能性原因

目录 一、前端问题 1. 界面交互问题 2. 输入数据校验问题 二、网络问题 1. 网络连接中断 2. 代理设置问题 三、后端问题 1. 服务器故障 2. 数据库问题 3. 权限问题: 四、其他问题 1. 缓存问题 2. 第三方服务问题 3. 配置问题 一、前端问题 1. 界面交互问题 登录按钮的点击事件未正确绑定,导致点击后无法触发登录操作。 页面可能存在

uva 10131 最长子序列

题意: 给大象的体重和智商,求体重按从大到小,智商从高到低的最长子序列,并输出路径。 代码: #include <iostream>#include <cstdio>#include <cstdlib>#include <algorithm>#include <cstring>#include <cmath>#include <stack>#include <vect

计算机毕业设计 大学志愿填报系统 Java+SpringBoot+Vue 前后端分离 文档报告 代码讲解 安装调试

🍊作者:计算机编程-吉哥 🍊简介:专业从事JavaWeb程序开发,微信小程序开发,定制化项目、 源码、代码讲解、文档撰写、ppt制作。做自己喜欢的事,生活就是快乐的。 🍊心愿:点赞 👍 收藏 ⭐评论 📝 🍅 文末获取源码联系 👇🏻 精彩专栏推荐订阅 👇🏻 不然下次找不到哟~Java毕业设计项目~热门选题推荐《1000套》 目录 1.技术选型 2.开发工具 3.功能

zoj 1721 判断2条线段(完全)相交

给出起点,终点,与一些障碍线段。 求起点到终点的最短路。 枚举2点的距离,然后最短路。 2点可达条件:没有线段与这2点所构成的线段(完全)相交。 const double eps = 1e-8 ;double add(double x , double y){if(fabs(x+y) < eps*(fabs(x) + fabs(y))) return 0 ;return x + y ;

POJ1269 判断2条直线的位置关系

题目大意:给两个点能够确定一条直线,题目给出两条直线(由4个点确定),要求判断出这两条直线的关系:平行,同线,相交。如果相交还要求出交点坐标。 解题思路: 先判断两条直线p1p2, q1q2是否共线, 如果不是,再判断 直线 是否平行, 如果还不是, 则两直线相交。  判断共线:  p1p2q1 共线 且 p1p2q2 共线 ,共线用叉乘为 0  来判断,  判断 平行:  p1p