Células somadoras de prefixo paralelo em Negabinary

Estou tentando criar um somador de prefixo paralelo para um somador baseado em negabinário. Negabinary é base $-2$ vez do familiar binário base $2$ . Cada somador de 1 bit gera uma soma e duas (em vez de uma em binário) carregam que vão para o próximo somador.

Para tornar o somador mais rápido, quero usar uma estrutura de prefixo paralelo, como a estrutura de Ladner-Fischer apresentada abaixo. Estou familiarizado com a funcionalidade da célula roxa no sistema binário, mas não tenho certeza de como poderia obter a mesma funcionalidade no sistema negabinário.

A razão pela qual estou fazendo isso é apenas por diversão, ainda não encontrei nenhum uso para negabinário.

Fórmulas para calcular a soma e os valores:

$s_i = a_i \oplus b_i \oplus (c_i^+ + c_i^-)$

$c_{i+1}^+ = \overline{a_i}\overline{b_i}\overline{c_i^+}c_i^-$

$c_{i+1}^- = a_ib_i\overline{c_i^-}+a_i c_i^+ \overline{c_i^-}+b_i c_i^+ \overline{c_i^-}$

Ladner-fischer carrega a estrutura da árvore:

Se algo não estiver claro, não hesite em perguntar.

Provavelmente gastei mais tempo com essa questão do que deveria, mas aqui estão minhas descobertas.

Não consigo encontrar nenhum exemplo de um somador de prefixo paralelo "puro" para números negativos. Eu também acho que é um problema em aberto, pois não vi nenhuma prova de que isso não seja possível.

O mais próximo que posso chegar é de um acréscimo negativo negativo de duas etapas (nnba comumente abreviado na literatura). É baseado na seguinte propriedade:

Seja e g ( x ) = x n - 1 ¯ x n - 2 . . . x 1 ¯ x 0 . Estas são basicamente uma operação XOR com e respectivamente. Você pode provar que$f(x) = \overline{x_{n-1}}x_{n-2}...\overline{x_1}x_0$$g(x) = x_{n-1}\overline{x_{n-2}}...x_1\overline{x_0}$0xAA...AA0x55...55

Onde o lado esquerdo é a soma negabinária , enquanto o + no lado direito é uma soma binária normal.$+_{nb}$$+$

A soma negativa pode ser simplesmente invertida usando a mesma propriedade, mas com um operando zero:

Portanto, para encontrar a soma usando somadores de prefixo paralelos, você pode:

1. Calcular e f ( b ) , isto é. invertendo todos os bits ímpares dos números negativos$f(a)$$f(b)$
2. Calcule a soma binária regular enquanto define o bit de transporte para o LSB (o ), levando a uma primeira soma intermediária s 1 .$+1$$s_1$
3. Inverta todos os bits de (este é f ( g ( s 1 ) ) ). Este é o final da primeira soma, enquanto também inicia a inversão.$s_1$$f(g(s_1))$
4. 0xAA...AB$=f(0)+1$$s_2$
5. $g(s_2)$

Na verdade, tentei encontrar um somador de prefixo paralelo "puro", mas considerei muito complexo o tempo que estava disposto a gastar nele. Aqui está o porquê:

$\{0,1\}^n \times \{0,1\}^n \rightarrow \{0,1\}^n$$a \circ b=a\cdot \bar b$

$c_i^+\overline{c_i^-}$ and $c_i^-\overline{c_i^+}$, making it impossible to use it as-is. For a single carry in normal binary addition, it became quite obvious how to construct this operator when thinking about it in terms of generation and propagation, but it seems to be not so obvious for negabinary carries.