以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 ...
随机推荐
- electron窗口相关操作(放大缩小退出,可拖动,可resize等)
如下是对窗口最大化,最小化等相关操作: import { ipcMain, ipcRenderer, remote } from 'electron' import is from 'electron ...
- git 去除版本控制
git会进入当前文件目录, 然后执行如下命令: find . -name ".git" | xargs rm -Rf 该项目就会去除git的版本控制了.再修改的话也不会影响git的 ...
- 怎样手写一个Object.create()方法
Object.create()会将参数对象作为一个新创建的空对象的原型, 并返回这个空对象, 基于这个功能, 就有了下面这个Object.create()的手动实现: function _create ...
- js 三级联动
<!DOCTYPE html> <html> <head> <meta charset="utf-8"> <meta http ...
- 学习C#自作计算器,菜鸟初学,有大神的指点,希望做的不够好的地方请大家多多指导。同时希望非常无聊的大神能加些其它计算进去
可以做幂运算,根号运算,十进制与二进制互转,16进制与十进制互转 namespace WindowsFormsApplication15 { public partial class 祥哥计算器 : ...
- 英特尔vPro博锐技术激活
英特尔vPro博锐技术激活 参考: Intel官方Management Engine BIOS Extension (Intel®MEBX)手册:http://www.intel.com/conten ...
- Intellij IDEA 快捷键大全【转】
IntelliJ Idea 常用快捷键列表 Ctrl+Shift + Enter,语句完成 “!”,否定完成,输入表达式时按 “!”键 Ctrl+E,最近的文件 Ctrl+Shift+E,最近更改的文 ...
- maven项目打包和编译跳过单元测试和javadoc
代码中可能由于单元测试.注释(方法中的参数)或者maven javadoc插件的问题导致无法打包,影响工作,为避免这两种情况可以在打包时输入命令: mvn clean install -Dmaven. ...
- default(Nullable(type)) vs default(type)
default(Nullable<long>) == null default(long?) == null default(long) == 0L
- mongoose整理笔记
一:参考学习网址 npm: https://www.npmjs.com/package/mongoose 官网API:http://mongoosejs.com/docs/guide.html 二:在 ...