CRC16生成和校验

Question

我正在尝试理解(并随后实现)clean flight quadrocopter 固件为 srxl 包验证采用的 crc16 验证。

SRXL 是一种简单的串行协议(protocol)，用于通过单条串行线传输伺服值。

包结构是这样的:

crc16 由以下函数验证:

//srxlFrameLength is the package length
//srxlFrame is the received package buffer
uint16_t crc_calc = 0; 
for (i = 0; i < srxlFrameLength; i++) {
    crc_calc =  crc16_CCITT(crc_calc, srxlFrame[i]);
}
if(crcCalc == 0){ //package is valid }

我不明白这是怎么回事。如果我要实现这个，我会为包的所有字节迭代计算 crc，直到我到达保存的 crc，然后与保存的 crc 进行比较。为什么这个实现也有效？

我还想为发件人端实现一个包生成器代码。是否可以像这样实现 crc 生成:

uint16_t crc_calc = 0;     
for(int i = 0; i < packetLength; ++i){
     crc_calc = crc16_CCITT(crc_calc, packet[i]);
}
//concat calculated crc16 to packet here.

提前致谢

麦芽糖

Answer 1

如果 CRC 正确存储在消息的末尾，则它具有消息的 CRC 和串联的 CRC 是常数的属性，假设没有错误。根据 CRC 的定义，该常量可以为零。

原因是 CRC 本质上是消息时间 xⁿ 的多项式除法的余数，其中 n 是 CRC以位为单位的长度。因此，当您将 CRC 添加到消息中时，您将用余数替换最后的 n 个零，从而导致整个除法没有余数。 (请注意，二元多项式的负数就是该多项式，因为与自身的异或为零。)

是的，如果您愿意，您可以只计算消息的 CRC，然后将结果与附加到消息的 CRC 进行比较。