Abstract:
A device for implementing a function of add-compare-select type in an error correction code decoder, having first and second adders for adding, respectively for first and second branches, branch metric values, intermediate value of former state metrics, and values of former state metric offset, thus forming first and second values of present state metrics; a comparator, coupled to the first and second adders, for selecting the highest value from among the first and second values; circuitry for determining a digital value of present state metric offset including a single bit, based on the first and second values.

Description:
BACKGROUND OF THE INVENTION 
   1. Field of the Invention 
   The present invention generally relates to signal decoders, such as, for example decoders of turbodecoder type. More specifically, the present invention relates to specific units used in such decoders, generally called ACS units (“Add-Compare-Select”), which perform additions to provide two data, then compare the two data and select one datum from among the two data. 
   2. Discussion of the Related Art 
   One of the aims of digital communications is faultless data transmission. During transmission, the data are submitted to noise that may cause errors on the received data. To improve the reliability upon data transmission, error correction techniques are used. A known error correction technique is convolutional coding. This technique provides an efficient error correction but requires sophisticated decoding techniques. 
   Error correction codes have a significant technical effect since they enable error correction on data transmitted between a transmitter and a receiver in applications such as telecommunications. 
   Convolution codes enable the receiver of digital data to properly determine the transmitted data even when errors have occurred in the transmission. Convolution codes introduce redundancies in the data to be transmitted and provide the sequentially transmitted data in packets in which the value of each bit is dependent on preceding bits in the sequence. Thus, when errors occur, the receiver can deduce the original data by retracing the possible sequences of received data. 
   To further improve the coding efficiency, coding methods comprise interleavers, which mix the order of the bits in the coded packets. Thus, when adjacent bits are altered during transmission, the error is distributed over the entire initial packet and can thus more easily be corrected. 
   Other improvements may comprise coders which code the data to be transmitted more than once, in parallel or in series. For example, error correction methods which transmit coded data packets for which each packet is formed by the juxtaposition of uncoded initial data, of first coded data resulting from the coding of the initial data by a first coder, and of second coded data resulting from the coding of the initial data by a second coder preceded by an interleaver, are known. Such an error correction method is called a systematic parallel convolutional coding (SPCC). 
   Such codes are often decoded with an iterative algorithm, called turbodecoding, which is relatively efficient to reach relatively low error rates. 
   For such codes, an optimal decoding is often a very complex task. Iterative decoding techniques have thus been developed to solve this problem. Rather than immediately determining whether the received data are equal to “0” or to “1”, the receiver assigns to each received datum a value on a scale of several levels representing the probability for the datum to be equal to “1”. A conventional scale, which is usually called the “log-likelihood ratio” LLR, represents each decoded datum x as an integer in a given scale, for example, from 1 to 15. For a received datum r, ratio LLR is determined as follows: 
   
     
       
         
           
             
               
                 
                   LLR 
                   ⁡ 
                   
                     ( 
                     x 
                     ) 
                   
                 
                 = 
                 
                   log 
                   ⁡ 
                   
                     ( 
                     
                       
                         Pr 
                         ⁡ 
                         
                           ( 
                           
                             x 
                             = 
                             
                               1 
                               / 
                               r 
                             
                           
                           ) 
                         
                       
                       
                         Pr 
                         ⁡ 
                         
                           ( 
                           
                             x 
                             = 
                             
                               0 
                               / 
                               r 
                             
                           
                           ) 
                         
                       
                     
                     ) 
                   
                 
               
             
             
               
                 ( 
                 1 
                 ) 
               
             
           
         
       
     
   
   where Pr(x=1/r) represents the probability for decoded datum x to be equal to “1” for received datum r and Pr(x=0/r) represents the probability for decoded datum x to be equal to “0” for received datum r. 
   The iterative decoding method receives an input sequence corresponding to probabilities for each received value and outputs corrected probabilities. The iterative decoding is performed by several iterations until it is believed that the corrected probability sufficiently closely represents the transmitted datum. 
   The value of ratio LLR is then compared with a threshold to determine the value of decoded datum x. For example, the decoded datum is taken as being equal to “1” when ratio LLR is positive, and to “0” otherwise. Ratio LLR thus contains both an information representative of the value of decoded datum x and an information representative of the reliability of the value of the decoded datum. 
   The calculation algorithm of ratio LLR is based on a treillis similar to that used in the Viterbi algorithm. 
     FIG. 1  represents an example of a treillis with N states, N being equal to 4 in  FIG. 1 . Four states S i , i ranging from 1 to 4, are shown along the vertical direction. Different times k, k ranging from 1 to 5, are show along the horizontal direction. Each point S i,k  of the treillis represents the i-th state at time k. One state can represent a sequence of a determined number of bits corresponding to the last bits received by the decoder. For a treillis with four states, each state can be associated with one of the sequences (“00”, “01”, “10”, “11”). A branch 5 represents a transition between a state at a time k and a state at a time k+1. The transition from one state to another corresponds to the receiving by the decoder of a datum ideally corresponding to a bit of value “0” or “1”. From a state at a time k, for example, state S 2,3 , there are thus only two possible transitions to states S 3,4  and S 4,4  according to whether the received datum is a bit of value “0” or “1”. 
   In practice, the datum r k  received at a time k is an analog datum. A metric γ k  of the branch corresponding to a possible transition from state S i,k  to a state S m,k+1  is determined for a treillis branch connecting state S i,k  and state S m,k+1 . The branch metric corresponds to a distance between received datum r k  and datum x k (S i,k , S m,k+1 ) which should have been received for the branch. It may be calculated as follows: 
   
     
       
         
           
             
               
                 
                   
                     γ 
                     k 
                   
                   ⁢ 
                   
                     ( 
                     
                       
                         
                           S 
                           
                             i 
                             , 
                             
                                 
                             
                             ⁢ 
                             k 
                           
                         
                         ⁢ 
                         
                             
                         
                       
                       , 
                       
                           
                       
                       ⁢ 
                       
                         S 
                         
                           
                             m 
                             , 
                             
                                 
                             
                             ⁢ 
                             k 
                           
                           + 
                           1 
                         
                       
                     
                     ) 
                   
                 
                 = 
                 
                   ⅇ 
                   
                     
                       
                         - 
                         1 
                       
                       
                         2 
                         ⁢ 
                         
                           σ 
                           2 
                         
                       
                     
                     ⁢ 
                     
                       
                          
                         
                           
                             r 
                             k 
                           
                           - 
                           
                             
                               x 
                               k 
                             
                             ⁡ 
                             
                               ( 
                               
                                 
                                   S 
                                   
                                     i 
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     k 
                                   
                                 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 
                                   S 
                                   
                                     
                                       m 
                                       , 
                                       
                                           
                                       
                                       ⁢ 
                                       k 
                                     
                                     + 
                                     1 
                                   
                                 
                               
                               ) 
                             
                           
                         
                          
                       
                       2 
                     
                   
                 
               
             
             
               
                 ( 
                 2 
                 ) 
               
             
           
         
       
     
   
   where σ 2  is the noise variance associated with received datum r k . 
   The calculation algorithm of ratio LLR comprises three main steps. 
   At a time k, for each state S i,k , i ranging from 1 to N, a forward probability α k (S i,k ) of being at state S i,k  is calculated as follows: 
   
     
       
         
           
             
               
                 
                   
                     α 
                     k 
                   
                   ⁡ 
                   
                     ( 
                     
                       S 
                       
                         i 
                         , 
                         
                             
                         
                         ⁢ 
                         k 
                       
                     
                     ) 
                   
                 
                 = 
                 
                   
                     ∑ 
                     
                       l 
                       = 
                       1 
                     
                     N 
                   
                   ⁢ 
                   
                       
                   
                   ⁢ 
                   
                     
                       ∑ 
                       
                         j 
                         = 
                         0 
                       
                       1 
                     
                     ⁢ 
                     
                         
                     
                     ⁢ 
                     
                       
                         
                           α 
                           
                             k 
                             - 
                             1 
                           
                         
                         ⁡ 
                         
                           ( 
                           
                             S 
                             
                               
                                 l 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 k 
                               
                               - 
                               1 
                             
                           
                           ) 
                         
                       
                       ⁢ 
                       
                         
                           γ 
                           k 
                           j 
                         
                         ⁡ 
                         
                           ( 
                           
                             
                               S 
                               
                                 
                                   l 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 - 
                                 1 
                               
                             
                             ⁢ 
                             
                               S 
                               
                                 i 
                                 ⁢ 
                                 
                                   
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     k 
                                   
                                   ⁢ 
                                   
                                       
                                   
                                 
                               
                             
                           
                           ) 
                         
                       
                     
                   
                 
               
             
             
               
                 ( 
                 3 
                 ) 
               
             
           
         
       
     
   
   For each state S i,k , i ranging from 1 to N, a backward probability β k (S i,k ) of being at state S i,k  is calculated at time k with the following equation: 
   
     
       
         
           
             
               
                 
                   
                     β 
                     k 
                   
                   ⁡ 
                   
                     ( 
                     
                       S 
                       
                         i 
                         , 
                         
                             
                         
                         ⁢ 
                         k 
                       
                     
                     ) 
                   
                 
                 = 
                 
                   
                     ∑ 
                     
                       l 
                       = 
                       1 
                     
                     N 
                   
                   ⁢ 
                   
                     
                         
                     
                     ⁢ 
                     
                       
                         ∑ 
                         
                           j 
                           = 
                           0 
                         
                         1 
                       
                       ⁢ 
                       
                         
                             
                         
                         ⁢ 
                         
                           
                             β 
                             
                               k 
                               + 
                               1 
                             
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 
                                   l 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 + 
                                 1 
                               
                             
                             ) 
                           
                         
                         ⁢ 
                         
                           γ 
                           
                             k 
                             + 
                             1 
                           
                           j 
                         
                         ⁢ 
                         
                           ( 
                           
                             
                               S 
                               
                                 
                                   i 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 , 
                               
                             
                             ⁢ 
                             
                               S 
                               
                                 
                                   l 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 + 
                                 1 
                               
                             
                           
                           ) 
                         
                       
                     
                   
                 
               
             
             
               
                 ( 
                 4 
                 ) 
               
             
           
         
       
     
   
   Based on these two probabilities, ratio LLR is calculated as follows: 
   
     
       
         
           
             
               
                 
                   LLR 
                   ⁡ 
                   
                     ( 
                     
                       x 
                       k 
                     
                     ) 
                   
                 
                 = 
                 
                   log 
                   ⁢ 
                   
                     
                       
                         ∑ 
                         
                           
                             ( 
                             
                               i 
                               , 
                               
                                   
                               
                               ⁢ 
                               1 
                             
                             ) 
                           
                           ∈ 
                           
                             B 
                             ⁡ 
                             
                               ( 
                               
                                 k 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 1 
                               
                               ) 
                             
                           
                         
                         
                             
                         
                       
                       ⁢ 
                       
                           
                       
                       ⁢ 
                       
                         
                           
                             α 
                             
                               k 
                               - 
                               1 
                             
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 
                                   1 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 - 
                                 1 
                               
                             
                             ) 
                           
                         
                         ⁢ 
                         
                           
                             γ 
                             k 
                             1 
                           
                           ⁡ 
                           
                             ( 
                             
                               
                                 S 
                                 
                                   
                                     1 
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     k 
                                   
                                   - 
                                   1 
                                 
                               
                               , 
                               
                                   
                               
                               ⁢ 
                               
                                 S 
                                 
                                   i 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                               
                             
                             ) 
                           
                         
                         ⁢ 
                         
                           
                             β 
                             k 
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 i 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 k 
                               
                             
                             ) 
                           
                         
                       
                     
                     
                       
                         ∑ 
                         
                           
                             ( 
                             
                               i 
                               , 
                               
                                   
                               
                               ⁢ 
                               1 
                             
                             ) 
                           
                           ∈ 
                           
                             B 
                             ⁡ 
                             
                               ( 
                               
                                 k 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 0 
                               
                               ) 
                             
                           
                         
                         
                             
                         
                       
                       ⁢ 
                       
                           
                       
                       ⁢ 
                       
                         
                           
                             α 
                             
                               k 
                               - 
                               1 
                             
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 
                                   1 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 - 
                                 1 
                               
                             
                             ) 
                           
                         
                         ⁢ 
                         
                           
                             γ 
                             k 
                             0 
                           
                           ⁡ 
                           
                             ( 
                             
                               
                                 S 
                                 
                                   
                                     1 
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     k 
                                   
                                   - 
                                   1 
                                 
                               
                               , 
                               
                                   
                               
                               ⁢ 
                               
                                 S 
                                 
                                   i 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                               
                             
                             ) 
                           
                         
                         ⁢ 
                         
                           
                             β 
                             k 
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 i 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 k 
                               
                             
                             ) 
                           
                         
                       
                     
                   
                 
               
             
             
               
                 ( 
                 5 
                 ) 
               
             
           
         
       
     
   
   where B(k,0) (respectively B(k, 1)) is the set of the possible transitions from a state S 1,k−1  to a state S i,k  caused by an input datum equal to “0” (respectively, “1”). 
   The calculation of ratio LLR requires calculation of multiplications and exponential values. These operations are difficult to implement. For this purpose, the following function is introduced:
 
