最详细的“CRC码原理详解”

垮掉一代

已于 2024-09-04 16:53:19 修改

阅读量9k

点赞数 20

分类专栏：通信文章标签：信息与通信信号处理

于 2022-11-14 18:21:13 首次发布

本文链接：https://blog.csdn.net/qq_37708525/article/details/127843036

版权

通信专栏收录该内容

3 篇文章 3 订阅

订阅专栏

前言

CRC校验原理可能看起比较麻烦，但实际用起来却很简单，几行代码就可以实现CRC算法。

介绍

CRC码即循环冗余校验码（Cyclic Redundancy Check）是数据通信领域中最常用的一种查错校验码，其特征是数据字段和校验字段的长度可以任意选定。

基本原理

CRC码中数据总长度为n，其中原始数据长度为k，CRC校验码长度为r，即n=k+r。

将原始数据（如：1110010）+CRC校验码（如：101）组成新的数据（如：1110010101），发送到接收端。

其中，CRC校验码由CRC多项式（如：f(x) = x^3 + 1）和原始数据（1110010）通过模2除法运算（即：两个数直接进行异或运算，不借位和进位）得到（下节将会举例说明）。

同理，接收端同样通过接收到的数据（1110010101）和CRC多项式（如：f(x) = x^3 + 1）通过模2除法运算，判断接收到的数据是否正确（下节将会举例说明）。

如下所示，假设1110010101与1001进行模2除法运算（一一异或）：

CRC原理举例说明

假设生成CRC码的多项式为G(x) = x^4 + x + 1，求出二进制序列1011的CRC校验码。具体的计算过程如下：

s1:将多项式转化成二进制数

多项式G(x) = x^4 + x + 1，对应的二进制数据为5-bit（总位数=最高位的幂次+1，即4+1=5），且二进制数据为：10011，即G(x) = 1*x^4 + 0*x^3 + 0*x^2 + 1*x^1 + 1*x^0（注：具体推导过程，我也不清楚）。

多项式的二进制位数为5-bit，则CRC校验码的位数为4-bit（校验码的位数比生成多项式的位数少1位）。

s2：计算得到CRC码

在原始数据1011的后面增加4个0（即：增加的位数与CRC位数一致），得到10110000，接着将数据10110000与多项式对应的二进制数据（10011），进行模2除法运算，如下所示：

得到的余数“1110”，为对应的4-bit CRC校验码。因此，发送端需要送的数据为“10111110”。

s3：接收端判断数据是否正确

当接收端，收到数据“10111110”后，与多项式G(x) = x^4 + x + 1对应的二进制“10011”，做模2除法运算。

如果得到的余数为0，则证明数据传输没有问题；反之，则说明数据传输有问题，计算如下所示：

常见的CRC多项式参数模型

在上节中，说明了CRC码的计算原理，但在实际应用中，那只是其中的一个关键步骤。

不同的多项式参数模型（G(x)），需要根据其初始参数来计算其CRC校验码。常见的CRC多项式参数模型如下表所示：

