# Patent

## Title
Turbo decoder employing simplified log-map decoding

## Abstract

A turbo decoder iteratively decodes a received, encoded signal with one or more constituent decoders employing a simplified log-maximum a posteriori (SMAP) decoding algorithm. The SMAP decoding algorithm calculates reliability information as a log likelihood ratio for a log-MAP algorithm using a reduced set of path metrics recursively updated based on maximum likelihood recursion. Updated extrinsic information for a subsequent decoding may be derived from the LLR calculated by the SMAP decoding algorithm.

## Background
BACKGROUND OF THE INVENTION
1. Field of the Invention
The present invention relates to decoding of encoded and transmitted data in a communication system, and, more particularly, to decoding algorithms in a turbo decoder.
2. Description of the Related Art
Maximum likelihood (ML) and maximum a posteriori (MAP) algorithms are employed for processing a channel output signal applied to a receiver. ML and MAP algorithms may be used for both detection (to reconstruct estimates for transmitted symbols) and decoding (to reconstruct user data). A ML algorithm, such as a Viterbi algorithm, provides a maximum likelihood estimate of a state sequence of a finite-state, discrete-time Markov process observed in noise. Similarly, a MAP algorithm provides a maximum a posteriori estimate of a state sequence of a finite-state, discrete-time Markov process observed in noise. Both ML and MAP algorithms employ a trellis corresponding to possible states (portion of received symbols or data in the sequence) for each received output channel sample per unit increment in time (e.g., clock cycle).
A trellis diagram may represent states, and transitions between states, of the Markov process spanning an interval of time. The number of bits that a state represents is equivalent to the memory of the Markov process. Probabilities are associated with each state (sometimes called a state metric) and each transition between states (sometimes called a branch metric) within the trellis. Probabilities are also associated with each decision for a sample in the sequence, also referred to as “reliability information”.
A processor implementing a MAP algorithm computes reliability information in the form of log-likelihood ratio (LLR) reliability values Li using α values (forward state probabilities for states in the trellis and also known as a forward state metric or recursion) and β values (reverse state probabilities in the trellis and also known as a backward state metric or recursion), as described subsequently. The α values are associated with states within the trellis, and these α values are stored in memory. The processor using a MAP algorithm then computes values of β, and α values are subsequently retrieved from memory to compute the final output LLR values.
A sequence of information bits




  M
  =
  
    
      {
      
        m
        i
      
      }
    
    
      i
      =
      0
    
    
      K
      -
      1
    
  




may be defined, where K is the frame size or block of encoding. An encoder, such as a convolutional encoder of rate r=1/2 and alternate puncturing, may be employed to generate an encoded sequence





  X
  =
  
    
      {
      
        
          x
          i
        
        ,
        
          p
          i
        
      
      }
    
    
      i
      =
      0
    
    
      K
      -
      1
    
  




from M, where xi=mi for a systematic code and pi may be parity (e.g., Hamming code) bits. The encoded sequence X might then be transmitted (e.g., with polarity of bit 0=“1” and bit 1=“−1”) through a channel with additive white Gaussian noise (AWGN) with variance σ2=(No/2) using, for example, binary phase-shift keyed (BPSK) modulation. A receiver may receive a sequence





  
    Y
    =
    
      
        {
        
          
            y
            i
          
          ,
          
            t
            i
          
        
        }
      
      
        i
        =
        0
      
      
        K
        -
        1
      
    
  
  ,




where yi=xi√{square root over (Eb)}+ni and ti=pi√{square root over (Eb)}+ni, where Eb is the energy of a bit.

Extrinsic information may be generated at the receiver, and may be defined as the sequence




  
    Z
    =
    
      
        {
        
          z
          i
        
        }
      
      
        i
        =
        0
      
      
        K
        -
        1
      
    
  
  ,




where zi is as given in equation (1):





  
    
      
        
          
            z
            i
          
          =
          
            log
            ⁢
            
              
                p
                ⁢
                
                  (
                  
                    
                      m
                      i
                    
                    =
                    1
                  
                  )
                
              
              
                p
                ⁡
                
                  (
                  
                    
                      m
                      i
                    
                    =
                    
                      -
                      1
                    
                  
                  )
                
              
            
          
        
        ,
      
    
    
      
        (
        1
        )
      
    
  




where p(a=b) is the probability that “a” equals “b”, and the probability of mi, p(mi), is as given in equation (2):





  
    
      
        
          p
          ⁡
          
            (
            
              m
              i
            
            )
          
        
        =
        
          
            
              e
              
                
                  m
                  i
                
                ⁢
                
                  
                    z
                    i
                  
                  /
                  2
                
              
            
            
              
                e
                
                  
                    -
                    
                      z
                      i
                    
                  
                  /
                  2
                
              
              +
              
                e
                
                  
                    z
                    i
                  
                  /
                  2
                
              
            
          
          .
        
      
    
    
      
        (
        2
        )
      
    
  




As described previously, a receiver may form a trellis of states if an ML or MAP decoding algorithm is employed. The variable Si is defined as a state of the trellis (from a set of possible states {Sip}p=0M−1) of the Markov process at time i, yi is defined as the noisy channel output sample at time i corresponding to encoded data, ti is defined as the noisy channel output sample at time i corresponding to the parity bit, and the sample sequence Y is defined as the sequence of length K of noisy channel output samples




  
    
      {
      
        
          y
          i
        
        ,
        
          t
          i
        
      
      }
    
    
      i
      =
      0
    
    
      K
      -
      1
    
  
  .




For a MAP algorithm processing a data block of length K, probability functions at time i may be defined for the Markov process as given in equations (3) through (5):

α(Si)=p(Si=s;Y)  (3)

β(Si)=p(Y|Si=s)  (4)

γ(Si−1, Si)=p(Si=s; Y|Si−1=s).  (5)

where Si is the state of the Markov process variable at time i, Si−1 is the state of the Markov process variable at time i−1, s is the observed state of Si of the Markov process at time i, and s is the observed state of Si−1 of the Markov process at time i−1. In equations (3) and (4), p(a|b) is the probability of “a” given the occurrence “b.” The value of α(Si) in equation (3) is a forward state metric (i.e., the probability of being in a state at time i from a given state at time i−1 given the observed sample), and the value of β(Si) in equation (4) is a backward state metric (i.e., the probability of being in a state at time i from a given state at time i+1 given the observed sample). The value of γ(Si−1,Si) is termed a branch metric and is the probability of a transition from a state Si−1 at time i−1 to state Si at time i.