MAX + ( x, y )= ln ( e   x   +e   y )=MAX( x, y )+ ln (1+ e   −|x−y| )  (6)
 
where term ln(1+e −|x−y| ) is a correction value called the offset value. The offset value may be obtained by means of a memory, for example, a ROM, in which are stored values of function ln(1+e −|v| ) over a predetermined number of bits for certain values |v| coded over a determined number of bits. Thus:
 
   
     
       
         
           
             
               
                 
                   
                     
                       
                         ln 
                         ⁡ 
                         
                           ( 
                           
                             
                               ∑ 
                               
                                 i 
                                 = 
                                 0 
                               
                               N 
                             
                             ⁢ 
                             
                                 
                             
                             ⁢ 
                             
                               ⅇ 
                               
                                 x 
                                 i 
                               
                             
                           
                           ) 
                         
                       
                       = 
                       
                         
                           MAX 
                           + 
                         
                         ⁢ 
                         
                           ( 
                           
                             
                               ln 
                               ⁡ 
                               
                                 ( 
                                 
                                   
                                     ∑ 
                                     
                                       i 
                                       = 
                                       0 
                                     
                                     
                                       N 
                                       - 
                                       1 
                                     
                                   
                                   ⁢ 
                                   
                                       
                                   
                                   ⁢ 
                                   
                                     ⅇ 
                                     
                                       x 
                                       i 
                                     
                                   
                                 
                                 ) 
                               
                             
                             , 
                             
                                 
                             
                             ⁢ 
                             
                               x 
                               i 
                             
                           
                           ) 
                         
                       
                     
                   
                 
                 
                   
                     
                       
                         = 
                         
                           
                             
                               MAX 
                               + 
                             
                             ⁢ 
                             
                               ( 
                               
                                 
                                   
                                     MAX 
                                     + 
                                   
                                   ( 
                                   
                                     
                                       ln 
                                       ⁡ 
                                       
                                         ( 
                                         
                                           
                                             ∑ 
                                             
                                               i 
                                               = 
                                               0 
                                             
                                             
                                               N 
                                               - 
                                               2 
                                             
                                           
                                           ⁢ 
                                           
                                             ⅇ 
                                             
                                               x 
                                               i 
                                             
                                           
                                         
                                         ) 
                                       
                                     
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     
                                       x 
                                       
                                         N 
                                         - 
                                         1 
                                       
                                     
                                   
                                   ) 
                                 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 
                                   x 
                                   N 
                                 
                               
                               ) 
                             
                           
                           = 
                           … 
                         
                       
                       ⁢ 
                       
                           
                       
                     
                   
                 
                 
                   
                     
                       = 
                       
                         
                           
                             MAX 
                             
                               i 
                               ∈ 
                               
                                 [ 
                                 
                                   1 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   N 
                                 
                                 ] 
                               
                             
                           
                           + 
                         
                         ⁡ 
                         
                           ( 
                           
                             x 
                             i 
                           
                           ) 
                         
                       
                     
                   
                 
               
             
             
               
                 ( 
                 7 
                 ) 
               
             
           
         
       
     
   
   The following definitions are thus introduced: 
   
     
       
         
           
             
               
                 
                   
                     
                       γ 
                       _ 
                     
                     k 
                   
                   ⁡ 
                   
                     ( 
                     
                       
                         S 
                         
                           m 
                           , 
                           n 
                         
                       
                       , 
                       
                         S 
                         
                           i 
                           , 
                           k 
                         
                       
                     
                     ) 
                   
                 
                 = 
                 
                   log 
                   ⁡ 
                   
                     ( 
                     
                       
                         γ 
                         k 
                       
                       ⁡ 
                       
                         ( 
                         
                           
                             S 
                             
                               m 
                               , 
                               n 
                             
                           
                           , 
                           
                             S 
                             
                               i 
                               , 
                               k 
                             
                           
                         
                         ) 
                       
                     
                     ) 
                   
                 
               
             
             
               
                 ( 
                 8 
                 ) 
               
             
           
           
             
               
                 
                   
                     
                       α 
                       _ 
                     
                     k 
                   
                   ⁡ 
                   
                     ( 
                     
                       S 
                       
                         i 
                         , 
                         k 
                       
                     
                     ) 
                   
                 
                 = 
                 
                   log 
                   ⁡ 
                   
                     ( 
                     
                       S 
                       
                         i 
                         , 
                         k 
                       
                     
                     ) 
                   
                 
               
             
             
               
                 ( 
                 9 
                 ) 
               
             
           
         
       
     
   
   Term {overscore (α k )}(S i,k ) is called the forward state metric for state S i,k , or the forward path metric for state S i,k .
 
