循环冗余校验码，即Cyclic Redundancy Check (CRC), 是一种在各种和哈希函数类似凯发娱真人官方，具体来说，其对任意长度的数据计算出一段唯一的标识（校验和）, 然后根据这个标识来判断该数据在传输过程中是否发生变化。

　　CRC检错码在实际生活中有着广泛的应用，诸如网络通信，存储系统等场景下都需要CRC来保证数据传输的正确性。而不同的应用场景往往需要采用不同的CRC配置参数，同时对计算的性能也有不同的需求。例如凯发娱真人官方，在基于Ethernet协议的网络传输中需要采用IEEE802-3协议所规定的CRC参数，同时需要高吞吐率的CRC实现以和网络带宽相匹配。

　　对于一个具体的通信系统，CRC既可以通过软件编程也可以硬件电路的形态来实现。相较于网络上丰富的软件库，开源的CRC硬件实现却相对落后，尤其是面向高性能的应用场景。例如，下述链接都提供了参数可配置的CRC硬件电路生成器，但这些实现方式都是直接将CRC算法映射到组合逻辑电路上，这往往会导致较长的组合逻辑延时进而降低电路的整体工作频率，无法满足高吞吐率的需求。

　　而另外一些开源的电路实现虽然引入了流水线技术对时序进行优化凯发娱真人官方，但其实现只针对某一特定的CRC配置参数，应用场景相对有限：

　　针对现有CRC开源硬件实现的不足，blue-crc项目基于Bluespec SystemVerilog硬件描述语言实现了一个参数可配置同时满足高吞吐率需求的CRC硬件电路生成器。blue-crc在架构和功能上的具体特点包括:

　　下文将分别从算法和架构两个方面介绍blue-crc背后的实现原理及其具体的使用方式。

　　生成CRC校验和本质上是在计算基于多项式的模2除法。将原始数据每个比特所确定的多项式除以一个通信双方规定好的生成多项式，得到的余数即为校验和。生成CRC校验值算法的详细定义如下:对于m-bit原始数据

　　若需要生成n-bit的CRC校验值, 则通信双方需要规定一个 (n+1)-bit的生成多项式:

　　则原始数据的CRC校验值为多项式A(x)乘上x^n 后除以G(x)得到的余数，具体表达式为：

　　生成的CRC校验值附加在原始数据的尾部后传输至接收端, 即实际发出的数据为

　　基于CRC的生成原理凯发娱真人官方，数据接收端可以采用两种不同的方式完成校验: 1) 提取出附加在发送数据尾部的校验值后生成新的CRC校验值，将该值与提取出的进行比较，如果二者相同则表明数据在传输过程中没有出错；2）由于校验值为除法运算中得到的余数，这就意味着附加上检验值后的发送数据可被生成多项式整除，因此也可以直接对接收数据进行模2除法，若得到的余数为0则表明数据传输成功。

　　在基于多项式的模2算术运算中，变量的取值范围只有0和1，且运算过程不存在进位或借位。因此，加减法都可以视为异或运算, 而乘除法可以由加减法构成凯发娱真人官方，因此实际上也等同于一系列的异或运算。下图展示了一个具体的模2除法取余数计算CRC校验和的例子，其中原始数据为101001，生成多项式为1101。由该例子可见，模2除法的运算法则和普通的除法类似，不同点在于模2除法用异或操作替换了减法且不存在借位。

　　从另外一个角度理解，模二除法取余数的过程实际上是逐位地对原始数据进行缩减: 当输入数据的最高位为1时，原始数据和除数左对齐异或后移除最高位凯发娱真人官方，得到下一轮缩减的输入；当最高位为0时，直接移除最高位得到下一轮缩减的输入。不断重复上述缩减步骤直至输入数据的位宽小于除数位宽凯发娱真人官方，该输入值即为所求余数。根据上述取模步骤凯发娱真人官方，可以很容易地将CRC算法映射到基于线性负反馈移位寄存器(LFSR) 结构的硬件上，一种具体的实现如下图所示, 其对应的生成多项式为11011。原始数据从最高位开始逐位从Din输入凯发娱真人官方，当所有数据都传入后，寄存器中的值即为所要求的校验和。

