Abstract:
A method of encoding a binary source message u, by calculating x:=Au, calculating y:=B′x, resolving the equation Dp=y for p, and incorporating u and p to produce an encoded binary message v, where A is a matrix formed only of permutation sub matrices, B′ is a matrix formed only of circulant permutation sub matrices, and D is a matrix of the form 
             D   =     (         T       0       …       0       0           0       T       …       0       0           …       …       …       …       …           0       0       …       T       0           I       I       …       I       I         )           
where T is a two-diagonal, circulant sub matrix, and I is an identity sub matrix.

Description:
FIELD 
     This invention relates to the field of integrated circuit fabrication. More particularly, this invention relates to a method of implementing low-density parity-check (LDPC) codes that allows efficient performance of the encoding steps. 
     BACKGROUND 
     Low density parity-check (LDPC) codes were first proposed by Gallager in 1962, and then “rediscovered” by MacKay in 1996. LDPC codes have been shown to achieve an outstanding performance that is very close to the Shannon transmission limit. 
     LDPC codes are based on a binary parity-check matrix H with n columns and m=n−k rows that has the following properties:
         1. Each row consists of ρ number of “ones;”   2. Each column consists of γ number of “ones;”   3. The number of “ones” in common between any two columns, denoted as λ, is no greater than one; and   4. Both ρ and γ are small compared to the length of the code and the number of rows in H.       

     For every given binary source message u={u 0 , . . . , u k−1 } of length k, the LDPC encoder builds a binary codeword v={v 0 , . . . , v n−1 } of length n where (n&gt;k), such that Hv=0. The codeword consists of two parts. The first k bits of the codeword are equal to the bits of the source message. The other n−k bits of the codeword are the so-called parity-check bits p={p 0 , . . . , p n−k−1 }. The main task of the encoder is to calculate these parity-check bits p for the given input message u. 
     To simplify matrix operations, the parity check matrix can be composed of ργ cells. The cells are arranged in ρ columns and γ rows, as given below. 
     
       
         
           
             H 
             = 
             
               ( 
               
                 
                   
                     
                       H 
                       
                         0 
                         , 
                         0 
                       
                     
                   
                   
                     … 
                   
                   
                     
                       H 
                       
                         0 
                         , 
                         
                           ρ 
                           - 
                           1 
                         
                       
                     
                   
                 
                 
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                 
                 
                   
                     
                       H 
                       
                         
                           γ 
                           - 
                           1 
                         
                         , 
                         0 
                       
                     
                   
                   
                     … 
                   
                   
                     
                       H 
                       
                         
                           γ 
                           - 
                           1 
                         
                         , 
                         
                           ρ 
                           - 
                           1 
                         
                       
                     
                   
                 
               
               ) 
             
           
         
       
     
     Each cell is a t×t permutation matrix (n=ρt, n−k=γt). It contains exactly one value of “one” in every row and every column. Therefore, properties (1), (2), and (4) as listed above are satisfied by the construction of the matrix. An example of a cell-based parity-check matrix with k=32, n=56, γ=3, and ρ=7 is depicted in  FIG. 2 . 
     Matrix H can be considered as a concatenation of two sub matrices: A and B. Matrix A contains k columns and (n−k) rows. It includes the first k columns of H. Matrix B is a square matrix that contains (n−k) columns and (n−k) rows. It includes the last (n−k) columns of matrix H. The source equation Hv=0 can then be rewritten as Au+Bp=0, or Bp=x, where x=Au. Therefore, the calculation of the parity-check bits can be performed in two steps:
         1. Calculate vector x by performing multiplication of the matrix A and the source message u; and   2. Calculate vector p by solving the linear system Bp=x.       

     All existing LDPC encoder implementations divide the calculation of the parity-check bits into these two steps as explained above. 
     Matrix A is a so-called “low-density” matrix, in that it contains just a small number of “ones,” and so can be efficiently stored in a memory. An especially compact representation of matrix A is achieved if the matrix has the cell-based structure as described above. The simple structure of matrix A allows an efficient implementation of the first step. 
     The most difficult part of the encoding process is the second step. Different solutions have been proposed to accomplish this step, but the existing solutions either require too much computational effort, work with a very limited and inefficient matrix B, or use different structures for the matrices A and B and, therefore, complicate the decoder structure. 
     Some methods use a two-diagonal matrix B. In this case, step  2  can be performed very fast, but the simulation results show that this code is relatively weak. The reason for this is that many columns have only two “ones.” Another problem with this code is that the decoder must take into account the different structures of A and B. Therefore, the decoder becomes more complicated. In reality, this code does not fully satisfy the four conditions presented above, in that different columns of the parity-check matrix have a different number of “ones.” Such codes are generally called irregular LDPC codes. 
     In other methods, the matrix B is selected to be a non-singular matrix. According to such methods, B −1  exists and p=B −1 x. To find the parity-check bits, the inverse matrix B −1  is multiplied by the vector x. The problem with this method is that the matrix B −1  is not a low-density matrix anymore. Some significant additional resources are needed to store this matrix and to efficiently perform the multiplication. Another problem with this approach is that we cannot compose the matrix B from permutation sub matrices, because matrices based on permutation cells are always singular. This means that the matrices A and B have different structures, and once again the decoder becomes more complicated. 
     What is needed, therefore, is a method that overcomes problems such as those described above, at least in part. 
     SUMMARY 
     The above and other needs are met by a method according to the present invention of encoding a binary source message u, by calculating x:=Au, calculating y:=B′x, resolving the equation Dp=y for p, and incorporating u and p to produce an encoded binary message v, where A is a matrix formed only of permutation sub matrices, B′ is a matrix formed only of circulant permutation sub matrices, and D is a matrix of the form 
     
       
         
           
             D 
             = 
             
               ( 
               
                 
                   
                     T 
                   
                   
                     0 
                   
                   
                     … 
                   
                   
                     0 
                   
                   
                     0 
                   
                 
                 
                   
                     0 
                   
                   
                     T 
                   
                   
                     … 
                   
                   
                     0 
                   
                   
                     0 
                   
                 
                 
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                 
                 
                   
                     0 
                   
                   
                     0 
                   
                   
                     … 
                   
                   
                     T 
                   
                   
                     0 
                   
                 
                 
                   
                     I 
                   
                   
                     I 
                   
                   
                     … 
                   
                   
                     I 
                   
                   
                     I 
                   
                 
               
               ) 
             
           
         
       
     
     where T is a two-diagonal, circulant sub matrix, and I is an identity sub matrix. 
     According to another aspect of the invention, the entire parity-check matrix is constructed of permutation sub matrices. In prior art methods, only part of the parity-check matrix is constructed of permutation sub matrices. That condition leads to irregularity and complication of the decoding process. From an implementation point of view, it is simpler to support operations with a parity-check matrix that is constructed of permutation cells of a size that is a power of two. Prior art methods cannot be used with this kind of parity-check matrix. The present method supports such matrices without any problems, which tends to simplify the encoding and decoding processes. 
     The current method also supports a more variable structure for the parity-check matrix: sub matrix B doesn&#39;t have to be a non-singular matrix. By way of explanation, if sub matrix B is non-singular, then the parity-check matrix cannot have an even weight (or in other words, the number of ones in a column must be odd). This is a big disadvantage. For example, sometimes a weight of four is sufficient to achieve good error-correcting properties, but a weight of three is not enough. Prior art methods are then forced to use a matrix with a weight of five or more (or use irregular LDPC codes instead). This causes a complication during encoding and decoding (more resources are required to process the matrix as the number of ones increases). However, the present method supports matrices with an even weight. 
    
    
     
       BRIEF DESCRIPTION OF THE DRAWINGS 
       Further advantages of the invention are apparent by reference to the detailed description when considered in conjunction with the figures, which are not to scale so as to more clearly show the details, wherein like reference numbers indicate like elements throughout the several views, and wherein: 
         FIG. 1  is a flow chart for an LDPC encoding algorithm according to an embodiment of the present invention. 
         FIG. 2  depicts a circulant permutation matrix H according to an embodiment of the present invention. 
         FIG. 3  depicts a circulant-cell-based matrix B′ according to an embodiment of the present invention. 
         FIG. 4  depicts a fixed-format matrix D according to an embodiment of the present invention 
     
    
    
     DETAILED DESCRIPTION 
     The present invention provides a method for encoding low-density parity-check (LDPC) codes, and defines a subclass of LDPC codes that is appropriate for this method. The method uses a parity-check matrix based on permutation sub matrices. The matrix has a regular structure that allows simplification of the corresponding encoder and decoder circuits. The method uses uniform cell-based parity check matrices (both A and B have the same cell-based structure) and allows an efficient computation of the encoding steps. One embodiment of a method according to the present invention is present below. 
     DESCRIPTION OF THE TARGET CLASS OF CODES 
     Circulant matrix M c  is a square t×t matrix, where the i th  row (where 0&lt;i&lt;t) is a cyclical shift of the first row (called the 0 th  row) by i positions to the right, given as: 
     
       
         
           
             
               M 
               C 
             
             = 
             
               ( 
               
                 
                   
                   
                   
                   
                   
                     … 
                   
                   
                   
                 
                 
                   
                  
                   
                   
                   
                     … 
                   
                   
                   
                 
                 
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                 
                 
                   
                   
                   
                   
                   
                     … 
                   
                   
                   
                 
               
               ) 
             
           
         
       
     
     It follows from the definition above that the circulant matrix is completely determined by its first row. Let&#39;s represent the circulant matrix as a polynomial expression P c  that has coefficients equal to the matrix coefficients from the first row:
 
 P   c =α 0 +α 1   x+α   2   x   2 + . . . +α t−1   x   t−1  
 
     The addition and multiplication of circulant matrices is thus equivalent to the addition and multiplication of the polynomials in a ring of polynomials with a maximum degree of t−1. 
     A circulant permutation matrix is a special case of a circulant matrix. The first line of a circulant permutation matrix contains the value “one” in the i th  position. The j th  line contains a “one” in the (i+j)(mod t) th  position. Therefore the j th  line is a cyclical shift of the (j−1) th  line. The corresponding polynomial for a circulant permutation matrix contains exactly one non-zero coefficient. 
     Let&#39;s consider a square m×m matrix M p  of polynomials of degree t−1: 
     
       
         
           
             
               M 
               p 
             
             = 
             
               ( 
               
                 
                   
                     
                       p 
                       
                         0 
                         , 
                         0 
                       
                     
                   
                   
                     … 
                   
                   
                   
                 
                 
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                 
                 
                   
                     
                       p 
                       
                         
                           m 
                           - 
                           1 
                         
                         , 
                         0 
                       
                     
                   
                   
                     … 
                   
                   
                     
                       p 
                       
                         
                           m 
                           - 
                           1 
                         
                         , 
                         
                           m 
                           - 
                           1 
                         
                       
                     
                   
                 
               
               ) 
             
           
         
       
     
     M p  is defined to be regularizable if such a matrix M′ p  exists such that M′ p M p =G p , where G p  has a special fixed format of: 
     
       
         
           
             
               G 
               p 
             
             = 
             
               
                 ( 
                 
                   
                     
                       
                         
                           x 
                           
                             t 
                             - 
                             1 
                           
                         
                         + 
                         1 
                       
                     
                     
                       0 
                     
                     
                       … 
                     
                     
                       0 
                     
                     
                       0 
                     
                   
                   
                     
                       0 
                     
                     
                       
                         
                           x 
                           
                             t 
                             - 
                             1 
                           
                         
                         + 
                         1 
                       
                     
                     
                       … 
                     
                     
                       0 
                     
                     
                       0 
                     
                   
                   
                     
                       … 
                     
                     
                       … 
                     
                     
                       … 
                     
                     
                       … 
                     
                     
                       … 
                     
                   
                   
                     
                       0 
                     
                     
                       0 
                     
                     
                       … 
                     
                     
                       
                         
                           x 
                           
                             t 
                             - 
                             1 
                           
                         
                         + 
                         1 
                       
                     
                     
                       0 
                     
                   
                   
                     
                       1 
                     
                     
                       1 
                     
                     
                       … 
                     
                     
                       1 
                     
                     
                       1 
                     
                   
                 
                 ) 
               
               ⁢ 
             
           
         
       
     
     Let&#39;s now take a cell-based matrix M 0 , where each cell is a circulant sub matrix. M 0  is regularizable if the corresponding matrix based on the polynomials is regularizable. Thus, if M 0  is regularizable, then such a matrix M′ 0  exists such that M′ 0  M 0 =D, where M′ 0  is a cell-based matrix with circulant cells and D has a special fixed format of: 
     
       
         
           
             D 
             = 
             
               ( 
               
                 
                   
                     T 
                   
                   
                     0 
                   
                   
                     … 
                   
                   
                     0 
                   
                   
                     0 
                   
                 
                 
                   
                     0 
                   
                   
                     T 
                   
                   
                     … 
                   
                   
                     0 
                   
                   
                     0 
                   
                 
                 
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                 
                 
                   
                     0 
                   
                   
                     0 
                   
                   
                     … 
                   
                   
                     T 
                   
                   
                     0 
                   
                 
                 
                   
                     I 
                   
                   
                     I 
                   
                   
                     … 
                   
                   
                     I 
                   
                   
                     I 
                   
                 
               
               ) 
             
           
         
       
       
         
           
             
               
                 where 
                 ⁢ 
                 
                     
                 
                 ⁢ 
                 T 
               
               = 
               
                 
                   ( 
                   
                     
                       
                         1 
                       
                       
                         0 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         1 
                       
                     
                     
                       
                         1 
                       
                       
                         1 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         0 
                       
                     
                     
                       
                         0 
                       
                       
                         1 
                       
                       
                         1 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         0 
                       
                     
                     
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                     
                     
                       
                         0 
                       
                       
                         0 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         1 
                       
                       
                         0 
                       
                     
                     
                       
                         0 
                       
                       
                         0 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         1 
                       
                       
                         1 
                       
                     
                   
                   ) 
                 
                 - 
                 
                   2 
                   ⁢ 
                   
                     - 
                   
                   ⁢ 
                   diagonal 
                   ⁢ 
                   
                       
                   
                   ⁢ 
                   circulant 
                 
               
             
             , 
             
               
 
             
             ⁢ 
             
               I 
               = 
               
                 
                   ( 
                   
                     
                       
                         1 
                       
                       
                         0 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         0 
                       
                     
                     
                       
                         0 
                       
                       
                         1 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         0 
                       
                     
                     
                       
                         0 
                       
                       
                         0 
                       
                       
                         1 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         0 
                       
                     
                     
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                       
                         … 
                       
                     
                     
                       
                         0 
                       
                       
                         0 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         1 
                       
                       
                         0 
                       
                     
                     
                       
                         0 
                       
                       
                         0 
                       
                       
                         0 
                       
                       
                         … 
                       
                       
                         0 
                       
                       
                         1 
                       
                     
                   
                   ) 
                 
                 - 
                 
                   identity 
                   ⁢ 
                   
                       
                   
                   ⁢ 
                   
                     matrix 
                     . 
                   
                 
               
             
           
         
       
     
     An example of matrix D is given in  FIG. 4 . 
     Now we are ready to define the target subclass of LDPC codes according to this embodiment of the present invention. We consider the parity-check matrix H, based on permutation square cells, as given below: 
     
       
         
           
             H 
             = 
             
               ( 
               
                 
                   
                     
                       H 
                       
                         0 
                         , 
                         0 
                       
                     
                   
                   
                     … 
                   
                   
                     
                       H 
                       
                         0 
                         , 
                         
                           ρ 
                           - 
                           1 
                         
                       
                     
                   
                 
                 
                   
                     … 
                   
                   
                     … 
                   
                   
                     … 
                   
                 
                 
                   
                     
                       H 
                       
                         
                           γ 
                           - 
                           1 
                         
                         , 
                         0 
                       
                     
                   
                   
                     … 
                   
                   
                     
                       H 
                       
                         
                           γ 
                           - 
                           1 
                         
                         , 
                         
                           ρ 
                           - 
                           1 
                         
                       
                     
                   
                 
               
               ) 
             
           
         
       
     
     Every square block H i,j  is a permutation matrix. An example of this is depicted in  FIG. 2 . Matrix H is represented as a concatenation of two matrices: H=[A|B], where B is an (n−k)×(n−k) square matrix, and A is an (n−k)×n matrix, as depicted in  FIG. 2 . 
     Matrix A can be composed of different types of permutation sub matrices. One possible sub matrix type is a circulant permutation sub matrix. Another possible type is a so-called bitwise permutation matrix. These matrices are based on bitwise exclusive OR operations. The first line of a bitwise permutation matrix contains a value of “one” in the i th  position. The j th  line contains a value of “one” in the (i⊕j) th  position. It is also possible to use other types of permutation sub matrices. 
     Matrix B is a regularizable cell-based matrix that is composed of circulant permutation sub matrices only. If H 0  is an arbitrary circulant permutation-cell-based parity-check matrix that is not specially designed to have a regularizable sub matrix B, then it is almost always possible to rearrange the columns of H 0  in such a way that it will have the required structure. Therefore, almost every circulant permutation-cell-based parity-check matrix can be converted into the target format according to the present invention. 
     Encoding Method for the Described Class of Codes 
     For a given binary source message u={u 0 , . . . , u k−1 } of length k, the LDPC encoder builds a binary codeword v={v 0 , . . . , v n−1 } of length n where (n&gt;k), such that Hv=0. The last equation can be rewritten as Au+Bp=0, or Bp=x, where x=Au. Note that B is singular, so B −1  doesn&#39;t exist. B is regularizable, so a circulant-cell-based matrix B′ exists such that B′B=D (as depicted in  FIG. 3 ). Therefore, the equation Bp=x can be rewritten as Dp=B′x. 
     The encoder stores matrices A and B′. Matrix A (an example of which is depicted in  FIG. 2 ) is composed from γ(ρ−γ) permutation sub matrices, so only γ(ρ−γ)(log t+1) bits are required to store matrix A (if two different types of permutation sub matrices are used). Matrix B′ (an example of which is depicted in  FIG. 3 ) is composed of γ 2  circulant sub matrices, so only γ 2 t=γ(n−k) bits are required to store matrix B′. 
     The encoding algorithm consists of three steps, as depicted in  FIG. 1 : 
     1. Calculate x: =Au; 
     2. Calculate y: =B′x; and 
     3. Resolve the equation Dp=y. 
     The first and the second steps can be efficiently implemented because of the cell-based structure of the matrices A and B′. The last step is especially fast and computationally simple, because of the fixed, simple structure of the matrix D. On the last step, the parity-check bits can be computed using the formulas below: 
     
       
         
           
             
               
                 p 
                 
                   jt 
                   + 
                   k 
                 
               
               = 
               
                 
                   ∑ 
                   
                     i 
                     = 
                     0 
                   
                   k 
                 
                 ⁢ 
                 
                   y 
                   
                     jt 
                     + 
                     i 
                   
                 
               
             
             , 
             
               
                 where 
                 ⁢ 
                 
                     
                 
                 ⁢ 
                 k 
               
               = 
               0 
             
             , 
             
               
                 … 
                 ⁢ 
                 
                     
                 
                 ⁢ 
                 t 
               
               - 
               1 
             
             , 
             
               j 
               = 
               0 
             
             , 
             … 
             ⁢ 
             
                 
             
             , 
             
               γ 
               - 
               2 
             
           
         
       
       
         
           
             
               
                 p 
                 
                   
                     
                       ( 
                       
                         γ 
                         - 
                         1 
                       
                       ) 
                     
                     ⁢ 
                     t 
                   
                   + 
                   k 
                 
               
               = 
               
                 
                   y 
                   
                     
                       
                         ( 
                         
                           γ 
                           - 
                           1 
                         
                         ) 
                       
                       ⁢ 
                       t 
                     
                     + 
                     k 
                   
                 
                 + 
                 
                   
                     ∑ 
                     
                       i 
                       = 
                       0 
                     
                     
                       γ 
                       - 
                       2 
                     
                   
                   ⁢ 
                   
                     p 
                     
                       it 
                       + 
                       k 
                     
                   
                 
               
             
             , 
             
               
                 where 
                 ⁢ 
                 
                     
                 
                 ⁢ 
                 k 
               
               = 
               0 
             
             , 
             
               
                 … 
                 ⁢ 
                 
                     
                 
                 ⁢ 
                 t 
               
               - 
               1 
             
           
         
       
     
     The foregoing description of preferred embodiments for this invention has been presented for purposes of illustration and description. It is not intended to be exhaustive or to limit the invention to the precise form disclosed. Obvious modifications or variations are possible in light of the above teachings. The embodiments are chosen and described in an effort to provide the best illustrations of the principles of the invention and its practical application, and to thereby enable one of ordinary skill in the art to utilize the invention in various embodiments and with various modifications as are suited to the particular use contemplated. All such modifications and variations are within the scope of the invention as determined by the appended claims when interpreted in accordance with the breadth to which they are fairly, legally, and equitably entitled.