1 前言
在 前面的博客 CRC校验原理和verilog实现方法(一) 中,介绍了CRC校验的原理和手动计算过程。本文说一下我在学习CRC校验FPGA实现的一点心得体会。
2 线性反馈移位寄存器
线性反馈移位寄存器简称LFSR,用于产生可重复的伪随机序列,也可用来实现CRC校验。LFSR主要由触发器(寄存器)、异或门以及反馈线路组成。
已知多项式,其中gn~g0 是系数,g0取值为1,其他系数可以是0或1。该多项式用二进制表示为,用LFSR表示为:
或者表示为:
第一种表示法为伽罗瓦LFSR,第二种表示法叫斐波那契LFSR。
可以看出,对于一个n次多项式,可以使用n-1个移位寄存器和最多n-2个异或门实现。LFSR可以实现模二除法。
3 模2除法与LFSR
把被除数的数据,从第一个寄存器的输入端接入,就可以实现模二运算。
对于一个n次多项式,可以使用n-1个移位寄存器,和最多n-1个异或门,实现模二运算。
假如被除数是2位的数据S[1:0]=01b,多项式是10011b。在CRC校验里面,习惯省略最高位的1,多项式用0011b表示。那么S除以0011b的模二运算数字电路结构为:
其中d1~d4是寄存器输入;q1~q4是寄存器输出。寄存器需要赋初值,一般赋全1或全0。
下面对模二运算的逻辑表达式进行推导。
首先MSB参与计算,此时:
d1=S[1]^q4;
d2= S[1]^q1^q4;
d3=q2;
d4=q3。
经过一次移位后:
q1=d1= S[1]^q4;
q2= d2= S[1]^q1^q4;
q3= d3=q2;
q4= d4=q3。
此时有:
d1=S[0]^q3;
d2= S[0]^ S[1]^q4^q3;
d3= S[1]^q1^q4;
d4= q2。
令c[3:0]={q4,q3,q2,q1},d[3:0]={d4,d3,d2,d1},那么d就是最终的运算结果表达式,如下
d[3]=c[1];
d[2]= S[1]^c[0]^c[3];
d[1]= S[0]^ S[1]^ c[3]^ c[2];
d[0]= S[0]^ c[2]。
令c的初值为0,则01b对0011b的模二除法的余数为0011。
与手动计算进行对比,结果一致。
上述的被除数S可以换成任意位宽,推导过程一样,当然S位宽越大,推导越复杂,最终的逻辑表达式也越复杂。
上面的逻辑表达式,用verilog异或逻辑门很容易实现。
4 CRC校验的verilog实现
知道如何用verilog实现模二除法,CRC校验的实现就很容易了。但是CRC校验模型一般会有一些特定要求,如输入输出翻转、CRC寄存器初始值等。下一篇博客继续分享。
参考链接:
1、 https://blog.csdn.net/qq_44113393/article/details/89852994