The forward state metric α(Si) and reverse state metric β(Si) are calculated based on a recursive update process, with the initial values set to a predefined value such as 1 or 0 using α priori information. Methods to calculate the branch metric γ(Si−1,Si) are well-known in the art and may be based on a minimized cost function, such as minimum Euclidean distance between the observed channel output yi and the ideal symbol corresponding to yi. State metrics are updated using the previous state metric values and the branch metric values for transitions from the previous states to the current state.
The LLR value Li for a user's symbol at time i may then be calculated as given in equation (6):




  
    
      
        
          L
          i
        
        =
        
          
            log
            ⁡
            
              (
              
                
                  p
                  ⁡
                  
                    (
                    
                      
                        x
                        i
                      
                      =
                      
                        
                          +
                          1
                        
                        |
                        Y
                      
                    
                    )
                  
                
                
                  p
                  ⁡
                  
                    (
                    
                      
                        x
                        i
                      
                      =
                      
                        
                          -
                          1
                        
                        |
                        Y
                      
                    
                    )
                  
                
              
              )
            
          
          .
        
      
    
    
      
        (
        6
        )
      
    
  




Defining α(Si) and β(Si) from equations (3) and (4) as the forward and backward state metrics at time i, respectively, and defining γ(Si−1,Si) as the branch metric associated with the transition from the state Si−1 at time i−1 to state Si at time i, then the forward recursion for states is given in equation (7):




  
    
      
        
          
            α
            ⁡
            
              (
              
                S
                i
              
              )
            
          
          =
          
            
              ∑
              
                S
                
                  i
                  -
                  1
                
              
            
            ⁢
            
              
                α
                ⁡
                
                  (
                  
                    S
                    
                      i
                      -
                      1
                    
                  
                  )
                
              
              ⁢
              
                γ
                ⁡
                
                  (
                  
                    
                      S
                      
                        i
                        -
                        1
                      
                    
                    ,
                    
                      S
                      i
                    
                  
                  )
                
              
            
          
        
        ,
      
    
    
      
        (
        7
        )
      
    
  




where the summation is over all transitions from state Si−1 at time i−1 to state Si at time i which are valid transitions. In general, a valid, continuous path P through the trellis might begin and end with a zero state on the trellis. Thus, α(So)=1 when So=0, and α(So)=0 when So≠0.

Similarly, the backward recursion for states is given in equation (8):




  
    
      
        
          
            β
            ⁡
            
              (
              
                S
                i
              
              )
            
          
          =
          
            
              ∑
              
                S
                
                  i
                  +
                  1
                
              
            
            ⁢
            
              
                β
                ⁡
                
                  (
                  
                    S
                    
                      i
                      +
                      1
                    
                  
                  )
                
              
              ⁢
              
                γ
                ⁡
                
                  (
                  
                    
                      S
                      
                        i
                        +
                        1
                      
                    
                    ,
                    
                      S
                      i
                    
                  
                  )
                
              
            
          
        
        ,
      
    
    
      
        (
        8
        )
      
    
  




where the summation is over all transitions from state Si+1 at time i+1 to state Si at time i which are valid transitions. Similarly, β(SK)=1 when SK=0, and β(SK)=0when So≠0.

