[论文解读] Recursive Descriptions of Decoding Algorithms and Hardware Architectures for Polar Codes

Noam Presman, Simon Litsyn|arXiv (Cornell University)|Sep 21, 2012

Coding theory and cryptography被引用 3

一句话总结

本文提出了一种递归形式化方法，用于连续取消（SC）、列表连续取消（SCL）和置信传播（BP）解码算法的极化码，支持任意极化核的系统化设计。该文引入了递归硬件架构，简化了实现过程，并可扩展至标准和自定义核，提升了实际部署中的灵活性与可扩展性。

ABSTRACT

Polar codes are recursive general concatenated codes. This property motivates a recursive formalization of the known decoding algorithms: Successive Cancellation, Successive Cancellation with Lists and Belief Propagation. This description allows an easy development of the first two algorithms for arbitrary polarizing kernels. Hardware architectures for these decoding algorithms are also described in a recursive way, both for Arikan's standard polar codes and for arbitrary polarizing kernels.

研究动机与目标

• 通过递归框架形式化极化码的解码算法，以提升算法的清晰度与可扩展性。
• 实现解码算法硬件架构的设计，使其在不同极化核之间可扩展且可重用。
• 通过统一的递归描述，将现有解码方法——SC、SCL 和 BP——扩展至任意极化核。
• 提供一种系统化的方法用于硬件实现，以降低设计复杂度，并支持未来编码优化。

提出的方法

• 本文提出基于极化核递归分解的树状结构，对连续取消（SC）解码算法进行递归描述。
• 通过在递归中引入多条路径，将递归形式化扩展至列表连续取消（SCL）解码，保持相同的结构框架。
• 将置信传播（BP）解码也重新表述为递归形式，使其与相同的递归核结构保持一致，以实现一致性与模块化。
• 从算法描述中递归推导出硬件架构，实现对 Arikan 标准核和任意核的模块化与可扩展设计。
• 递归硬件设计支持参数化实现，可在不同码长和核类型间复用。
• 该方法可从递归算法描述自动生成硬件原理图，显著减少人工设计工作量。

实验结果

研究问题

• RQ1 如何以递归方式正式描述极化码的解码算法，以支持任意极化核？
• RQ2 递归算法形式化对硬件解码器设计与模块化有何影响？
• RQ3 能否直接从递归算法描述中推导出递归硬件架构，以确保一致性与可扩展性？
• RQ4 该递归框架如何实现对 Arikan 原始构造之外的非标准极化核的扩展？
• RQ5 在硬件资源复用与设计可维护性方面，该递归方法有何优势？

主要发现

• 递归形式化实现了对任意极化核的 SC、SCL 和 BP 解码算法的统一且可扩展的描述。
• 递归硬件架构设计降低了实现复杂度，并支持从算法描述自动生成电路图。
• 该方法可在不重新设计核心解码逻辑的前提下，无缝扩展至标准 Arikan 核至任意极化核。
• 递归框架增强了模块化，支持在不同码长和核类型间复用设计组件。
• 该方法为先进极化码解码的硬件部署提供了可扩展路径，超越传统实现方式。