每日精学 214｜逐次译码的条件g软更新

雷达 · 通信 · 电子战　/　基础精学 214

先前判决给出了两个发送符号之间的异或关系。利用该约束可把第一路观测翻转为关于第二比特的证据，再与第二路观测合并。

01
模型与符号

两路信道条件独立，输入软值 a,b 分别关于 x₀,x₁，已知 ；软值采用零比一约定。

02
从模型到公式

条件代入

核关系为

给定 u，关于 v 的条件似然比为

两次信道独立使乘积分解成立。

取对数

u=0 时第一路对数比为 a，u=1 时分子分母交换而为负a，因此

两种分支为

它不是无条件相加，而是由正确侧信息控制的对齐合并。

范围与错误侧信息

若 |a|,|b|≤ B，则

若 u 被误判翻转，输出改变

误差大小与第一路可靠度成正比，说明强证据在错误侧信息下也会有害。

条件分支的差与平均

在零比一软值约定下，g 更新的两个条件分支为 g₀=L₂+L₁、g₁=L₂−L₁，因此

它们提供同时检查符号控制和两路端口次序的代数关系。

第一路为零时条件分支应相同；第二路为零时两分支互为相反数。

先验判定位 u 若错误，会翻转第一路证据的方向，算术核仍可能完全正确。

打包控制位不能参加低十六位软值的符号扩展，否则会把分支选择错误地加入幅度。

03
物理含义

g 更新把两个关于相关比特的观测变成同一比特的对齐证据。先前位决定第一路是否反向，高置信的错误先前位可能让后续软值受到大幅错误偏移。

04
固定参数算例

固定软值网格并枚举 u 两种状态，比较条件概率乘积直接求对数与带符号加法，检查两分支差及幅度边界。

图 1　条件g更新曲线及错误侧信息造成的偏移

表中数值和图中曲线由 MATLAB 实际运行得到，随机种子为 20261133；运行版本与完整结果另存为独立文件。

05
数字实现的边界

RTL a 为有符号整数第一路软值，b 的低16位为第二路有符号软值、bit16为 u；子核对低16位符号扩展，按 u 执行加或减并输出32位结果。 模块采用同步高有效复位及 valid 握手；

有效输入在一个时钟沿登记输出，空拍不改变数据寄存器而清除输出有效标志。端口采用有符号 32 位容器，实际有效范围按子核定义约束。自检覆盖多组有效输入、空拍保持及复位；

它验证指定算术或地址子核，不代表完整通信系统或完整译码器已经完成硬件验证。

独立自检程序已在 Icarus Verilog 13.0 中实际运行并通过。该结果不包含器件综合、静态时序分析或板级测试。

06
适用范围

用于SC译码器条件合并单元及部分和控制验证。长块调度中控制比特通常是已判输入的部分和，不能简单取最近一个判决代替。

07
工程上需要注意

先前判决错误会改变证据方向。

部分和索引错误可造成系统性译码失败。

输入两路必须使用相同软值刻度。

输出需保留一位以上累加余量。

内容依据：每日精学第 214 课《逐次译码的条件g软更新》。图表沿用原课固定参数数值结果，属于数值验证，不代表设备实测。