Once the forward and backward recursions for states are calculated, equation (6) is employed to generate the LLR value Li for each user symbol at time i using the relationships of equations (7) and (8). Thus, equation (6) may be re-written as given in equation (9):




  
    
      
        
          L
          i
        
        =
        
          
            log
            ⁢
            
              
                
                  ∑
                  
                    P
                    ∈
                    
                      P
                      +
                    
                  
                
                ⁢
                
                  p
                  (
                  
                    Y
                    ⁢
                    
                      
                      X
                      )
                    
                  
                
              
              
                
                  ∑
                  
                    P
                    ∈
                    
                      P
                      -
                    
                  
                
                ⁢
                
                  p
                  (
                  
                    Y
                    ⁢
                    
                      
                      X
                      )
                    
                  
                
              
            
          
          =
          
            log
            ⁡
            
              (
              
                
                  
                    ∑
                    
                      S
                      +
                    
                  
                  ⁢
                  
                    
                      α
                      ⁡
                      
                        (
                        
                          S
                          i
                        
                        )
                      
                    
                    ⁢
                    
                      γ
                      ⁡
                      
                        (
                        
                          
                            S
                            i
                          
                          ,
                          
                            S
                            
                              i
                              +
                              1
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      β
                      ⁡
                      
                        (
                        
                          S
                          
                            i
                            +
                            1
                          
                        
                        )
                      
                    
                  
                
                
                  
                    ∑
                    
                      S
                      -
                    
                  
                  ⁢
                  
                    
                      α
                      ⁡
                      
                        (
                        
                          S
                          i
                        
                        )
                      
                    
                    ⁢
                    
                      γ
                      ⁡
                      
                        (
                        
                          
                            S
                            i
                          
                          ,
                          
                            S
                            
                              i
                              +
                              1
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      β
                      ⁡
                      
                        (
                        
                          S
                          
                            i
                            +
                            1
                          
                        
                        )
                      
                    
                  
                
              
              )
            
          
        
      
    
    
      
        (
        9
        )
      
    
  




which is known as the log-MAP algorithm. In equation (9), P∈P+ when a continuous path P includes the state at time i corresponding to the user symbol xi=“1” (“∈” is the mathematical term indicating “an element of”). Similarly, P∈P− when a continuous path P includes the state at time i corresponding to the user symbol xi=“−1”. Also, in equation (9), a transition between a state pair that are elements of S+ is defined as a transition for a state pair at time i corresponding to the user symbol xi=“1”. A transition between a state pair that are elements of S− is similarly defined as a transition for a state pair at time i corresponding to the user symbol xi=“−1”.

The log-MAP algorithm calculation of the LLR value is sometimes approximated, and one such approximation is the max-log-MAP algorithm. The max-log-MAP algorithm calculates LLR Li(M) at time i as given in equation (10):




  
    
      
        
          L
          i
          
            (
            M
            )
          
        
        =
        
          
            log
            ⁢
            
              
                
                  ∑
                  
                    P
                    ∈
                    
                      P
                      +
                    
                  
                
                ⁢
                
                  p
                  (
                  
                    Y
                    ⁢
                    
                      
                      X
                      )
                    
                  
                
              
              
                
                  ∑
                  
                    P
                    ∈
                    
                      P
                      -
                    
                  
                
                ⁢
                
                  p
                  (
                  
                    Y
                    ⁢
                    
                      
                      X
                      )
                    
                  
                
              
            
          
          ≈
          
            log
            ⁢
            
              
                
                  
                    max
                    
                      p
                      +
                    
                  
                  ⁢
                  
                    p
                    (
                    
                      Y
                      ⁢
                      
                        
                        X
                        )
                      
                    
                  
                
                
                  
                    max
                    
                      p
                      -
                    
                  
                  ⁢
                  
                    p
                    (
                    
                      Y
                      ⁢
                      
                        
                        X
                        )
                      
                    
                  
                
              
              .
            
          
        
      
    
    
      
        (
        10
        )
      
    
  




To simplify the computations, a MAP algorithm (e.g., log-MAP, max-log-MAP) might be modified by substituting A(Si)=log (α(Si), B(Si)=log (β(Si)), and C(Si−1Si)=log (γ(Si−1Si)) into the equations (7), (8), and (9). The forward and backward recursions of the MAP algorithm may be described as in equations (11) and (12):




  
    
      
        
          A
          ⁡
          
            (
            
              S
              i
            
            )
          
        
        =
        
          
            max
            
              S
              
                i
                -
                1
              
            
          
          ⁢
          
            *
            
              {
              
                
                  A
                  ⁡
                  
                    (
                    
                      S
                      
                        i
                        -
                        1
                      
                    
                    )
                  
                
                +
                
                  C
                  ⁡
                  
                    (
                    
                      
                        S
                        
                          i
                          -
                          1
                        
                      
                      ,
                      
                        S
                        i
                      
                    
                    )
                  
                
              
              }
            
          
        
      
    
    
      
        (
        11
        )
      
    
  
  
    
      
        
          B
          ⁡
          
            (
            
              S
              i
            
            )
          
        
        =
        
          
            max
            
              S
              
                i
                +
                1
              
            
          
          ⁢
          
            *
            
              {
              
                
                  B
                  ⁡
                  
                    (
                    
                      S
                      
                        i
                        +
                        1
                      
                    
                    )
                  
                
                +
                
                  C
                  ⁡
                  
                    (
                    
                      
                        S
                        i
                      
                      ,
                      
                        S
                        
                          i
                          +
                          1
                        
                      
                    
                    )
                  
                
              
              }
            
          
        
      
    
    
      
        (
        12
        )
      
    
  




where max*(x, y) is defined as max(x, y)+log ((e−|x−y|)+1). Note that equations (11) and (12) may include more than two terms in the max*( ) operator, indicated by the set notation “{ }”, so a max*(x, y, . . . , z) operation may be performed as a series of pairs of max*(•,•) calculations. Max (x, y) is defined as the “max term” and log((e−|x−y|)+1) is defined as the “logarithmic correction term.”

SUMMARY OF THE INVENTION
In accordance with exemplary embodiments of the present invention, a turbo decoder iteratively decodes a received, encoded signal with one or more constituent decoders employing a simplified log-maximum a posteriori (SMAP) decoding algorithm. The SMAP decoding algorithm calculates reliability information as a log likelihood ratio (LLR) for a log-MAP algorithm using state and path metrics recursively updated based on maximum likelihood recursion. Updated extrinsic information for a subsequent decoding may be derived from the LLR calculated by the SMAP decoding algorithm.
In accordance with an exemplary embodiment of the present invention, decoding of channel samples to generate decoded data includes, for a given time instant, updating forward and backward state metrics of a trellis having corresponding states for decoded channel samples using only one or more surviving paths based on a method of maximum likelihood (ML) sequence detection. Reliability information for decoded channel samples is calculated from the updated forward and backward state metrics based on a log-maximum a posteriori (log-MAP) decoding algorithm, wherein the reliability information is calculated using only the one or more surviving paths through the trellis corresponding to valid decoded data values.



BRIEF DESCRIPTION OF THE DRAWINGS
Other aspects, features, and advantages of the present invention will become more fully apparent from the following detailed description, the appended claims, and the accompanying drawings in which:
FIG. 1 shows a system including a receiver having a turbo decoder employing a simplified log-MAP decoding algorithm in accordance with an exemplary embodiment of the present invention;
FIG. 2 shows an exemplary 2-state butterfly trellis showing a transition from previous to current states; and
FIG. 3 shows an exemplary add-compare-select circuit implementing a forward recursion calculation for the trellis of FIG. 2.



DETAILED DESCRIPTION
FIG. 1 shows transmitter 101 passing an encoded and modulated signal through channel 102 to receiver 103. Transmitter 101 includes systematic turbo encoder 135 performing parallel concatenation of two identical constituent convolutional encoders separated by an interleaver. Each constituent convolutional encoder employs a recursive systematic code (RSC). For example, a sequence of information bits




  M
  =
  
    
      {
      
        m
        i
      
      }
    
    
      i
      =
      0
    
    
      K
      -
      1
    
  




may be defined, where K is the frame size, or block, of encoding. Turbo encoder 135, which may be a convolutional encoder of rate r=1/2 and alternate puncturing, may be employed to generate an encoded sequence





  X
  =
  
    
      {
      
        
          x
          i
        
        ,
        
          p
          i
        
      
      }
    
    
      i
      =
      0
    
    
      K
      -
      1
    
  




from M, where xi=mi for a systematic code and pi may be parity or hamming code bits.

The encoded information bits, or data, are transmitted as a modulated signal through channel 102, such as a magnetic recording channel or wireless communication channel. The encoded sequence X might be transmitted with polarity of bit 0=“1” and bit 1=“−1”, and might be transmitted through channel 102 with additive white Gaussian noise (AWGN) having variance σ2=(No/2). Encoded sequence X is transmitted, for example, with BPSK modulation. While not shown explicitly in FIG. 1, transmitter 101 includes components and other systems well known in the art to modulate and transfer the signal to the channel.
Receiver 103 includes front-end circuitry 104, sampler/detector 105, sample conditioning module 106, and turbo decoder 107. Receiver may receive a sequence




  
    Y
    =
    
      
        {
        
          
            y
            i
          
          ,
          
            t
            i
          
        
        }
      
      
        i
        =
        0
      
      
        K
        -
        1
      
    
  
  ,




where yi=xi√{square root over (Eb)}+ni, ti=pi√{square root over (Eb)}+ni, and Eb is the energy of a bit. Front-end circuitry 104 may be employed to receive and demodulate the signal from the channel. Sampler/detector 105 samples the signal received from channel 102 and detects peaks to generate output channel samples. Sample conditioning module 106 might be employed for any number of functions which may include, but are not limited to, signal-to-noise ratio (SNR) estimation, scaling of sample values prior to decoding by turbo decoder 107, sampling (timing) synchronization/compensation, and equalization.

Turbo encoder 107 employs an SMAP decoding algorithm operating in accordance with one or more embodiments of the present invention, as described subsequently. Turbo decoder 107 is employed by receiver 103 to reconstruct the user information or data from the output channel samples. Turbo decoder 107 might also employ a turbo decoding scheme based on one or more MAP other decoding algorithms.
Turbo decoder 107 includes constituent decoders 110 and 111, (data) interleaver 113, (extrinsic information (EI)) interleaver 113, de-interleaver 114, and decoding processor 115. Decoding processor 115 is coupled to the various elements of turbo decoder 107 (shown in the FIGURE as arrows to/from decoding processor 115). Turbo decoder 107 employs iterative decoding, (i.e., repetitively decoding the sequence of channel output samples with two or more iterations) with each iteration comprising a series of constituent MAP decoding operations. Each constituent MAP decoding operation of the iteration corresponds to a constituent encoding operation of the transmitter 101. Each of decoders 110 and 111 applies the corresponding constituent MAP decoding operation during an iteration.
In turbo decoding, each constituent MAP decoding operation generates i) soft decisions for received user bits and ii) a set of LLR values corresponding to the soft decisions. Information generated by one constituent MAP decoding may be used as extrinsic information (a priori information about a bit decision of another decoding) by the next constituent MAP decoding operation. Consequently, the input data stream Y from sample conditioning 106 and extrinsic information from de-interleaver 114 are applied to decoder 110, which decodes the input data stream Y into soft decisions for the decoded data as well as updated extrinsic information from the constituent decoding. The updated extrinsic information includes two components: the original a priori information and new, a posteriori information from this decoding operation.
Since the turbo encoder 135 separates the constituent encodings with an interleaver, at the receiver, the input data stream Y is interleaved by (data) interleaver 113, and the updated extrinsic information from decoder 110 is interleaved by (EI) interleaver 112. Decoder 111 decodes the interleaved input data stream Y from (data) interleaver 113 using the interleaved extrinsic information from (EI) interleaver 112. Decoder 111 generates soft decisions for the decoded data as well as newly updated extrinsic information, completing the current iteration of turbo decoder 107. The newly updated extrinsic information is de-interleaved by de-interleaver 114, and applied to decoder 110 for the next iteration. For the first iteration, the extrinsic information Z={zi} applied to decoder 110 may be set to a predefined number, such as zi=0 for 0≦i≦K.
An iterative decoder might employ a fixed number of iterations of decoding, or might employ early termination of iterative decoding (stopping at an earlier iteration) using a predefined metric, such as SNR or bit-error rate (BER) of the decoded data. The number of iterations for a given implementation might be determined through simulation. Once the iterative decoding process completes, the reliability information is used by decoding processor 115 to make hard decisions for the decoded data.
An exemplary embodiment of the SMAP decoding algorithm is as follows. The forward and backward recursion for updating path metrics for log-MAP decoding are given previously in equations (7) and (8), repeated below:




  
    
      
        
          
            α
            ⁡
            
              (
              
                S
                i
              
              )
            
          
          =
          
            
              ∑
              
                S
                
                  i
                  -
                  1
                
              
            
            ⁢
            
              
                α
                ⁡
                
                  (
                  
                    S
                    
                      i
                      -
                      1
                    
                  
                  )
                
              
              ⁢
              
                γ
                ⁡
                
                  (
                  
                    
                      S
                      
                        i
                        -
                        1
                      
                    
                    ,
                    
                      S
                      i
                    
                  
                  )
                
              
            
          
        
        ,
        and
      
    
    
      
        (
        7
        )
      
    
  
  
    
      
        
          β
          ⁡
          
            (
            
              S
              i
            
            )
          
        
        =
        
          
            ∑
            
              S
              
                i
                +
                1
              
            
          
          ⁢
          
            
              β
              ⁡
              
                (
                
                  S
                  
                    i
                    +
                    1
                  
                
                )
              
            
            ⁢
            
              
                γ
                ⁡
                
                  (
                  
                    
                      S
                      
                        i
                        +
                        1
                      
                    
                    ,
                    
                      S
                      i
                    
                  
                  )
                
              
              .
            
          
        
      
    
    
      
        (
        8
        )
      
    
  




Given the forward and backward recursive computations for updating path metrics for log-MAP decoding of equations (7) and (8), modified forward and backward recursive sequences α*(Si) and β*(Si) in accordance with the exemplary embodiment are given in equations (13) and (14):

α*(Si)=maxsi−1{α*(Si−1)γ(Si−1,Si)}  (13)

β*(Si)=maxsi+1{β*(Si+1)γ(Si+1Si)}.  (14)

In general, a valid, continuous path P through the trellis begins and ends with a zero state on the trellis. Thus, α(So)=1 when So=0, and α(So)=0 when So≠0, and, similarly, β(SK)=1 when SK=0, and β(SK)=0 when So≠0.

For the SMAP decoding algorithm, forward and backward recursions of equations (13) and (14), respectively, are employed with equation (10) to generate the SMAP LLR value Li* as given in equation (15):




  
    
      
        
          L
          i
          *
        
        =
        
          
            log
            ⁡
            
              (
              
                
                  
                    ∑
                    
                      S
                      +
                    
                  
                  ⁢
                  
                    
                      
                        α
                        *
                      
                      ⁡
                      
                        (
                        
                          S
                          i
                        
                        )
                      
                    
                    ⁢
                    
                      γ
                      ⁡
                      
                        (
                        
                          
                            S
                            i
                          
                          ,
                          
                            S
                            
                              i
                              +
                              1
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      
                        β
                        *
                      
                      ⁡
                      
                        (
                        
                          S
                          
                            i
                            +
                            1
                          
                        
                        )
                      
                    
                  
                
                
                  
                    ∑
                    
                      S
                      -
                    
                  
                  ⁢
                  
                    
                      
                        α
                        *
                      
                      ⁡
                      
                        (
                        
                          S
                          i
                        
                        )
                      
                    
                    ⁢
                    
                      γ
                      ⁡
                      
                        (
                        
                          
                            S
                            i
                          
                          ,
                          
                            S
                            
                              i
                              +
                              1
                            
                          
                        
                        )
                      
                    
                    ⁢
                    
                      
                        β
                        *
                      
                      ⁡
                      
                        (
                        
                          S
                          
                            i
                            +
                            1
                          
                        
                        )
                      
                    
                  
                
              
              )
            
          
          =
          
            log
            ⁢
            
              
                
                  ∑
                  
                    P
                    ∈
                    
                      
                        P
                        +
                      
                      ⁡
                      
                        (
                        Surviving
                        )
                      
                    
                  
                
                ⁢
                
                  p
                  (
                  
                    Y
                    ⁢
                    
                      
                      X
                      )
                    
                  
                
              
              
                
                  ∑
                  
                    P
                    ∈
                    
                      
                        P
                        -
                      
                      ⁡
                      
                        (
                        Surviving
                        )
                      
                    
                  
                
                ⁢
                
                  p
                  (
                  
                    Y
                    ⁢
                    
                      
                      X
                      )
                    
                  
                
              
            
          
        
      
    
    
      
        (
        15
        )
      
    
  




where in the right-hand log expression a path P is an element of the set of paths P+(Surviving) if the set of states of path P includes {S: mi=xi=“+1”} covering all paths starting and ending with the zero state, and a path P is an element of the set of paths P−(Surviving) if the set of states of path P includes {S: mi=xi“−1”} covering all paths starting and ending with the zero state.

As shown by the right-hand log expression in equation (15), the forward recursion is analogous to implementing a maximum likelihood (ML) sequence algorithm (e.g., Viterbi algorithm) through a trellis with path trimming. The backward recursion is similarly analogous to ML sequence detection, where the ML detection runs through the trellis in reverse after the frame of samples is received. Consequently, the exemplary SMAP decoding algorithm covers all surviving paths through the trellis, which is a smaller set of paths than the set of paths considered by the prior art log-MAP LLR calculation of equation (10). Reducing the set of paths considered by SMAP decoding algorithm allows for fewer computations when generating forward and backward recursions.
As is known in the art, the p(Y|X) term may account for the extrinsic information Z for a ML sequence algorithm, and so the term is modified to become the probability p({Y, Z}|X) of equation (16):




  
    
      
        
          
            
              p
              (
              
                {
                
                  Y
                  ,
                  Z
                
                }
              
              
            
            ⁢
            X
          
          )
        
        =
        
          
            
              (
              
                1
                
                  
                    
                      
                        2
                        ⁢
                        
                          
                        
                        ⁢
                        π
                      
                      ⁢
                      
                        
                      
                    
                  
                  ⁢
                  σ
                
              
              )
            
            
              2
              ⁢
              K
            
          
          ⁢
          
            (
            
              
                ∏
                
                  i
                  =
                  0
                
                
                  K
                  -
                  1
                
              
              ⁢
              
                1
                
                  
                    e
                    
                      
                        z
                        i
                      
                      /
                      2
                    
                  
                  +
                  
                    e
                    
                      
                        -
                        
                          z
                          i
                        
                      
                      /
                      2
                    
                  
                
              
            
            )
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    1
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              ⁢
              
                
                  ∑
                  
                    i
                    =
                    0
                  
                  
                    K
                    -
                    1
                  
                
                ⁢
                
                  
                
                ⁢
                
                  {
                  
                    
                      
                        (
                        
                          
                            y
                            i
                          
                          -
                          
                            
                              x
                              i
                            
                            ⁢
                            
                              
                                E
                                b
                              
                            
                          
                        
                        )
                      
                      2
                    
                    +
                    
                      
                        (
                        
                          
                            t
                            i
                          
                          -
                          
                            
                              p
                              i
                            
                            ⁢
                            
                              
                                E
                                b
                              
                            
                          
                        
                        )
                      
                      2
                    
                  
                  }
                
              
            
          
          ⁢
          
            e
            
              
                1
                2
              
              ⁢
              
                
                  ∑
                  
                    i
                    =
                    0
                  
                  
                    K
                    -
                    1
                  
                
                ⁢
                
                  
                    m
                    i
                  
                  ⁢
                  
                    z
                    i
                  
                
              
            
          
        
      
    
    
      
        (
        16
        )
      
    
  




and path metrics pm for paths in P+(Surviving) and P−(Surviving) are as given in equations (17) and (18):





  
    
      
        
          pm
          
            
              p
              +
            
            ⁡
            
              (
              Surviving
              )
            
          
        
        =
        
          
            
              (
              
                1
                
                  
                    
                      
                        2
                        ⁢
                        
                          
                        
                        ⁢
                        π
                      
                      ⁢
                      
                        
                      
                    
                  
                  ⁢
                  σ
                
              
              )
            
            
              2
              ⁢
              K
            
          
          ⁢
          
            (
            
              
                ∏
                
                  i
                  =
                  0
                
                
                  K
                  -
                  1
                
              
              ⁢
              
                1
                
                  
                    e
                    
                      
                        z
                        i
                      
                      /
                      2
                    
                  
                  +
                  
                    e
                    
                      
                        -
                        
                          z
                          i
                        
                      
                      /
                      2
                    
                  
                
              
            
            )
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    
                      
                        (
                        
                          
                            y
                            i
                          
                          +
                          
                            
                              E
                              b
                            
                          
                        
                        )
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  z
                  i
                
              
            
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    
                      
                        (
                        
                          
                            t
                            i
                          
                          -
                          
                            
                              p
                              i
                            
                            ⁢
                            
                              
                                E
                                b
                              
                            
                          
                        
                        )
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              -
              
                
                  1
                  
                    2
                    ⁢
                    
                      σ
                      2
                    
                  
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    {
                    
                      
                        
                          (
                          
                            
                              y
                              j
                            
                            -
                            
                              
                                x
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                      +
                      
                        
                          (
                          
                            
                              t
                              j
                            
                            -
                            
                              
                                p
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                    
                    }
                  
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      m
                      j
                    
                    ⁢
                    
                      z
                      j
                    
                  
                
              
            
          
        
      
    
    
      
        (
        17
        )
      
    
  
  
    
      
        
          pm
          
            
              p
              -
            
            ⁡
            
              (
              Surviving
              )
            
          
        
        =
        
          
            
              (
              
                1
                
                  
                    
                      
                        2
                        ⁢
                        
                          
                        
                        ⁢
                        π
                      
                      ⁢
                      
                        
                      
                    
                  
                  ⁢
                  σ
                
              
              )
            
            
              2
              ⁢
              K
            
          
          ⁢
          
            (
            
              
                ∏
                
                  i
                  =
                  0
                
                
                  K
                  -
                  1
                
              
              ⁢
              
                1
                
                  
                    e
                    
                      
                        z
                        i
                      
                      /
                      2
                    
                  
                  +
                  
                    e
                    
                      
                        -
                        
                          z
                          i
                        
                      
                      /
                      2
                    
                  
                
              
            
            )
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    
                      
                        (
                        
                          
                            y
                            i
                          
                          -
                          
                            
                              E
                              b
                            
                          
                        
                        )
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              -
              
                
                  1
                  
                    2
                    ⁢
                    
                      σ
                      2
                    
                  
                
                ⁢
                
                  z
                  i
                
              
            
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    
                      
                        (
                        
                          
                            t
                            i
                          
                          -
                          
                            
                              p
                              i
                            
                            ⁢
                            
                              
                                E
                                b
                              
                            
                          
                        
                        )
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              -
              
                
                  1
                  
                    2
                    ⁢
                    
                      σ
                      2
                    
                  
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    {
                    
                      
                        
                          (
                          
                            
                              y
                              j
                            
                            -
                            
                              
                                x
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                      +
                      
                        
                          (
                          
                            
                              t
                              j
                            
                            -
                            
                              
                                p
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                    
                    }
                  
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    
                  
                  ⁢
                  
                    
                      m
                      j
                    
                    ⁢
                    
                      z
                      j
                    
                  
                
              
            
          
        
      
    
    
      
        (
        18
        )
      
    
  




Turbo decoder 107 iteratively decodes the input data, and as described previously, each decoder (e.g., each of decoders 110 and 111) receives updated extrinsic information from a previous decoding. Generation of updated extrinsic information is now described. Each LLR value Li* that is calculated by a SMAP decoder may be decomposed into three components: a component that is a function of the observed symbol yi, the input (a priori) extrinsic information applied to the decoder, and the updated (a posteriori) extrinsic information.
Consequently, for an additive white Gaussian noise (AWGN) channel having noise (power) variance




  
    σ
    2
  
  =
  
    
      N
      0
    
    2
  




and bit energy Eb, decoding by each constituent MAP decoder generates an LLR value Li for time i, which may be considered to have three components as given in equation (19):





  
    
      
        
          
            L
            i
            *
          
          =
          
            
              
                
                  2
                  ⁢
                  
                    
                      E
                      b
                    
                  
                
                
                  σ
                  2
                
              
              ⁢
              
                y
                i
              
            
            +
            
              z
              i
            
            +
            
              l
              i
            
          
        
        ,
      
    
    
      
        (
        19
        )
      
    
  




where





  
    
      L
      i
      *
    
    ∈
    
      
        {
        
          L
          i
          *
        
        }
      
      
        i
        =
        0
      
      
        K
        -
        1
      
    
  
  ,
  
    and
    ⁢
    
      
    
    ⁢
    
      
        {
        
          L
          i
          *
        
        }
      
      
        i
        =
        0
      
      
        K
        -
        1
      
    
  




is the sequence of LLR values for





  
    
      {
      
        x
        i
      
      }
    
    
      i
      =
      0
    
    
      K
      -
      1
    
  
  .




In equation (19), the right-hand term as a function of sample yi corresponds to the soft decision, the term zi is the input a priori extrinsic information from the previous constituent MAP decoding operation (which may be zero for the first iteration), and li is the newly generated extrinsic information for the next constituent MAP decoding operation (which is input as zi for the next decoding). Using the relation of equations (2), (15), (17) and (18), the updated extrinsic information li in equation (19) is as given in equation (20):





  
    
      
        
          l
          i
        
        =
        
          log
          ⁢
          
            
              
                ∑
                
                  P
                  ∈
                  
                    P
                    
                      (
                      surviving
                      )
                    
                    +
                  
                
              
              ⁢
              
                e
                
                  
                    -
                    
                      (
                      
                        
                          
                            (
                            
                              
                                t
                                i
                              
                              -
                              
                                
                                  p
                                  i
                                
                                ⁢
                                
                                  
                                    E
                                    b
                                  
                                
                              
                            
                            )
                          
                          2
                        
                        
                          2
                          ⁢
                          
                            σ
                            2
                          
                        
                      
                      )
                    
                  
                  -
                  
                    
                      (
                      
                        1
                        
                          2
                          ⁢
                          
                            σ
                            2
                          
                        
                      
                      )
                    
                    ⁢
                    
                      
                        ∑
                        
                          j
                          ≠
                          1
                        
                      
                      ⁢
                      
                        {
                        
                          
                            
                              (
                              
                                
                                  y
                                  j
                                
                                -
                                
                                  
                                    x
                                    j
                                  
                                  ⁢
                                  
                                    
                                      E
                                      b
                                    
                                  
                                
                              
                              )
                            
                            2
                          
                          +
                          
                            
                              (
                              
                                
                                  t
                                  j
                                
                                -
                                
                                  
                                    p
                                    j
                                  
                                  ⁢
                                  
                                    
                                      E
                                      b
                                    
                                  
                                
                              
                              )
                            
                            2
                          
                        
                        }
                      
                    
                  
                  +
                  
                    
                      1
                      2
                    
                    ⁢
                    
                      
                        ∑
                        
                          j
                          ≠
                          1
                        
                      
                      ⁢
                      
                        
                          m
                          j
                        
                        ⁢
                        
                          z
                          j
                        
                      
                    
                  
                
              
            
            
              
                ∑
                
                  P
                  ∈
                  
                    P
                    
                      (
                      surviving
                      )
                    
                    -
                  
                
              
              ⁢
              
                e
                
                  
                    -
                    
                      (
                      
                        
                          
                            (
                            
                              
                                t
                                i
                              
                              -
                              
                                
                                  p
                                  i
                                
                                ⁢
                                
                                  
                                    E
                                    b
                                  
                                
                              
                            
                            )
                          
                          2
                        
                        
                          2
                          ⁢
                          
                            σ
                            2
                          
                        
                      
                      )
                    
                  
                  -
                  
                    
                      (
                      
                        1
                        
                          2
                          ⁢
                          
                            σ
                            2
                          
                        
                      
                      )
                    
                    ⁢
                    
                      
                        ∑
                        
                          j
                          ≠
                          1
                        
                      
                      ⁢
                      
                        {
                        
                          
                            
                              (
                              
                                
                                  y
                                  j
                                
                                -
                                
                                  
                                    x
                                    j
                                  
                                  ⁢
                                  
                                    
                                      E
                                      b
                                    
                                  
                                
                              
                              )
                            
                            2
                          
                          +
                          
                            
                              (
                              
                                
                                  t
                                  j
                                
                                -
                                
                                  
                                    p
                                    j
                                  
                                  ⁢
                                  
                                    
                                      E
                                      b
                                    
                                  
                                
                              
                              )
                            
                            2
                          
                        
                        }
                      
                    
                  
                  +
                  
                    
                      1
                      2
                    
                    ⁢
                    
                      
                        ∑
                        
                          j
                          ≠
                          1
                        
                      
                      ⁢
                      
                        
                          m
                          j
                        
                        ⁢
                        
                          z
                          j
                        
                      
                    
                  
                
              
            
          
        
      
    
    
      
        (
        20
        )
      
    
  




To simplify computation, the SMAP decoding algorithm may be defined by substituting α*(Si)=log (α*(Si), b*(Si)=−log (β*(Si)), and c(Si−1Si))=log (γ(Si−1Si)). Equations(13) and (14) are then modified as in equations (21) and (22):

a*(Si)=max*{a*(Si−1)+c(Si−1,Si)}  (21)

b*(Si)=max*{b*(Si+1)+c(Si+1,Si)}.  (22)

Using the relations of equations (11), (12), (21), and (22), the SMAP decoding algorithm of equation (15) may be modified as in equation (23):

Li*=maxmi=+1*{a*(Si−1)+c(Si−1,Si)+b*(Si)}−maxmi=−1{a*(Si−1)+c(Si−1,Si)+b*(Si)}  (23)

where a*(Si−1) log α*(Si−1), b*(Si)=log β*(Si), and c(Si−1,Si)=log γ(Si−1,Si).

For example, the simple case of a two-state trellis, also called a butterfly trellis, is shown in FIG. 2. The butterfly trellis of FIG. 2 might be considered a portion of a long sequence of states for a block of K observed channel samples. To calculate the forward and reverse recursion values a*(Sik)k=1,2 and b*(Sik)k=1,2, where the superscript k identifies state 1 or state 2, each max*(•,•) term of equation (21) and (22) may be implemented using an add-compare-select (ACS) circuit well known in the art. FIG. 3 shows an exemplary ACS circuit 300 implementing a forward recursion in accordance with the SMAP decoding algorithm to update the forward recursion a*(Si1) of state Si1. ACS circuit 300 includes combiners 301 and 302, compare & select circuit 303, look-up table (LUT) 304, and adder 305.
Combiner 301 combines a*(Si−11) and c(Si−11,Si1) to generate a first output value, and combiner 302 combines a*(Si−12) and c(Si−12,Si1) to generate a second output value. Compare & select circuit 303 compares the first and second output values from combiners 301 and 302. Compare & select circuit 303 selects the greater of the first and second output values as the approximated forward recursion a*(Si1).
The first and second output values from combiners 301 and 302 are also provided to LUT 304, which uses the values to address the appropriate logarithmic correction term (let) value for the approximated forward recursion a*(Si1). The approximated forward recursion a*(Si1) and let value are added in adder 305 to generate the forward recursion a*(Si1). For some implementations, the let value may be ignored either during some iterations or ignored entirely, depending on the given implementation design and system performance objectives, to reduce circuit complexity
In practice, the computations for forward and backward recursion updates have relatively high memory requirements. Techniques known in the art, such as truncation or windowing, may be employed to reduce memory requirements. Truncation may be employed to scale or reduce the path and state metric values, while windowing resets the path and state metric values periodically on frame boundaries. Such techniques include, for example, non-truncated windowing, single-side truncated windowing, or dual-side truncated windowing. A given implementation of an embodiment of the present invention might employ one or more truncation or windowing techniques. Since the SMAP decoding algorithm is a linear decoding algorithm, similar to max-log-MAP and Viterbi algorithms, a given implementation might not require soft scaling and SNR estimation of input samples.
Turbo decoder 107 might employ switching between different decoding algorithms, such as between log-MAP, SMAP, and max-log-MAP decoding algorithms, to improve decoding performance. Such switching may occur between iterations, or between constituent decoding operations, based on a metric, such as BER or SNR. Consequently, each constituent decoder of turbo decoder 107 may comprise an optional log-MAP decoder and an optional max-log-MAP decoder. As shown in FIG. 1, decoder 110 is configured with optional log-MAP decoder 120 and optional max-log-MAP decoder 121 in addition to SMAP decoder 122. Decoder 111 is similarly configured with optional log-MAP decoder 130 and optional max-log-MAP decoder 131 in addition to SMAP decoder 132. Switching operation between the different decoders might be controlled by decoding processor 115 based on performance metrics, such as SNR, bit-error rate (BER), that might be calculated on-line or off-line through simulation.
A receiver having a turbo decoder employing an SMAP decoding algorithm in accordance with exemplary embodiments of the present invention may provide the following advantages. First, reducing the number of computations reduces the power consumption of a given implementation. Second, reducing the number of computations reduces the overall memory requirements for a given implementation.
While the present invention is described with respect to various equations and expressions, the present invention is not limited to the described equations and expressions. One skilled in the art may modify the various equations described herein. For example, such modifications may include, but are not limited to, i) multiplying by a constant to shift or scale the values, ii) accounting for other random variables of related stochastic processes during the detection and decoding process, iii) substitution of approximations for quantities in the equations, and iv) accounting for noise characteristics, bit or symbol shape/dispersion, inter-symbol interference, encoding, and/or modulation techniques used to transmit the encoded data through the channel.
The present invention can be embodied in the form of methods and apparatuses for practicing those methods. The present invention can also be embodied in the form of program code embodied in tangible media, such as floppy diskettes, CD-ROMs, hard drives, or any other machine-readable storage medium, wherein, when the program code is loaded into and executed by a machine, such as a computer, the machine becomes an apparatus for practicing the invention. The present invention can also be embodied in the form of program code, for example, whether stored in a storage medium, loaded into and/or executed by a machine, or transmitted over some transmission medium or carrier, such as over electrical wiring or cabling, through fiber optics, or via electromagnetic radiation, wherein, when the program code is loaded into and executed by a machine, such as a computer, the machine becomes an apparatus for practicing the invention. When implemented on a general-purpose processor, the program code segments combine with the processor to provide a unique device that operates analogously to specific logic circuits.
It will be further understood that various changes in the details, materials, and arrangements of the parts which have been described and illustrated in order to explain the nature of this invention may be made by those skilled in the art without departing from the scope of the invention as expressed in the following claims.

## Claims

1. A method of decoding channel samples to generate decoded data, the method comprising the steps of:
for a given time instant,
(a) updating forward and backward state metrics of a trellis having corresponding states for decoded channel samples using only one or more surviving paths based on a method of maximum likelihood (ML) sequence detection; and
(b) calculating reliability information for decoded channel samples from the updated forward and backward state metrics based on a log-maximum a posteriori (log-MAP) decoding algorithm, wherein the reliability information is calculated using only the one or more surviving paths through the trellis corresponding to valid decoded data values.

2. The invention of claim 1, wherein, for step a), the forward state metric α*(Si) and the backward state metric β*(Si) are updated between states Si at instants i−1 and i, and at instants i+1 and i by the relations:


α*(Si)=maxsi+1{α*(Si−1)γ(Si−1,Si)}



β*(Si)=maxsi+1{β*(Si+1)γ(Si+1,Si)},


where max(x,y) is the mathematical operator defined as the maximum value of x and y, and γ(Si−1,Si) is the branch metric between states Si−1 and Si.

3. The invention of claim 1, wherein, for step b) the reliability information is log likelihood ratio (LLR) information, a LLR Li* for observed sample yi as decoded data xi at time instant i is calculated by the relation:




  
    L
    i
    *
  
  =
  
    
      log
      ⁡
      
        (
        
          
            
              ∑
              
                S
                +
              
            
            ⁢
            
              
                
                  α
                  *
                
                ⁡
                
                  (
                  
                    S
                    i
                  
                  )
                
              
              ⁢
              
                γ
                ⁡
                
                  (
                  
                    
                      S
                      i
                    
                    ,
                    
                      S
                      
                        i
                        +
                        1
                      
                    
                  
                  )
                
              
              ⁢
              
                
                  β
                  *
                
                ⁡
                
                  (
                  
                    S
                    
                      i
                      +
                      1
                    
                  
                  )
                
              
            
          
          
            
              ∑
              
                S
                -
              
            
            ⁢
            
              
                
                  α
                  *
                
                ⁡
                
                  (
                  
                    S
                    i
                  
                  )
                
              
              ⁢
              
                γ
                ⁡
                
                  (
                  
                    
                      S
                      i
                    
                    ,
                    
                      S
                      
                        i
                        +
                        1
                      
                    
                  
                  )
                
              
              ⁢
              
                
                  β
                  *
                
                ⁡
                
                  (
                  
                    S
                    
                      i
                      +
                      1
                    
                  
                  )
                
              
            
          
        
        )
      
    
    =
    
      log
      ⁢
      
        
          
            
              ∑
              
                P
                ∈
                
                  
                    P
                    +
                  
                  ⁡
                  
                    (
                    Surviving
                    )
                  
                
              
            
            ⁢
            
              p
              ⁡
              
                (
                
                  Y
                  |
                  X
                
                )
              
            
          
          
            
              ∑
              
                P
                ∈
                
                  
                    P
                    -
                  
                  ⁡
                  
                    (
                    Surviving
                    )
                  
                
              
            
            ⁢
            
              p
              ⁡
              
                (
                
                  Y
                  |
                  X
                
                )
              
            
          
        
        .

