超前进位加法以及对应FPGA Carry Logic进位链的理解

1 加法器

1.1 半加器

两个二进制数，不考虑进位输入。

真值表：

A	B	O	CO
0	0	0	0
0	1	1	0
1	0	1	0
1	1	0	1

$$\{\begin{array}{rlrl}O& =& \overline{A}B+A\overline{B}& =A⨁B\\ CO& =& AB& \end{array}$$

1.2 全加器

考虑进位输入。

真值表：

CI	A	B	O	CO
0	0	0	0	0
0	0	1	1	0
0	1	0	1	0
0	1	1	0	1
1	0	0	1	0
1	0	1	0	1
1	1	0	0	1
1	1	1	1	1

$$\{\begin{array}{rl}O& =A⨁B⨁CI\\ CO& =AB+CI(A⨁B)\end{array}$$

1 超前进位原理

为什么要超前进位？
进位信号逐级传递很耗时间，超前进位在相加运算之前就知道加法器的进位输入。

第i位的进位一定是两个加数中小于i的位数决定的。所以进位一定可以通过加数唯一确定。

由全加器进位 $C{O}_i=A_i{B}_i+C{I}_i(A_i⨁B_i)$ 知，两种情况产生进位：

• $A_i{B}_i$=1
• $A_i⨁B_i$=1 以及 CI_i=1

所以这里的+是逻辑

令：
$$\{\begin{array}{rl}进位生成(generate)函数D{I}_i& =A_i{B}_i\\ 进位传送(propagate)函数S_i& =A_i⨁B_i\end{array}$$

即：

$$C{O}_i=D{I}_i+S_{i}C{I}_i$$

将上式展开：

$$\begin{array}{rl}C{O}_i& =D{I}_i+S_{i}C{I}_i\\ & =D{I}_i+S_i(D{I}_{i-1}+S_{i-1}C{I}_{i-1})\\ & =...\\ & =D{I}_i+S_{i}D{I}_{i-1}+S_{i}D{I}_{i-1}D{I}_{i-2}+...+S_i{S}_{i-1}...S_{1}DI0+S_i{S}_{i-1}...S_{0}C{I}_0\end{array}$$

2 Xilinx fpga的超前进位逻辑

7系列FPGA的CLB有两个分离的进位链（每个slice各一个），进位链可级联形成更宽的加减逻辑。

进位链向上运行，每各slice高度为4位。对于每一位，都有一个进位数据选择器(MUXCY)和一个专用的异或门，用于用选定的进位位加/减操作数。专用进位路径和进位数据选择器(MUXCY)也可用于级联函数生成器，以实现更广泛的逻辑函数。

Device视图的SLICEL：

SLICEL示意图：

Carry Logic示意图:

输入：

• 进位链的DI0-DI3输入对应进位生成函数$D{I}_i$。

  • 来源于LUT6的O6输出

• S0-S4输入对应进位传送函数$S_i$

  • 来源于LUT6的O5输出
  • 或来源于DILICE的BYSADI输入

• CYINIT

  • 进位链的第一位输入
    • 0 ：代表加
    • 1 ：代表减
    • AX：动态控制

• CIN:

  • 级联中的上一级输入

输出：

• O0-O3：
  • 运算结果
• CO0-CO3:
  • 每位的进位输出
  • 级联中本级的输出

1 加

假设这是第一级，则进位链的第一位由CYINIT输入，当实现加法时，CYINIT = 0。

FSDIA实现超前进位的时候：使用前级的LUT6实现进位生成函数和进位传送函数

结果输出：
$$\{\begin{array}{rlrl}{O}_i& =S_i⨁C{O}_{i-1}& =& (A_i⨁B_i)⨁C{O}_{i-1}i=1,2,3\\ O_0& =S_0⨁0& =& A_0⨁B_0\end{array}$$

进位输出：

首先，看看DI和S所有的情况：

A	B	-	DI=AB	S=A+B
0	0	-	0	0
0	1	-	0	1
1	0	-	0	1
1	1	-	1	0

可以看到，只有三种取值，且DI与S不会同时取1。

所以，根据公式$CO=DI+SCI$。可将S作为选择信号：
$$\{\begin{array}{r}CO=DI,S=0\\ CO=CI,S=1\\ DI与CI不同时取1\end{array}$$
当S=0，选择DI输出，当S=1，选择CI输出。因为DI与S不会同时取1，是可以实现表达式的。

真值表：

CI	DI	S	CO=DI+S CI
0	0	0	0
0	0	1	0
0	1	0	1
1	0	0	0
1	0	1	1
1	1	0	1

2 减

当实现减法时，运算为补码加。

CYINIT = 1，运算前逻辑取反之后加一，即取补码。

修改记录

20220322修订，更改了 + 映射成 | 或者 $⨁$ 模糊的问题。