　　上图展示的电路结构是一种非常经典的CRC算法的硬件实现方式凯发娱真人官方凯发娱真人官方凯发娱真人官方，其可以用极小的面积和功耗生成校验值，但由于每个周期只能处理1-bit输入数据，其很难达到较高的吞吐率。为了提升CRC校验电路的计算性能，很多面向硬件的CRC并行算法被提出。blue-crc项目的实现主要参考了论文[1]和[2]中提出的并行算法和电路架构, 并在此基础上进一步优化流水线结构以提升工作频率，同时提供了参数可配置的设计以及标准的输入输出接口。

　　blue-crc项目所采用的并行算法主要是建立在模2除法(取余)运算的两个定理之上，这两个定理分别是（备注:下文所列公式中的算术运算都是在模2域下完成，即加减法都等同于异或运算）:

　　由定理1可知, 对于任意长度的输入数据, 都可以将其拆分成若干小段凯发娱真人官方，每小段数据的CRC校验值可以独立地并行计算，然后通过异或操作将所有校验值累加在一起，即可得到完整数据对应的CRC校验值。在blue-crc的实现中，每小段数据Ai(x)的长度为8-bit, 设原始数据A(x)的总长度为8n-bit, 则:

　　对于每个输入字节的CRC校验和的计算，除了依照算法实现对应的硬件电路， 另一种更加高效的方式是: 提前计算好8-bit数所有可能值对应的CRC输出并制作成硬件查找表，当电路运行时，以输入数据为地址从查找表中取出对应的表项即可得到校验和。若输入原始数据有n个字节，则需要制作n张长度为

　　虽然有了定理1我们可以在一个周期内并行处理多个字节数据，但基于此还不能够完成CRC的硬件实现凯发娱真人官方。在实际电路中数据总线的位宽是有限的凯发娱真人官方，对于较长的输入数据，需要根据总线位宽将其分成多个帧并分配到多个周期进行传输。因此，我们还需要基于定理2累加不同周期计算得到的CRC校验值进而获得最终结果。

　　在blue-crc的实现中，数据以大端字节序进行传输，即高位数据先传入进行处理, 假设输入数据总线-bit, 当前周期输入数据对应的多项式为A(x), 该周期之前已经输入的数据为A(x), 每个周期我们除了计算CRC[A(x)]，还需要将该值累加到已经计算好的中间校验和CRC[A(x)]上，得到数据

　　即需要将中间校验和CRC[A(x)]左移256-bit凯发娱真人官方，对其再次计算CRC校验值后和CRC[A(x)]相加。同样我们可以通过硬件查找表的方式完成这里校验和的计算。

　　实际CRC的计算中原始数据的长度并不一定都是256-bit的整数倍，因此在处理最后一帧输入时不能直接使用上面的公式进行累加凯发娱真人官方。我们需要动态地计算每个数据包最后一帧的有效数据的宽度，设宽度为m, 则可以采用如下公式进行累加:

　　基于上述并行算法，CRC硬件电路的架构设计如下图所示。为了提升吞吐率，电路设计时将CRC算法需要的组合逻辑实现划分成了八级单向传递的流水线, 其中前五级流水线计算每个周期输入数据的CRC校验和并累加到CRC中间值上，后三级流水线用于处理最后一帧数据非对齐（数据位宽非总线位宽的整数倍）情况下CRC校验值的累加。每一级流水线的完成的具体功能如下:

　　Stage-1: 对AXI-Stream总线输入数据进行预处理，包括大小端转换、根据CRC配置参数reverse_input调换比特顺序、根据AXI-Stream总线tkeep字段计算数据总线上有效的字节数（用于处理数据长度非总线位宽整数倍的情况）；

　　Stage-2: 对于数据长度非总线位宽整数倍的情况，需要对最后一帧数据进行移位和下一级的查找表对齐；

　　Stage-4: 通过树状结构将各个字节的CRC值进行异或合并得到该周期输入数据对应的CRC校验和；

　　Stage-5: 根据上文提到的定理2，将输入数据CRC校验和累加到中间校验和之上。最后一帧输入数据（有效数据位宽可能小于总线位宽）需要特殊的处理，因此不在该流水级直接进行累加凯发娱真人官方，需要将中间CRC值和上一级传来的CRC校验和传递到后续流水级进行处理;