CRC算法名称	多项式公式	宽度 (WIDTH)	多项式 (POLY)	初始值 (INIT)	结果异或值 (XOROUT)	输入反转 (REFIN)	输出反转 (REFOUT)
CRC-4/ITU	x4 + x + 1	4	03	00	00	TRUE	TRUE
CRC-5/EPC	x5 + x3 + 1	5	09	09	00	FALSE	FALSE
CRC-5/ITU	x5 + x4 + x2 + 1	5	15	00	00	TRUE	TRUE
CRC-5/USB	x5 + x2 + 1	5	05	1F	1F	TRUE	TRUE
CRC-6/ITU	x6 + x + 1	6	03	00	00	TRUE	TRUE
CRC-7/MMC	x7 + x3 + 1	7	09	00	00	FALSE	FALSE
CRC-8	x8 + x2 + x + 1	8	07	00	00	FALSE	FALSE
CRC-8/ITU	x8 + x2 + x + 1	8	07	00	55	FALSE	FALSE
CRC-8/ROHC	x8 + x2 + x + 1	8	07	FF	00	TRUE	TRUE
CRC-8/MAXIM	x8 + x5 + x4 + 1	8	31	00	00	TRUE	TRUE
CRC-16/IBM	x16 + x15 + x2 + 1	16	8005	0000	0000	TRUE	TRUE
CRC-16/MAXIM	x16 + x15 + x2 + 1	16	8005	0000	FFFF	TRUE	TRUE
CRC-16/USB	x16 + x15 + x2 + 1	16	8005	FFFF	FFFF	TRUE	TRUE
CRC-16/MODBUS	x16 + x15 + x2 + 1	16	8005	FFFF	0000	TRUE	TRUE
CRC-16/CCITT	x16 + x12 + x5 + 1	16	1021	0000	0000	TRUE	TRUE
CRC-16/CCITT-FALSE	x16 + x12 + x5 + 1	16	1021	FFFF	0000	FALSE	FALSE
CRC-16/X25	x16 + x12 + x5 + 1	16	1021	FFFF	FFFF	TRUE	TRUE
CRC-16/XMODEM	x16 + x12 + x5 + 1	16	1021	0000	0000	FALSE	FALSE
CRC-16/DNP	x16 + x13 + x12 + x11 + x10 + x8 + x6 + x5 + x2 + 1	16	3D65	0000	FFFF	TRUE	TRUE
CRC-32	x32 + x26 + x23 + x22 + x16 + x12 + x11 + x10 + x8 + x7 + x5 + x4 + x2 + x + 1	32	04C11DB7	FFFFFFFF	FFFFFFFF	TRUE	TRUE
CRC-32/MPEG-2	x32 + x26 + x23 + x22 + x16 + x12 + x11 + x10 + x8 + x7 + x5 + x4 + x2 + x + 1	32	04C11DB7	FFFFFFFF	00000000	FALSE	FALSE

CRC模型计算举例

假设，原始数据0100 0011（注：原始数据必须是以字节为单位），采用CRC-5/USB（G(x) = x^5 + x^2 + 1）多项式。

s1：根据CRC-5/USB多项式，得到除数二进制：100101

s2：由于REFIN=TRUE，需要翻转输入数据：0100 0011 -> 1100 0010

s3：由于INIT=0x1F为全1，需要对s2中数据的前CRC位数（高位）（即5-bit）和CRC初值进行异

或，得到数据：1100 0010 -> 0011 1010

s4：将s3中的数据的最低位补5位0，得到数据：0011 1010 00000

s5：将s4中的数据与多项式二进制（100101），进行模2除法运算，得到余数：01100

s6：由于REFOUT=TRUE，需要将s5中的结果（01100）进行翻转，得到数据：01100 -> 00110

s7：最后，s6中的值与XOROUT=0x1F进行异或，得到最终的CRC值：11001

最后，在CRC在线计算器上，验证结果是正确的：

代码实现

以多项式为G(x) = x8 + x6 + x5 + x + 1的crc8为例，如下所示：

function bit [7:0] crc8_cal(bit [(size-1):0] data, bit [31:0] size, crc_init = 8'h0, bit data_swap, bit crc_swap);
    bit [7:0] crc_out, crc_tmp;
    bit feedback;
    bit sdata;

    crc_tmp = crc_init;
    for (int i=0; i<size; i++) begin
        sdata = data_swap ? data[size-1-i] : data[i]
        begin
            feadback = crc_tmp [7]^sdata;
            crc_out = crc_tmp << 1;
            crc_out[0] = feedback;
            crc_out[1] = feedback^crc_tmp [0];        
            crc_out[5] = feedback^crc_tmp [4];
            crc_out[6] = feedback^crc_tmp [5];
        end
        crc_tmp = crc_out；   
    end

    crc8_cal = crc_swap ? swap(crc_out) : crc_out;
endfunction

crc4/crc16等校验都是同样的原理。