以8位并行数据为例确定crc-32的一般矩阵表示形式
在进行数据校验时我们会使用到crc（循环冗余校验）校验的方式，例如在以太网通信网络中会对信息进行编码和校验，生成码采用的就是33位的
crc-32：x32+x26+x23+...+x2+x+1; (104c11db7)。循环冗余校验码的计算是模2的除法运算。模2指的是运算的时候不进行借位和进位的操作。可以用下面的例子来说明。假如信息码为11011，生成码为101（2+1）则校验码的计算过程是
先把信息码左移两位（二进制），得1101100。
然后通过异或操作
1101100
101
---------
111100
101
---------
010100
101
--------
00000
这个计算结果为00
假如信信息码为1100时，余码就是01
110000
101
----
010000
101
--------
00100
101
------
001
所以根据上面的运算可以得出任何信息码的余码。
一般使用线性反馈移位寄存器LFSR或(LFSR2)来进行物理实现。这两种方式结构如下：
本篇文章我使用的是LFSR2结构，假如使用LFSR结构需要在先输入n位的0（n是冗余码的位数）。为简单起见推导过程使用的4位信息码，8位的冗余码，生成式为P={p7,p6,p5,p4,p3,p2,p1,p0},初始余码为X0={x0(7),x0(6),x0(5),x0(4),x0(3),x0(2),x0(1),x0(0)}。输入数据D={d3,d2,d1,d0}；
则当输入一位d3时表达式；+表示异或
x1(7)=x0(6)+p7(x0(7)+d3)=p7x0(7)+x0(6)+p7d3;
x1(6)=x0(5)+p6(x0(7)+d3)=p6x0(7)+x0(5)+p6d3;
x1(5)=x0(4)+p5(x0(7)+d3)=p5x0(7)+x0(4)+p5d3;
x1(4)=x0(3)+p4(x0(7)+d3)=p4x0(7)+x0(3)+p4d3;
x1(3)=x0(2)+p3(x0(7)+d3)=p3x0(7)+x0(2)+p3d3;
x1(2)=x0(1)+p2(x0(7)+d3)=p2x0(7)+x0(1)+p2d3;
x1(1)=x0(0)+p1(x0(7)+d3)=p1x0(7)+x0(0)+p1d3;
x1(0)=p0(x0(7)+d3)=p0x0(7)+p0d3;
X1'=FX0'+P'd3;其中
F={ p7,1,0,0,0,0,0,0
p6,0,1,0,0,0,0,0
p5,0,0,1,0,0,0,0
p4,0,0,0,1,0,0,0
p3,0,0,0,0,1,0,0
p2,0,0,0,0,0,1,0
p1,0,0,0,0,0,0,1
p0,0,0,0,0,0,0,0}
同样可以得X2'=FX1'+P'd2;
X3'=FX2'+P'd1;
X4'=FX3'+P'd0;
进而得X4'=F*F*F*F*X0+{F*F*F*P',F*F*P',F*P',P'}*D';
所以输入四位数据时最后余码的状态与初始的状态有关。
对于任意的n位并行信息码Xn=Fn*X0+{F(n-1)p'.....p'}D'。
下面是用表格对8位信息码，32位余码，生成码为0x04c11db7;
参考Excel表格。最后的结果为（左边为低位x0~x31）
以下为在verilog中的验证代码：
module arc_8(input clk,output reg [:] crc);
reg [:]count=;
reg [:] fcs_temp,datatemp2;
reg [:] R ;
reg[:] step=;
reg [:]data_count=;
reg [:] num=;
reg on=;
reg [:] datatemp;
always@(posedge clk)
begin
case(step)
:begin if(on) step<=;else step<=;R<=;end
:begin
if(data_count<)begin // 主要是第一个循环0x60e84e34,验证的结果应该为0x7db9cbc8
case(num)
:begin datatemp<='h60;num<=1;on<=1;end
:begin datatemp <='he8;num<=2;end
:begin datatemp<='h4e;num<=3;end
:begin datatemp<='h34;num<=0;data_count<=data_count+1;end
endcase
step<=;end
else begin on<=; step<=;end end
:begin step<=;
//
fcs_temp[]<=R[]^R[];
//
fcs_temp[]<=R[]^ R[]^R[];
//
fcs_temp[]<=R[]^ R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<= R[]^R[]^R[]^ R[]^ R[];
//
fcs_temp[]<=R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[];
//
fcs_temp[]<=R[]^R[];
//
fcs_temp[]<=R[]^ R[];
//
fcs_temp[]<=R[]^R[]^ R[];
//
fcs_temp[]<=R[]^ R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^ R[]^ R[]^ R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[ ]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[]^R[]^R[];
//
fcs_temp[]<=R[]^R[];end :begin step<=;
datatemp2[]<=datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ];
datatemp2[]<=datatemp[ ];
datatemp2[]<=datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ]^datatemp[ ]^datatemp[ ];
datatemp2[]<=datatemp[ ]^datatemp[ ];end :begin R<=fcs_temp^datatemp2; step<=;end
:begin step<=;crc<=~R;end
endcase
end
endmodule
modelsim 中显示结果
以8位并行数据为例确定crc-32的一般矩阵表示形式的更多相关文章
- openstack安装系列问题：window7 64位安装的virtualBox 只能选择32位的系统安装不能选择64位的系统安装
个人原创,转载请注明作者,出处,否则依法追究法律责任 2017-10-03-12:22:22 现象:window7 64位安装的virtualBox 只能选择32位的系统安装不能选择64位的系统安装 ...
- win7 32位支持多大内存|win7 32位旗舰版最多能识别多少内存
win7 32位支持多大内存|win7 32位旗舰版最多能识别多少内存 内存的大小决定系统运行速度,所以不少人认为只要内存加大就行了,其实这是不对的,因为win7 32位能支持的内存大小是有限制的,并 ...
- 统计一个16位二进制数中1的个数，并将结果以十六进制形式显示在屏幕上，用COM格式实现。
问题 统计一个16位二进制数中1的个数,并将结果以十六进制形式显示在屏幕上,用COM格式实现. 代码 code segment assume cs:code org 100h main proc ne ...
- 【C语言】字节对齐问题（以32位系统为例）
1. 什么是对齐? 现代计算机中内存空间都是按照字节(byte)划分的,从理论上讲似乎对任何类型的变量的访问可以从任何地址开始,但实际情况是在访问特定变量的时候经常在特定的内存地址访问,这就需要各类型 ...
- C/C++中浮点数格式学习——以IEEE75432位单精度为例
这是浮点数的通常表示形式,在IEEE754中,单精度浮点数有如下形式: 位单精度 个比特存储. 位长 至23偏正值(实际的指数大小+127) 至0位编号(从右边开始为0) S为符号位,Exp为指数字, ...
- 各种15min（启动、横盘、破位）样例
15min-m20=day m1.5 15min-m60=day m5 15min-m125=day m10 15min-m260=day m20 1.2017年6月8日 360 + 2018年11 ...
- Ubuntu 14.04（32位）安装Oracle 11g（32位）全过程
1.将系统更新到最新:sudo apt-get updatesudo apt-get dist-upgrade2.安装Oracle所需的依赖包:sudo apt-get install automak ...
- 64位系统里的IIS运行32位ODP.NET的方法
在64位Win7里的IIS里部署使用了ODP.NET的网站,Oracle的版本是11.20.3.20.直接部署会提示错误:在64位环境里使用了32位的程序.自己折腾了两天,最后才从别人的博客里找到解决 ...
- 关于oracle 11g 64位与 32位的 plsql、及其他32位应用程序共存的问题
因为 plsql 不支持 64位 oracle 客户端,所以plsql 必须使用 oracle 的 32位 instanclient 包. 解压缩后放一个目录,例如: D:\Oracle\insta ...
随机推荐
- scratch少儿编程第一季——07、人要衣装佛靠金装——外观模块
各位小伙伴大家好: 上期我们学习了如何设置背景,和设计一个小项目总结了动作模块. 本期开始我们学习外观模块下的指令. 首先我们来看看前面两个指令 第一个指令是在角色对象上出现一个对话框,显示角色所说的 ...
- MySQL 5.7 多源复制实践
多源复制使用场景 数据分析部门会需要各个业务部门的部分数据做数据分析,这个时候就可以用到多源复制把各个主数据库的数据复制到统一的数据库中. 在从服务器进行数据汇总,如果我们的主服务器进行了分库分表的操 ...
- 音视频入门-01-认识RGB
* 音视频入门文章目录 * RGB 简介 RGB 色彩模式是工业界的一种颜色标准,是通过对红(R).绿(G).蓝(B)三个颜色通道的变化以及它们相互之间的叠加来得到各式各样的颜色的,RGB 即是代表红 ...
- sql 触发器里，发生错误，回滚提示错误语句
SET @msg='错误消息'; RAISERROR(@msg, 16, 1); ROLLBACK TRANSACTION; ...
- 为什么领域模型对于架构师如此重要？ https://blog.csdn.net/qq_40741855/article/details/84835212
为什么领域模型对于架构师如此重要? https://blog.csdn.net/qq_40741855/article/details/84835212 2018年12月05日 14:30:19 绝圣 ...
- Python TCP通信之仿文件下载
TCP_文件下载_Client.py import socket def main(): # 创建TCP套接字 tcp_socket = socket.socket(socket.AF_INET, s ...
- 使用jMeter对基于SAP ID service进行Authentication的Restful API进行并发测试
这篇文章本来Jerry只在SAP社区上写了英文版的,可以通过点击文末的"阅读原文"获得.后来有两位做Marketing Cloud开发的德国同事,写邮件询问关于文章的更多细节,声称 ...
- 如何用SAP WebIDE的Fiori创建向导基于ABAP OData service快速创建UI5应用
如果我们手上已经有可以正常工作的OData服务,无论位于ABAP on-premise系统还是public上的internet OData service,都可以用SAP WebIDE里的Fiori创 ...
- 转：IDEA中如何使用debug调试项目 一步一步详细教程
原文链接:http://www.yxlzone.top/show_blog_details_by_id?id=2bf6fd4688e44a7eb560f8db233ef5f7 在现在的开发中,我们经常 ...
- MySQL无法启动问题解决Warning: World-writable config file ‘/etc/my.cnf’ is ignored
今天重启一台内网服务器,发现mysql无法正常重启,执行systemctl start mysql,报错如下 Starting LSB: start and stop MySQL... Dec 11 ...