　　中计算的最后一帧数据的实际有效位宽对中间CRC值进行移位和下一级的查找表对齐;

　　CRC硬件电路的实际性能和资源开销与具体的配置参数有关。大部分情况下凯发娱真人官方，硬件电路的吞吐率随输入总线数据位宽增大而提升，硬件资源开销则同时和总线宽度以及CRC校验和宽度有关凯发娱真人官方。以IEEE 802-3协议规定的32位CRC校验和为例凯发娱真人官方，其在256位输入总线位宽的配置下，可在Xilinx xcvu9p FPGA器件上达到500MHz的工作频率，总吞吐率达128Gb/s，实际的硬件资源开销如下凯发娱真人官方。

　　相较于其他硬件实现方式，blue-crc主要关注于计算性能上的提升，因此在硬件资源上的开销相对较大。其中最主要的开销来源于用于实现CRC计算的查找表，其容量大小随数据总线位宽以及校验和位宽的增大而增大凯发娱真人官方，具体的查找表容量的计算方式如下（设总线字节宽度为m, CRC校验和字节宽度为n）:

　　对于上文提到的IEEE 802-3协议规定的 32-bit CRC校验，在256-bit输入总线位宽的配置下，理论上所需的查找表容量为36KB.

　　本文的最后一部分将介绍blue-crc项目的使用指南，包括CRC电路的配置参数、输入输出接口、面向BlueSpec SystemVerilog的使用接口，以及面向Verilog的使用接口。

　　在blue-crc项目中，CRC硬件电路基于AXI-Stream总线协议接收上游模块传入的数据，校验和输出端口采用valid-ready握手机制和下游模块进行交互。电路顶层模块生成的Verilog端口如下:

　　发起CRC计算时原始数据需要按照大端字节序进行传输，即高位字节需要优先传输。假设CRC电路输入AXI-Stream总线-byte), 若要传输80-bit (10-byte)的数据凯发娱真人官方，那么每一帧需要传输的内容如下图所示:

　　blue-crc项目基于Bluespec SystemVerilog硬件描述语言实现，因此对于使用BSV的设计者，可以直接通过实例化的方式使用CRC模块。详细的使用步骤如下:

　　以IEEE 802-3协议中规定的32-bit CRC为例，若要实现输入位宽为256-bit的CRC校验值生成电路，则实例化码如下:

　　配置好.json文件后，使用python执行该脚本（需要传入.json配置文件路径和输出文件路径）:

　　虽然blue-crc项目基于BSV实现，但同时也提供了生成可配的Verilog代码的脚本scripts/gen_crc.py。该脚本需要在blue-crc项目的根目录下执行，同时需要传入.json格式的CRC配置文件（具体文件格式见上文）:

　　若在执行脚本时没有配置Verilog代码和查找表文件生成路径，那么这些文件会默认生成到根目录下的verilog文件夹。生成Verilog代码需要使用到BSV编译器，因此在执行脚本前还需要保证已经安装并配置好该编译工具凯发娱真人官方。

　　和能力以及它们测试雷达系统的可用性是关键，这主要取决于几个技术参数。本文介绍不同雷达目标

　　（英文名 Generator ），是一个可以像迭代器那样使用for循环来获取元素的函数。

　　展频时脉的技术是频率调变( FM )的一种应用，相反地凯发娱真人官方凯发娱真人官方，频率调变通常会伴随

　　展频的效果。展频时脉最基本的想法凯发娱真人官方，是稍微地调变时脉讯号的频率，造成时脉讯

　　图 /

　　（英文名 Generator ），是一个可以像迭代器那样使用for循环来获取元素的函数。

　　？ /

　　电子发烧友网站提供《如何使用PIC32MX/PIC32MZ/PIC32MM器件上的DMA

　　AI-Intelligent-Recognition AI智能识物小程序

　　【国产FPGA+OMAPL138开发板体验】（原创）7.硬件加速Sora文生视频源代码

　　【昉·星光 2 高性能RISC-V单板计算机体验】以容器的方式安装 HomeAssistant