4. The invention of claim 1, wherein the method is embodied in a processor of an integrated circuit.

5. The invention of claim 1, wherein, for step a), the forward state metric α*(Si) and the backward state metric β*(Si) are updated between states Si at instants i−1 and i, and at instants i+1 and i by the relations:


a*(Si)=max*{a*(S−1)+c(Si−1,Si)}



b*(Si)=max*{b*(Si+1)+c(Si,Si+1)},


where max*(x,y) is a mathematical operator defined as max(x, y)+log ((e−|x−y|)+1), a*(Si)=log (α*(Si), b*(Si)=log (β*(Si)), c(Si−1Si)=log (γ(Si−1Si)), and γ(Si−1,Si) is the branch metric between states Si−1 and Si.

6. The invention of claim 5, wherein, for step b), the reliability information is log likelihood ratio (LLR) information, and a LLR Li* observed sample yi as decoded data xi at instant i is calculated by the relation:


Li*=maxmi=+1*{a*(Si−1)+c(Si−1,Si)+b*(Si)}−maxm=−1*{a*(Si−1)+c(Si−1,Si)+b*(Si)}

where the max*( ) operand for mi=+1 corresponds to those valid transitions from a previous state to a current state with channel sample yi corresponding to decoded data mi=+1 and the max*( ) operand for mi=−1 corresponds to those valid transitions from a previous state to a current state with channel sample yi corresponding to decoded data mi=−1.