{overscore (β k )}( S   i,k )=log(β k ( S   i,k ))  (10)
 
   Term {overscore (β k )}(S i,k ) is called the backward state metric for state S i,k , or the backward path metric for state S i,k . 
   As a result: 
   
     
       
         
           
             
               
                 
                   
                     
                       α 
                       _ 
                     
                     k 
                   
                   ⁡ 
                   
                     ( 
                     
                       S 
                       
                         i 
                         , 
                         k 
                       
                     
                     ) 
                   
                 
                 = 
                 
                   
                     
                       MAX 
                       
                         m 
                         , 
                         j 
                       
                     
                     + 
                   
                   ⁡ 
                   
                     ( 
                     
                       
                         
                           
                             α 
                             _ 
                           
                           
                             k 
                             - 
                             1 
                           
                         
                         ⁡ 
                         
                           ( 
                           
                             S 
                             
                               m 
                               , 
                               
                                 k 
                                 - 
                                 1 
                               
                             
                           
                           ) 
                         
                       
                       + 
                       
                         
                           γ 
                           k 
                           
                             - 
                             j 
                           
                         
                         ⁡ 
                         
                           ( 
                           
                             
                               S 
                               
                                 m 
                                 , 
                                 
                                   k 
                                   - 
                                   1 
                                 
                               
                             
                             , 
                             
                               S 
                               
                                 i 
                                 , 
                                 k 
                               
                             
                           
                           ) 
                         
                       
                     
                     ) 
                   
                 
               
             
             
               
                 ( 
                 11 
                 ) 
               
             
           
           
             
               
                 
                   
                     
                       β 
                       _ 
                     
                     
                       k 
                       - 
                       1 
                     
                   
                   ⁡ 
                   
                     ( 
                     
                       S 
                       
                         i 
                         , 
                         
                           k 
                           - 
                           1 
                         
                       
                     
                     ) 
                   
                 
                 = 
                 
                   
                     
                       MAX 
                       
                         m 
                         , 
                         j 
                       
                     
                     + 
                   
                   ⁡ 
                   
                     ( 
                     
                       
                         
                           
                             β 
                             _ 
                           
                           k 
                         
                         ⁡ 
                         
                           ( 
                           
                             S 
                             
                               m 
                               , 
                               k 
                             
                           
                           ) 
                         
                       
                       + 
                       
                         
                           γ 
                           k 
                           
                             - 
                             j 
                           
                         
                         ⁡ 
                         
                           ( 
                           
                             
                               S 
                               
                                 i 
                                 , 
                                 
                                   k 
                                   - 
                                   1 
                                 
                               
                             
                             , 
                             
                               S 
                               
                                 m 
                                 , 
                                 k 
                               
                             
                           
                           ) 
                         
                       
                     
                     ) 
                   
                 
               
             
             
               
                 ( 
                 12 
                 ) 
               
             
           
         
       
     
   
   The expression of ratio LLR then becomes: 
   
     
       
         
           
             
               
                 
                   LLR 
                   ⁡ 
                   
                     ( 
                     
                       x 
                       k 
                     
                     ) 
                   
                 
                 = 
                 
                   
                     
                       
                         MAX 
                         
                           
                             ( 
                             
                               i 
                               , 
                               
                                   
                               
                               ⁢ 
                               m 
                             
                             ) 
                           
                           ∈ 
                           
                             B 
                             ⁡ 
                             
                               ( 
                               
                                 k 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 1 
                               
                               ) 
                             
                           
                         
                       
                       + 
                     
                     ⁡ 
                     
                       ( 
                       
                         
                           
                             
                               α 
                               _ 
                             
                             
                               k 
                               - 
                               1 
                             
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 
                                   m 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 - 
                                 1 
                               
                             
                             ) 
                           
                         
                         + 
                         
                           
                             
                               γ 
                               _ 
                             
                             k 
                             1 
                           
                           ⁡ 
                           
                             ( 
                             
                               
                                 S 
                                 
                                   
                                     m 
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     k 
                                   
                                   - 
                                   1 
                                 
                               
                               , 
                               
                                   
                               
                               ⁢ 
                               
                                 S 
                                 
                                   i 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                               
                             
                             ) 
                           
                         
                         + 
                         
                           
                             
                               β 
                               _ 
                             
                             k 
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 i 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 k 
                               
                             
                             ) 
                           
                         
                       
                       ) 
                     
                   
                   - 
                   
                     
                       
                         MAX 
                         
                           
                             ( 
                             
                               i 
                               , 
                               
                                   
                               
                               ⁢ 
                               m 
                             
                             ) 
                           
                           ∈ 
                           
                             B 
                             ⁡ 
                             
                               ( 
                               
                                 k 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 0 
                               
                               ) 
                             
                           
                         
                       
                       + 
                     
                     ⁡ 
                     
                       ( 
                       
                         
                           
                             
                               α 
                               _ 
                             
                             
                               k 
                               - 
                               1 
                             
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 
                                   m 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                                 - 
                                 1 
                               
                             
                             ) 
                           
                         
                         + 
                         
                           
                             γ 
                             k 
                             0 
                           
                           ⁡ 
                           
                             ( 
                             
                               
                                 S 
                                 
                                   
                                     m 
                                     , 
                                     
                                         
                                     
                                     ⁢ 
                                     k 
                                   
                                   - 
                                   1 
                                 
                               
                               , 
                               
                                   
                               
                               ⁢ 
                               
                                 S 
                                 
                                   i 
                                   , 
                                   
                                       
                                   
                                   ⁢ 
                                   k 
                                 
                               
                             
                             ) 
                           
                         
                         + 
                         
                           
                             
                               β 
                               _ 
                             
                             k 
                           
                           ⁡ 
                           
                             ( 
                             
                               S 
                               
                                 i 
                                 , 
                                 
                                     
                                 
                                 ⁢ 
                                 k 
                               
                             
                             ) 
                           
                         
                       
                       ) 
                     
                   
                 
               
             
             
               
                 ( 
                 13 
                 ) 
               
             
           
         
       
     
   
   The calculation of the forward and backward metrics {overscore (α k )}(S i,k ) and {overscore (β k )}(S i,k ) is performed by specific units of the decoder called ACSO (“ADD-COMPARE-SELECT-OFFSET”) units which implement function MAX + . 
   The calculation of the state metric values must be performed at least at the data receive frequency. The higher the data receive frequency, the more difficult it is to perform these calculation operations in a single data cycle. For this purpose, there exist many configurations of units of ACSO type to reduce the duration of the operation performed by the unit. However, the limiting operating frequencies of the decoder are easily reached. The duration of the operation performed by the ACSO unit is thus a critical factor to be taken into account upon design of a decoder. 
   SUMMARY OF THE INVENTION 
   The present invention aims at obtaining a fast device of ACSO type. 
   The present invention also aims at obtaining a device of ACSO type of particularly simple design. 
   To achieve these and other objects, the present invention provides a device for implementing a function of add-compare-select type in an error correction code decoder, comprising a first adder for adding, for a first branch, a branch metric value, an intermediate value of former state metric, and a value of former state metric offset, thus forming a first value of present state metric; a second adder for adding, for a second branch, a branch metric value, an intermediate value of former state metric, and an offset value of former state metric, thus forming a second value of present state metric; a comparator, coupled to the first and second adders, for selecting the highest value from among the first and second values of present state metrics; a first storage means for storing the selected value of present state metric; means for determining a digital value of present state metric offset comprised of a single bit, based on the first and second values of present state metrics; and a second storage means for storing the offset value of present state metric. 
   According to an embodiment of the present invention, the means for determining the digital offset value of present state metric comprise means, coupled to the first and second adders, for determining the absolute value of the difference between the first and second values of present state metrics; and a logic operator, coupled to the means for determining the digital offset value of present state metric, from said absolute value. 
   According to an embodiment of the present invention, the means for determining the absolute value comprise a first subtractor, coupled to the first and second adders, for determining a first difference between the first value of present state metric and the second value of present state metric; a second subtractor, coupled to the first and second adders, for determining a second difference between the second value of present state metric and the first value of present state metric; means, coupled to the first and second subtractors, for comparing the first and second differences and selecting the difference with the highest value. 
   According to an embodiment of the present invention, the logic operator comprises an extractor, coupled to the means for determining the absolute value, for extracting a determined number of bits from the bits of the absolute value; a calculation unit for providing the digital offset value of present state metric of a single bit based on the extracted bits. 
   According to an embodiment of the present invention, the means for determining the digital offset value of present state metric comprise a first subtractor, coupled to the first and second adders, for determining a first difference between the first value of present state metric and the second value of present state metric; a second subtractor, coupled to the first and second adders, for determining a second difference between the second value of present state metric and the first value of present state metric; a first extractor, coupled to the first subtractor, for providing a first extracted datum comprising a determined number of bits from among the bits of the first difference; a second extractor, coupled to the second subtractor, for providing a second extracted datum comprising a determined number of bits from among the bits of the second difference; a first calculation unit, coupled to the first extractor, for providing a first one-bit selection datum from the value of the bits forming the first extracted datum; a second calculation unit, coupled to the second extractor, for providing a second one-bit selection datum from the value of the bits forming the second extracted datum; means, coupled to the first and second calculation units, for comparing the first and second selection data and selecting the selection datum having the smallest value as the offset value of present state metric. 
   The present invention also provides a method for implementing a function of add-compare-select type for an error correction code decoding, comprising the steps of adding, for a first branch, a branch metric value, an intermediate value of former state metric, and an offset value of former state metric, thus forming a first value of present state metric; adding, for a second branch, a branch metric value, an intermediate value of former state metric, and an offset value of former state metric, thus forming a second value of present state metric; selecting the highest value from the first and second values of present state metrics; storing the selected value of present state metric; determining a digital offset value of present state metric comprised of a single bit, from the first and second values of present state metrics; and storing the offset value of present state metric. 
   According to an embodiment of the present invention, the step of determination of the digital offset value of present state metric comprises the steps of determining the absolute value of the difference between the first and second values of present state metrics; and determining a digital offset value of present state metric comprised of a single bit, from said absolute value. 
   According to an embodiment of the present invention, the step of determination of the digital offset value of present state metric comprises the steps of determining a first difference between the first value of present state metric and the second value of present state metric; determining a second difference between the second value of present state metric and the first value of present state metric; providing a first extracted datum comprising a determined number of bits from among the bits of the first difference; providing a second extracted datum comprising a determined number of bits from among the bits of the second difference; providing a first one-bit selection datum from the value of the bits forming the first extracted datum; providing a second one bit selection datum based on the value of the bits forming the second extracted datum; and comparing the first and second selection data and selecting the selection datum having the smallest value as the offset value of present state metric. 
   The foregoing objects, features and advantages of the present invention, will be discussed in detail in the following non-limiting description of specific embodiments in connection with the accompanying drawings. 

   
     BRIEF DESCRIPTION OF THE DRAWINGS 
       FIG. 1 , previously described, shows an example of a treillis used by a decoding algorithm; 
       FIG. 2  shows a first embodiment of an ACSO unit according to the present invention; and 
       FIG. 3  shows a second embodiment of an ACSO unit according to the present invention. 
   

   DETAILED DESCRIPTION 
     FIG. 2  shows an ACSO unit  10  enabling calculation of the state metric (forward of backward) of a considered state at a given time k. Hereafter, “state metric” will be used to describe either a forward state metric or a backward state metric and, when reference is made to a state adjacent to the considered state, this means a state at a time k+1 subsequent or k−1 prior to the considered state, according to the considered metric. 
   ACSO unit  10  receives as an input first data MI 1  and MI 2  which represent intermediate state metric values respectively of a first state adjacent to the considered state, and of a second state adjacent to the considered state. Data MI 1  and MI 2  are coded over a number of bits and a read from a memory. 
   ACSO unit  10  also receives as an input data GI 1  and GI 2  which represent branch metrics respectively for the branch between the first adjacent state and the considered state, and for the branch between the second adjacent state and the considered state. 
   The ACSO unit also receives as an input data SI 1  and SI 2  which represent offset data respectively associated with the state metric of the first adjacent state and with the state metric of the second adjacent state. SI 1  and SI 2  each comprise a single bit. 
   Unit  10  comprises a first adder  12  which adds data MI 1  and GI 1  and a second adder  14  which adds the sum provided by adder  12  and datum SI 1  inverted by an inverter  15 . 
   Unit  10  comprises a third adder  16  adding datum MI 2  and datum GI 2 , and a fourth adder  18  adding the sum provided by adder  16  and datum SI 2  inverted by an inverter  19 . 
   The sum of data MI 1 , GI 1 , and SI 1 , corresponds to a first state metric value of the considered state for a path crossing the first adjacent state. The sum of data MI 2 , GI 2 , and SI 2  corresponds to a second state metric value of the considered state for a path running through the second adjacent state. 
   A selector  20  receives as an input the first and second state metrics and selects between the two state metrics of the considered state the state metric having the highest value. The selected state metric is kept in a memory  21 , for example, a series of parallel latches. 
   The first and second state metric values of the considered state supply a first subtractor  22  which provides a first difference between the first state metric value and the second state metric value. The first and second state metric values supply a second subtractor  24  which provides a second difference between the second state metric value and the first state metric value. The first and second differences thus have the same absolute value and are of opposite signs. 
   A selector  26  receives as an input the difference provided by subtractors  22  and  24 . It selects, among the two differences, the difference with the highest value called VA, that is, the difference of positive sign, which is thus equal to the absolute value of the difference between the first and second state metric values of the considered state. Absolute value VA between the first and second state metric values is thus advantageously determined in a simple manner by means of two subtractors  22 ,  24  and of a selector  26 . 
   Absolute value VA is transmitted to an extractor  27  which provides a datum VE corresponding to a determined number of the most significant bits of datum VA. A calculation unit  28  receives datum VE and provides a one-bit datum SO which is equal to “1” if at least one bit of the significant bit datum is equal to “1”, and which is equal to “0” otherwise. Datum SO is stored in a memory  29 , for example, a latch. 
   In the successive iterations performed for the decoding of the data received by the decoder, data MO and SO provided by ACSO unit  10  in an iteration are used by one of the ACSO units  10  of the decoder respectively as input data MI 1  or MI 2  and SI 1  or SI 2  in the next iteration. 
   To each unit ACSO is associated an additional adder (not shown) adding datum MO and the inverse of SO. The obtained datum corresponds to the state metric of the present state and is stored when the calculation algorithm has converged. 
     FIG. 3  shows a second embodiment of ACSO unit  30 . The elements of  FIG. 3  performing the same functions as the element of  FIG. 2  are shown with the same references, and their operation will not been explained again hereafter. In  FIG. 3 , second adder  14  receives as an input the sum of first adder  12  that it adds to a datum SI 1 ′. Fourth adder  18  receives as an input the sum of third adder  16  that it adds to a datum SI 2 ′. Data SI 1 ′ and SI 2 ′ represent offset data respectively associated with the state metric of the first adjacent state and with the state metric of the second adjacent state. SI 1 ′ and SI 2 ′ each are comprised of a single bit. 
   The output of each subtractor  22 ,  24 , supplies an extractor unit  31 ,  32 , which provides a datum corresponding to a determined number of the most significant bits of the datum of subtractor  22 ,  24 . A calculation unit  33  receives as an input the datum provided by extractor  31  and provides a one-bit datum which is equal to “0” if at least one bit of the datum received by unit  33  is equal to “1” and which is equal to “1” otherwise. A calculation unit  34  receives as an input the datum provided by extractor  32  and provides a one-bit datum which is equal to “0” if at least one bit of the datum received by unit  34  is equal to “1”, and which is equal to “1” otherwise. 
   A selector  36  receives as an input the one-bit data provided by calculation units  33 ,  34  and selects the datum having the highest value, called SO′, which is stored in memory  29 . 
   Datum SO′ provided by ACSO unit  30  in an iteration is used by one of the ACSO units  30  of the decoder respectively as input datum SI 1 ′ or SI 2 ′ at the next iteration. 
   The applicant has shown that upon operation of a conventional ACSO unit, the operation with the most penalizing duration is the determination of the offset value, which is performed by a ROM to which a datum |v|, comprising a determined number of bits, is assigned as an input, and which outputs a datum ln(1+e −|v| ) over a predetermined number of bits, or by a synthesized operation. The applicant has shown that the use of a one-bit offset value causes no remarkable degradation of the decoder performances. Indeed, the decoder comprises other systems such as an analog-to-digital converter, the operation of which is more penalizing for the decoder performances, so that the use of a one-bit offset value has but a small influence on the general decoder performances. 
   The ACSO unit according to the present invention comprises no large-capacity memory, for example a ROM, unlike a conventional ACSO unit, and is formed with simple logic operators only. The unit thus has a particularly simple architecture which enables reducing the operation duration of an iteration of the ACSO unit. 
   The time gain obtained by the present invention further allows for the adjunction of additional logic operators in the ACSO unit to implement tests most often carried out before selling of the decoder. 
   Of course, the present invention is likely to have various alterations, modifications, and improvements which will readily occur to those skilled in the art. In particular, each of the described components may be replaced with one or several components performing the same function. Thus, the first and second (third and fourth) adders may be replaced with a three-input adder. 
   Such alterations, modifications, and improvements are intended to be part of this disclosure, and are intended to be within the spirit and the scope of the present invention. Accordingly, the foregoing description is by way of example only and only as defined in the following claims and the equivalents is not intended to be limiting. The present invention is limited thereto.