7. The invention of claim 1, wherein the method further comprises the step of c) decoding the channel samples using input extrinsic information into decoded data as soft decisions represented by the corresponding reliability information and updated extrinsic information.

8. The invention of claim 7, wherein the method further comprises the steps of repeating steps (a), (b), and (c) until a predefined metric is met, and setting, when the predefined metric is met, the soft decisions as hard decisions for the decoded data.

9. The invention of claim 1, further comprising the step of generating extrinsic information corresponding to the reliability information.

10. The invention of claim 9, wherein the extrinsic information includes a priori extrinsic information and a posteriori extrinsic information.

11. The invention of claim 10, wherein the a posteriori extrinsic information li for sample yi corresponding to data xi=mi with parity bit ti at instant i is given by:




  
    
      l
      i
    
    =
    
      log
      ⁢
      
        
          
            ∑
            
              P
              ∈
              
                P
                
                  (
                  surviving
                  )
                
                +
              
            
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    
                      
                        (
                        
                          
                            t
                            i
                          
                          -
                          
                            
                              p
                              i
                            
                            ⁢
                            
                              
                                E
                                b
                              
                            
                          
                        
                        )
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              -
              
                
                  (
                  
                    1
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    {
                    
                      
                        
                          (
                          
                            
                              y
                              j
                            
                            -
                            
                              
                                x
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                      +
                      
                        
                          (
                          
                            
                              t
                              j
                            
                            -
                            
                              
                                p
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                    
                    }
                  
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    
                      m
                      j
                    
                    ⁢
                    
                      z
                      j
                    
                  
                
              
            
          
        
        
          
            ∑
            
              P
              ∈
              
                P
                
                  (
                  surviving
                  )
                
                -
              
            
          
          ⁢
          
            e
            
              
                -
                
                  (
                  
                    
                      
                        (
                        
                          
                            t
                            i
                          
                          -
                          
                            
                              p
                              i
                            
                            ⁢
                            
                              
                                E
                                b
                              
                            
                          
                        
                        )
                      
                      2
                    
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
              
              -
              
                
                  (
                  
                    1
                    
                      2
                      ⁢
                      
                        σ
                        2
                      
                    
                  
                  )
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    {
                    
                      
                        
                          (
                          
                            
                              y
                              j
                            
                            -
                            
                              
                                x
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                      +
                      
                        
                          (
                          
                            
                              t
                              j
                            
                            -
                            
                              
                                p
                                j
                              
                              ⁢
                              
                                
                                  E
                                  b
                                
                              
                            
                          
                          )
                        
                        2
                      
                    
                    }
                  
                
              
              +
              
                
                  1
                  2
                
                ⁢
                
                  
                    ∑
                    
                      j
                      ≠
                      1
                    
                  
                  ⁢
                  
                    
                      m
                      j
                    
                    ⁢
                    
                      z
                      j
                    
                  
                
              
            
          
        
      
    
  
  ,



where σ2 is a channel noise variance, Eb is the energy of a bit.

12. The invention of claim 1, wherein the method is embodied in a simplified maximum a posteriori (SMAP) decoding algorithm employed as steps of a constituent decoding method of a turbo decoder.

13. The invention of claim 12, wherein the constituent decoding method further includes the steps of decoding the channel samples with at least one other decoding algorithm, wherein reliability information in the other decoding algorithm is calculated using at least one non-surviving path.

14. The invention of claim 13, wherein the at least one other decoding algorithm is one of a log-MAP decoding algorithm and a max-log-MAP decoding algorithm having forward and backward state metrics updated based on a log-MAP decoding algorithm.

15. The invention of claim 13, wherein the SMAP decoding algorithm employs one or more of the steps of truncation and windowing to decode the channel samples into decoded data.

16. Apparatus for decoding channel samples to generate decoded data, the apparatus comprising:
a simplified log-MAP (SMAP) decoder adapted to, for a given time instant,
(a) update forward and backward state metrics of a trellis having corresponding states for decoded channel samples using only one or more surviving paths based on a method of maximum likelihood (ML) sequence detection; and
(b) calculate reliability information for decoded channel samples from the updated forward and backward state metrics based on a log-maximum a posteriori (log-MAP) decoding algorithm, wherein the reliability information is calculated using only the one or more surviving paths through the trellis corresponding to valid decoded data values.

17. The invention of claim 16, further comprising a plurality of add-compare-select (ACS) circuits, wherein each ACS circuit is adapted to generate a corresponding one of the forward and backward state metrics.

18. The invention of claim 16, wherein the apparatus is embodied in an integrated circuit.

19. The invention of claim 16, wherein the SMAP decoder is included in a turbo decoder adapted to iteratively decode the channel samples.

20. The invention of claim 19, wherein, after a predetermined number of iterations, the soft decisions of the last iteration are provided as the decoded data.

21. A computer-readable medium having stored thereon a plurality of instructions, the plurality of instructions including instructions which, when executed by a processor, cause the processor to implement a method of decoding channel samples to generate decoded data, the method comprising the steps of:
for a given time instant,
(a) updating forward and backward state metrics of a trellis having corresponding states for decoded channel samples using only one or more surviving paths based on a method of maximum likelihood (ML) sequence detection; and
(b) calculating reliability information for decoded channel samples from the updated forward and backward state metrics based on a log-maximum a posteriori (log-MAP) decoding algorithm, wherein the reliability information is calculated using only the one or more surviving paths through the trellis corresponding to valid decoded data values.