A soft input decoding method and a decoder for generalized concatenated (GC) codes. The GC codes are constructed from inner nested block codes, such as binary Bose-Chaudhuri-Hocquenghem, BCH, codes and outer codes, such as Reed-Solomon, RS, codes. In order to enable soft input decoding for the inner block codes, a sequential stack decoding algorithm is used. Ordinary stack decoding of binary block codes requires the complete trellis of the code. In one aspect, the present invention applies instead a representation of the block codes based on the trellizes of supercodes in order to reduce the memory requirements for the representation of the inner codes. This enables an efficient hardware implementation. In another aspect, there is provided a soft input decoding method and device employing a sequential stack decoding algorithm in combination with list-of-two decoding which is particularly well suited for applications that require very low residual error rates.
|
1. A soft input decoding method for a generalized concatenated code (GCC) constructed from L inner nested linear binary block codes and L outer codes, wherein L≥2 denotes the number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of the preceding lower levels, if any, the method comprising:
using one or more decoding devices to iteratively decode level by level original data received from a data channel, and performing in each level:
a first decoding step for decoding input data of the current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level comprising the original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data;
wherein the first decoding step of at least one of the levels includes:
sequential stack decoding of the input data of the current level l based on a trellis of the inner block code of the current level and using as a soft input information characterizing the reliability of the data channel, wherein the sequential stack decoding is configured to deliver only codewords comprised in the output data of that first decoding step which are represented by the trellis; and
selecting as the output data of the first decoding step of the current level l:
a first output data estimate resulting from the sequential stack decoding of the input data of the current level l, if its metric value rated according to a predetermined metric reaches or exceeds a predetermined threshold or is superior according to the metric to the respective metric value of a second output data estimate resulting from a second run of the sequential stack decoding in which the first output data estimate is excluded, and
the second output data estimate otherwise.
11. A decoding device operable to apply soft input decoding for a generalized concatenated code (GCC) constructed from L inner nested linear binary block codes and L outer codes, wherein L≥2 denotes the number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of the preceding lower levels, if any, the decoding device comprising:
a decoding circuit configured to iteratively decode level by level original data received from a data channel, and performing in each level:
a first decoding step for decoding input data of the current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level comprising the original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data;
wherein the first decoding step of at least one of the levels includes:
sequential stack decoding of the input data of the current level l based on a trellis of the inner block code of the current level and using as a soft input information characterizing the reliability of the data channel, wherein the sequential stack decoding is configured to deliver only codewords comprised in the output data of that first decoding step which are represented by the trellis; and
selecting as the output data of the first decoding step of the current level l:
a first output data estimate resulting from the sequential stack decoding of the input data of the current level l, if its metric value rated according to a predetermined metric reaches or exceeds a predetermined threshold or is superior according to the metric to the respective metric value of a second output data estimate resulting from a second run of the sequential stack decoding in which the first output data estimate is excluded, and
the second output data estimate otherwise.
18. A nonvolatile memory, the system comprising:
a memory array including a plurality of cells configured to store a plurality of data bits and a plurality of parity bits that are calculated from the plurality of data bits according to a coding scheme based on generalized concatenated code (GCC) wherein the GCC is constructed from inner nested linear binary block codes and outer codes; and
a decoding device configured to iteratively decode level by level original data received from a data channel, and performing in each level:
a first decoding step for decoding input data of the current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level comprising the original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data;
wherein the first decoding step of at least one of the levels includes:
sequential stack decoding of the input data of the current level l based on a trellis of the inner block code of the current level and using as a soft input information characterizing the reliability of the data channel, wherein the sequential stack decoding is configured to deliver only codewords comprised in the output data of that first decoding step which are represented by the trellis; and
selecting as the output data of the first decoding step of the current level l:
a first output data estimate resulting from the sequential stack decoding of the input data of the current level l, if its metric value rated according to a predetermined metric reaches or exceeds a predetermined threshold or is superior according to the metric to the respective metric value of a second output data estimate resulting from a second run of the sequential stack decoding in which the first output data estimate is excluded, and
the second output data estimate otherwise.
19. A computer program comprising instructions that when executed on a decoding device are operable to apply soft input decoding for a generalized concatenated code (GCC) constructed from L inner nested linear binary block codes and L outer codes, wherein L≥2 denotes the number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of the preceding lower levels, if any, the instructions executable to:
iteratively decode level by level original data received from a data channel, and perform in each level:
a first decoding step for decoding input data of the current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level comprising the original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data;
wherein the first decoding step of at least one of the levels includes:
sequential stack decoding of the input data of the current level l based on a trellis of the inner block code of the current level and using as a soft input information characterizing the reliability of the data channel, wherein the sequential stack decoding is configured to deliver only codewords comprised in the output data of that first decoding step which are represented by the trellis; and
selecting as the output data of the first decoding step of the current level l:
a first output data estimate resulting from the sequential stack decoding of the input data of the current level l, if its metric value rated according to a predetermined metric reaches or exceeds a predetermined threshold or is superior according to the metric to the respective metric value of a second output data estimate resulting from a second run of the sequential stack decoding in which the first output data estimate is excluded, and
the second output data estimate otherwise.
2. The method according to
the first decoding step of at least one current level l other than the lowest level comprises trellis-based sequential stack decoding of the input data of the current level l using as a soft input information characterizing the reliability of the data channel;
the sequential stack decoding is based on a first trellis representing a first super-code B1(l) of the inner block code B(l) of the current level l and on a second trellis representing a second supercode B2(l) of B(l), with B(l)=B1(i)∩B2(l), wherein a supercode of B(l) is a code containing all codewords of B(l) and the redundancy of each of the first supercode B1(l) and the second supercode B2(l) is lower than that of B(l);
the corresponding inner code B(l−1) of the immediately preceding level (l−1) is reused as one of the supercodes B1(l) and B2(l); and
the sequential stack decoding is configured to deliver only codewords comprised in the output data of the first decoding step that are represented by both the first trellis and the second trellis.
3. The method of according to
4. The method according to
5. The method according to
the metric that is applied in the sequential stack decoding to rate code sequences occurring during the decoding and to order the stack based on the metric values resulting from the rating is one of the Fano metric and the quadratic Euclidean distance metric, or a combination thereof; and
the soft input characterizing the reliability of the data channel serves as an input variable of the metric.
6. The method according to
7. The method according to
the extended BCH code in the lowest level of the inner nested BCH codes is a mere single parity-check, SPC, code; and
the extended BCH code in at least one higher level of the inner nested BCH codes has an error correction capability and is a sub-code of the BCH code of the lowest nesting level.
8. The method according to
arranging the original data received from a data channel in a two-dimensional original data matrix having a first dimension na equal to the length of the outer codes and a second dimension nb equal to the length of the inner block codes, wherein a line of the first dimension of a matrix is a row of the matrix and a line of its second dimension is a column of the matrix, or vice versa, and the outer codes are defined over a Galois-Field GF(2m) such that m elements of each line of the second dimension represent one symbol of the Galois-Field GF(2m); and
a) a first iteration corresponding to the lowest level of the inner block codes of the original data matrix, wherein the first decoding step comprises:
applying a decoding scheme of the inner block code of the lowest level to the lines of the second dimension of the original data matrix with respect to the lowest level of the inner nested block codes in which the lines of a second dimension of the original data matrix are encoded in order to obtain an intermediate decoding data matrix of the first iteration and to determine erasure information characterizing lines of the second dimension of the original data matrix in which an erasure has been detected based on the decoding of the inner block code of the lowest level;
inferring the information bits contained in the lines of the second dimension of the intermediate decoding data matrix of the first iteration in order to retrieve code symbols (ai,j) of the outer codes in which the lines of a first dimension of the original data matrix are encoded; and
the second decoding step comprises:
applying outer decoding corresponding to the respective outer codes to the retrieved code symbols in the lines of the first dimension of the intermediate decoding data matrix of the first iteration in order to obtain a partial decoding result matrix of the first iteration, wherein the erasure information is used during outer decoding to identify erroneous symbols of the outer code in the intermediate decoding data matrix of the first iteration;
re-encoding said partial decoding result matrix of the first iteration by applying by applying an encoding scheme of the inner block code of the lowest level to the second dimension of this matrix to obtain a re-encoded matrix of the first iteration; and
subtracting the re-encoded matrix of the first iteration from the original data matrix in order to obtain a start matrix for a subsequent further iteration; and
b) for each of the further levels of the inner block codes, a respective further iteration wherein the first decoding step of the respective level comprises:
applying a decoding scheme of the inner block code of the current level to the lines of the second dimension of the start matrix of the current iteration with respect to the current level of the inner block codes in which the lines of a second dimension of the start matrix of the current iteration are encoded in order to obtain an intermediate decoding data matrix of the current iteration;
inferring the information bits contained in the lines of the second dimension of the intermediate decoding data matrix of the current iteration in order to retrieve code symbols of the outer codes in which the lines of a first dimension of the original data matrix are encoded;
applying outer decoding corresponding to the respective outer codes used for obtaining the original data matrix during encoding, to the retrieved code symbols in the lines of the first dimension of the intermediate decoding data matrix of the current iteration in order to obtain a partial decoding result matrix of the current iteration;
if the current iteration corresponds to the highest nesting level of the in-ner block codes in the original data matrix, outputting the partial decoding result matrix of the current iteration as the decoded data, and
otherwise, re-encoding said partial decoding result matrix of the current iteration by applying an encoding scheme of the inner block code of the current level to the second dimension of this matrix to obtain a re-encoded matrix of the current iteration, and subtracting the re-encoded matrix of the current iteration from the start matrix of the current iteration in order to obtain a start matrix for a subsequent further iteration.
9. The method according to
the maximum possible path length is reached, wherein the trellis path having the best metric value among the paths accrued so far in the stack is selected as the decoded codeword corresponding to the data word; or
a predetermined maximum number of iterations have occurred.
10. The method according to
12. The device according to
the first decoding step of at least one current level l other than the lowest level comprises trellis-based sequential stack decoding of the input data of the current level l using as a soft input information characterizing the reliability of the data channel;
the sequential stack decoding is based on a first trellis representing a first super-code B1(l) of the inner block code B(l) of the current level l and on a second trellis representing a second supercode B2(l) of B(l), with B(l)=B1(i)∩B2(l), wherein a supercode of B(l) is a code containing all codewords of B(l) and the redundancy of each of the first supercode B1(l) and the second supercode B2(l) is lower than that of B(l);
the corresponding inner code B(l−1) of the immediately preceding level (l−1) is reused as one of the supercodes B1(l) and B2(l); and
the sequential stack decoding is configured to deliver only codewords comprised in the output data of the first decoding step that are represented by both the first trellis and the second trellis.
13. The device according to
14. The device according to
15. The device according to
the metric that is applied in the sequential stack decoding to rate code sequences occurring during the decoding and to order the stack based on the metric values resulting from the rating is one of the Fano metric and the quadratic Euclidean distance metric, or a combination thereof; and
the soft input characterizing the reliability of the data channel serves as an input variable of the metric.
16. The device according to
the extended BCH code in the lowest level of the inner nested BCH codes is a mere single parity-check, SPC, code; and
the extended BCH code in at least one higher level of the inner nested BCH codes has an error correction capability and is a sub-code of the BCH code of the lowest nesting level.
17. The device according to
a) a first iteration corresponding to the lowest level of the inner block codes of the original data matrix, wherein the first decoding step comprises:
applying a decoding scheme of the inner block code of the lowest level to the lines of the second dimension of the original data matrix with respect to the lowest level of the inner nested block codes in which the lines of a second dimension of the original data matrix are encoded in order to obtain an intermediate decoding data matrix of the first iteration and to determine erasure information characterizing lines of the second dimension of the original data matrix in which an erasure has been detected based on the decoding of the inner block code of the lowest level;
inferring the information bits contained in the lines of the second dimension of the intermediate decoding data matrix of the first iteration in order to retrieve code symbols (ai,j) of the outer codes in which the lines of a first dimension of the original data matrix are encoded; and
the second decoding step comprises:
applying outer decoding corresponding to the respective outer codes to the retrieved code symbols in the lines of the first dimension of the intermediate decoding data matrix of the first iteration in order to obtain a partial decoding result matrix of the first iteration, wherein the erasure information is used during outer decoding to identify erroneous symbols of the outer code in the intermediate decoding data matrix of the first iteration;
re-encoding said partial decoding result matrix of the first iteration by applying by applying an encoding scheme of the inner block code of the lowest level to the second dimension of this matrix to obtain a re-encoded matrix of the first iteration; and
subtracting the re-encoded matrix of the first iteration from the original data matrix in order to obtain a start matrix for a subsequent further iteration; and
b) for each of the further levels of the inner block codes, a respective further iteration wherein the first decoding step of the respective level comprises:
applying a decoding scheme of the inner block code of the current level to the lines of the second dimension of the start matrix of the current iteration with respect to the current level of the inner block codes in which the lines of a second dimension of the start matrix of the current iteration are encoded in order to obtain an intermediate decoding data matrix of the current iteration;
inferring the information bits contained in the lines of the second dimension of the intermediate decoding data matrix of the current iteration in order to retrieve code symbols of the outer codes in which the lines of a first dimension of the original data matrix are encoded;
applying outer decoding corresponding to the respective outer codes used for obtaining the original data matrix during encoding, to the retrieved code symbols in the lines of the first dimension of the intermediate decoding data matrix of the current iteration in order to obtain a partial decoding result matrix of the current iteration;
if the current iteration corresponds to the highest nesting level of the in-ner block codes in the original data matrix, outputting the partial decoding result matrix of the current iteration as the decoded data, and
otherwise, re-encoding said partial decoding result matrix of the current iteration by applying an encoding scheme of the inner block code of the current level to the second dimension of this matrix to obtain a re-encoded matrix of the current iteration, and subtracting the re-encoded matrix of the current iteration from the start matrix of the current iteration in order to obtain a start matrix for a subsequent further iteration.
|
This application claims the priority, under 35 U.S.C. § 119, of German patent application DE 10 2016 005 914.1, filed May 13, 2016, and of German patent application DE 10 2017 110 389.9, filed May 12, 2017; the prior applications are herewith incorporated by reference in their entirety.
The present invention relates to the field of error correction decoding (ECC), in particular for applications in non-volatile memories, such as flash memories. Specifically, the invention is directed to methods and a related decoder for soft input decoding of generalized concatenated codes (GCC, GC codes), particularly of GCC-encoded data stored in a memory device, a memory system comprising such a decoder, and a corresponding computer program configured to perform said method on said decoder.
Error correction coding (ECC) based on GC codes has a high potential for various applications in data communication and data storage systems, e.g., for digital magnetic storage systems [1] (see list of references [ . . . ] at the end of the written specification below), for non-volatile flash memories [2], and for two-dimensional bar codes [3]. GC codes are typically constructed from inner nested binary Bose-Chaudhuri-Hocquenghem (BCH) codes and outer Reed-Solomon (RS) codes [4], [5], [6]. With algebraic decoding, GC codes have a low decoding complexity compared to long BCH codes. Such codes are well suited for fast hardware decoding architectures [7]. In coding theory, the BCH codes form a class of linear cyclic error-correcting codes that are constructed using finite fields (Galois Fields, GF) while the RS codes belong to the class of non-binary cyclic error-correcting codes and are based on univariate polynomials over finite fields (i.e. GF).
A codeword of a GC code can be considered as a matrix. For encoding, the information is stored in the matrix. In the first encoding step the rows of the matrix are protected by block codes (the outer codes) over the Galois field GF (2m), wherein m>0 is a positive integer. Next, each column is protected by binary codes, the inner codes. Typically, binary BCH codes are used as inner codes and RS codes as outer codes [8].
Flash memories, particularly NAND flash memories, are important components in embedded systems as well as in consumer electronics. Flash memories require ECC to ensure data integrity and reliability for the user data (cf. [8]). With many flash technologies, the statistic model of the errors can be assumed to be a binary symmetric channel (BSC). Hence, typically BCH codes are used for error correction. Flash memories typically reserve a spare memory area that is used to store the redundancy required for the ECC. This spare area determines the code rate of the error correction code. GC codes have a low decoding complexity compared to long BCH codes.
A decoder processes the potentially erroneous data in multiple decoding steps. In [7] algebraic decoding is used in each decoding step. This is adequate, if the channel provides no soft information about the transmitted or stored bits. However, if the channel does provide reliability information, e.g. if it is known, that it may behave, at least substantially, like an Additive White Gaussian Noise (AWGN) channel, this known soft information may be exploited by the decoder. In the case of GC codes, it is sufficient to exploit the soft information to decode the inner codes. In [7] a pipelined decoder architecture for GC codes was proposed, which is based on algebraic hard input decoding of the component codes. There exist numerous soft input decoding algorithms for binary block codes (see [5] for an overview). For instance, reliability-based decoding algorithms like Chase decoding [9], [10], ordered statistic decoding [11], and the Dorsch algorithm [12], [13], [14], just to name a few. Such algorithms can offer a performance that is similar to that of maximum-likelihood (ML) decoding, but usually they do not guarantee success in finding the ML codeword. However, many of these methods are not suitable for a fast hardware implementation. Furthermore, many channels with quantized output provide only a small number of decision thresholds and hence only 2 or 3 bits of soft information per code bit which is not sufficient for many reliability-based decoding algorithms.
A sequential stack decoding approach has been proposed in [15]. Sequential decoding has a low computational complexity, if the noise level is small. This is the case for many applications of GC codes, e.g., for error correction coding in storage systems. Sequential decoding was originally introduced for tree codes. In order to decode binary block codes, the syndrome trellis may be used as a representation of the code [16]. However, for block codes, the number of trellis states grows exponentially with the number of redundancy bits. Hence, the trellis-based sequential decoding as proposed in [15] is only feasible for codes with low error correcting capabilities.
Traditionally, a binary symmetric channel (BSC) is used as channel model for flash memories and BCH codes are used for error correction [20], [21], [22], [23]. Recently, for NAND flash memories, concatenated codes were proposed that are constructed from long BCH codes [24], [25]. These codes can achieve low residual error rates, but require very long codes and hence a long decoding latency, which might not be acceptable for all applications of flash memories.
The performance of error correction coding can be improved if reliability information about the state of the cell is available [26]. In this case, the channel can be considered as binary input additive white Gaussian noise (AWGN) channel, where the channel output is quantized using a small number of bits [24]. In order to exploit the reliability information, soft input decoding algorithms are required. For instance, low-density parity-check (LDPC) codes can provide stronger error correcting performance in NAND flash memories [27], [28], [29], [30]. However, LDPC codes have high residual error rates (the error floor) and are not suitable for applications that require very low decoder failure probabilities [2]. For instance, the JEDEC standard for Solid-State Drive (SSD) recommends an uncorrectable bit error rate of less than 10−15 for client applications and of less than 10−16 for enterprise solutions [31]. For some applications, block error rates less than 10−16 are required [32].
It is an object of the invention to provide a method and a decoder which overcome a variety of disadvantages of the heretofore-known devices and methods of this general type and to improve the efficiency of decoding GCC-encoded data. Specifically, it is an object of the invention to provide a method and a decoder for enabling an efficient, particularly space-efficient, implementation of a decoder for decoding GCC-encoded data, wherein the decoder is preferably suited for applications that require very low residual error rates, e.g. bit error rate of less than 10−15 or even less than 10−16.
With the foregoing and other objects in view there is provided, in accordance with the invention, a soft input decoding method for a generalized concatenated code (GCC), wherein the GCC is constructed from L inner nested linear binary block codes B( . . . ) and L outer codes, wherein L≥2 denotes a number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of a respectively preceding lower level, if any, the method comprising:
using one or more decoding devices to iteratively decode level by level original data received from a data channel and, and thereby performing in each level:
a first decoding step for decoding input data of a current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level including the original data and the input data of each subsequent level being based on the decoding result of a previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of a highest level is output as decoded data;
wherein:
the first decoding step of at least one current level l other than the lowest level comprises trellis-based sequential stack decoding of the input data of the current level l using as a soft input information characterizing the reliability of the data channel;
the sequential stack decoding is based on a first trellis representing a first supercode B1(l) of the inner block code B(l) of the current level l and on a second trellis representing a second supercode B2(l) of B(l), with B(l)=B1(l) ∩ B2(l), wherein a supercode of B(l) is a code containing all codewords of B(l) and the redundancy of each of the first supercode B1(l) and the second supercode B2(l) is lower than that of B(l);
the corresponding inner code B(l−1) of the immediately preceding level l−1 is reused as one of the supercodes B1(l) and B2(l); and
the sequential stack decoding is configured to deliver only codewords comprised of the output data of the first decoding step that are represented by both the first trellis and the second trellis.
In other words, a first aspect of the invention is directed to a soft input decoding method for a generalized concatenated code, GCC, wherein the GCC is constructed from L inner nested linear binary block codes B( . . . ), preferably binary extended Bose-Chaudhuri-Hocquenghem, BCH, codes, and L outer codes—preferably block codes such as Reed-Solomon, RS, codes—wherein L≥2 denotes the number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of the preceding lower levels, if any. The method uses one or more decoding devices, i.e. decoders, to iteratively decode level by level original data received from a data channel, e.g. a non-volatile memory device such as flash memory.
For each level the method comprises the following steps:
a first decoding step for decoding input data of the current level based on the inner block codes of the current level and providing respective decoded output data, the input data of the lowest level comprising said original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data.
Herein, the first decoding step of at least one current level l other than the lowest level comprises trellis-based sequential stack decoding of the input data of the current level l using as a soft input information characterizing the reliability of the data channel. The sequential stack decoding is based on a first trellis representing a first supercode B1(l) of the inner block code B(l) of the current level l and on a second trellis representing a second supercode B2(l) of B(l), with B(l)=B1(l) ∩ B2(l), wherein a supercode of B(l) is a code containing all codewords of B(l) and the redundancy of each of the first supercode B1(l) and the second supercode B2(l) is lower than that of B(l). The corresponding inner code B(l−1) of the immediately preceding level l−1 is reused as one of the supercodes B1(l) and B2(l). The sequential stack decoding is configured to deliver only codewords comprised in the output data of the first decoding step that are represented by both the first trellis and the second trellis.
The term “extended BCH code”, as used herein, refers to a code the codewords of which generally comprise both a BCH codeword and an additional single parity check (SPC) symbol (i.e. a parity bit, if the SPC symbol is only a single bit). However, even a mere SPC-code (without further BCH parity symbols) is already an extended BCH code, in fact it is its simplest form. While a BCH code (that is not a mere SPC code) enables correction of a certain number of errors in a codeword at the decoding side, an SPC code only enables detecting certain errors, specifically if there is an odd number of errors in the codeword.
The term “sub-code” of a particular (parent) code, as used herein, refers to a code consisting of a strict subset of the codewords of said (parent) code. Thus, a code B(n) is a subset of another code B(m), if the set of the codewords of B(n) is a strict subset of the set of codewords of B(m). Specifically, the sub-code may be the code of a particular nesting level of the nested structure of the inner nested block codes, which sub-code is a subset of a lower-level block code of the nested structure. Accordingly, in the nested structure B(L−1)⊆B(L−2)⊆ . . . ⊆B(0) the block code B(L−q) with L>q>0 and q being an integer is a sub-code of at least the block code B(0) of the lowest nesting level 0 and, if q<L−1, of any higher nested block code defined between B(0) and B(L−q) in the nested structure.
The term “soft input decoding” in the sense of the present invention refers to a way of decoding original data received from a channel, wherein information characterizing the reliability of the channel is taken into account by an algorithm used to perform the decoding as input variable(s) to the algorithm.
The term “trellis” refers to a representation of a code, wherein a trellis T=(S, W) is a labelled, directed graph, where W={w} denotes the set of all branches in the graph and S={σ} is the set of all nodes. The set S is decomposed into n+1 disjoint subsets S=S0 ∪ S1 ∪ . . . ∪ Sn that are called “levels” of the trellis. Similarly, there exists a partition of the set W=W1 ∪ W2 ∪ . . . ∪ Wn. A node σεSt of the level t may be connected to a node {tilde over (σ)}εSt+1 of the level t+1 by one or several branches. Each branch wt is directed from a node a of level t−1 to a node {tilde over (σ)} of the next level t. Herein, it is assumed that the end levels have only one node, namely S0={σ0} and Sn={σn}. A trellis is a compact method of presenting all codewords of a code. Each branch of the trellis wt is labelled by a code symbol vt (wt). Each distinct codeword corresponds to a distinct path in the trellis, i.e., there is a one-to-one correspondence between each codeword v in the code and a path w in the trellis: v(w)=v1(w1), . . . , vn(wn).
Herein, code sequence segments and path segments are denoted by v[i,j]=vi, . . . , vj and w[i,j]=wi, . . . , wj, respectively. The so-called “syndrome trellis”, can be obtained using its parity-check matrix [16]. The syndrome trellis is minimal inasmuch as this trellis has the minimal possible number of nodes |S| among all possible trellis representations of the same code.
The term “trellis-based sequential stack decoding” refers to a stack algorithm, i.e. an iterative decoding method, such as the one presented in [15], wherein a stack is required to store interim results. The stack contains code sequences of different lengths. Let vt denote a code sequence of length t, i.e., vt=v1, . . . , vt. Each code sequence is associated with a metric and a node σt. The node σt is the node in the trellis that is reached, if one follows the path corresponding to the code sequence through the trellis. In each iteration, the metric rates each code sequence and the stack is ordered according to these metric values where the code sequence at the top of the stack is the one with the largest metric value. The code sequence corresponding to the top path of the stack in the final iteration represents the estimated codeword. A more detailed explanation of trellis-based sequential stack decoding will be discussed below with reference to
Generally, the amount of memory space a trellis-based decoder needs for storing a trellis depends on the number of nodes in the trellis. For example, each node may require at least memory space for storing two addresses corresponding to two different pointers to nodes in the subsequent level of the trellis. Furthermore, the maximum number of nodes at a given depth of the trellis is equal to the number of redundancy bits, i.e. parity bits, of the code. Accordingly, a code of length n and dimension k and thus (n−k) redundancy bits, requires a maximum number of n*2(n−k) nodes and sufficient memory space to store the respective trellis. Based on the above example with two pointers per node this results in a total of 2n*2(n−k) pointers.
As in the GCC discussed herein the number of redundancy bits increases from level to level, the required storage space drastically grows with each additional (higher) level and thus the space efficiency of a respective decoder will decrease accordingly the more levels and redundancy bits are used in the code.
The solution according to its first aspect of the present invention mitigates this growing space inefficiency by using the concept of supercodes, wherein an inner code B(l) of a current level is represented by an intersection=B1(l) ∩ B2(l) of two supercodes B1(l) and B2(l). Each of the supercodes has a lower number of redundancy bits than the inner code B(l) of the current level and thus fewer trellis nodes to be stored. The concept of supercode decoding is well suited for decoding of GC codes, because due to the construction of the GC codes, where a lower-level inner code is always a supercode of each subsequent higher inner code, the concept of reusing already stored sub-codes of the previous lower levels as supercodes for decoding subsequent higher levels provides a significant saving of memory space and thus an increased space efficiency. A numerical example demonstrating this storage saving effect will be provided below in the Detailed Description of the Invention section.
With the above and other objects in view there is also provided, in accordance with a second aspect of the invention, a soft input decoding method for a generalized concatenated code (GCC) constructed from L inner nested linear binary block codes and L outer codes, wherein L≥2 denotes a number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of preceding lower levels, if any, the method comprising:
using one or more decoding devices to iteratively decode level by level original data received from a data channel, and performing in each level:
a first decoding step for decoding input data of the current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level including the original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data;
wherein the first decoding step of at least one of the levels includes:
sequential stack decoding of the input data of the current level l based on a trellis of the inner block code of the current level and using as a soft input information characterizing the reliability of the data channel, wherein the sequential stack decoding is configured to deliver only codewords comprised in the output data of that first decoding step which are represented by the trellis; and
selecting as the output data of the first decoding step of the current level l:
a first output data estimate resulting from the sequential stack decoding of the input data of the current level l, if its metric value rated according to a predetermined metric reaches or exceeds a predetermined threshold or is superior according to the metric to the respective metric value of a second output data estimate resulting from a second run of the sequential stack decoding in which the first output data estimate is excluded, and
the second output data estimate otherwise.
In other words, the second aspect of the present invention is also directed to a soft input decoding method for a generalized concatenated code, GCC, wherein the GCC is constructed from L inner nested linear binary block codes B( . . . ), preferably binary extended Bose-Chaudhuri-Hocquenghem, BCH, codes, and L outer codes—preferably block codes such as Reed-Solomon, RS, codes—wherein L≥2 denotes the number of levels of the GCC and the inner code of a higher level is a sub-code of the inner code of the preceding lower levels, if any. The method uses one or more decoding devices, i.e. decoders, to iteratively decode level by level original data received from a data channel, e.g. a non-volatile memory device such as flash memory.
For each level the method comprises the following steps:
a first decoding step for decoding input data of the current level l based on the inner block codes of the current level l and providing respective decoded output data, the input data of the lowest level comprising the original data and the input data of each subsequent level being based on the decoding result of the previous level; and
a subsequent second decoding step for decoding the outer code of the current level l based on the output data of the first decoding step to estimate a decoding result of the current level l, wherein the decoding result of the highest level is output as decoded data.
Herein the first decoding step of at least one of the levels comprises: (a) sequential stack decoding of the input data of the current level l based on a trellis of the inner block code of the current level l and using as a soft input information characterizing the reliability of the data channel, wherein the sequential stack decoding is configured to deliver only codewords comprised in the output data of that first decoding step which are represented by the trellis; and (b) selecting as the output data of the first decoding step of the current level l: (1) a first output data estimate resulting from the sequential stack decoding of the input data of the current level, if its metric value rated according to a predetermined metric reaches or exceeds a predetermined threshold or is superior according to the metric to the respective metric value of a second output data estimate resulting from a second run of the sequential stack decoding in which the first output data estimate is excluded, and (2) the second output data estimate otherwise.
The method according to the second aspect of the present invention relates to so-called “list decoding”, particularly “list-of-two decoding”, which is an alternative to unique decoding of error-correcting codes for large error rates. While unique decoding provides only a single result, e.g. a single codeword, as a decoding result, the main idea behind list decoding is that the decoding algorithm instead of outputting a single possible result (e.g. codeword) outputs a list of possible results one of which is correct, or at least a preferred estimate. This allows for handling a greater number of errors than that allowed by unique decoding. In the case of list-of-two-decoding the list of possible results is limited to two results. The specific form of list-of-two-decoding as provided according to the second aspect of the present invention may be denoted as “Sequential list-of-two (stack) decoding”.
In order to enable a trade-off between performance and complexity, the method introduces a threshold ρ for the metric of the estimated codeword, which enables a reduction of the residual word error rate compared to similar unique coding algorithms having a similar complexity and thus also allows for the use of higher code rates at a similar error rate. The use of combining sequential stack decoding of GCCs with List-of-two decoding is motivated by the fact that the method according to the first aspect of the present invention is not a maximum-likelihood decoding procedure. Hence, searching for further codewords in order to find even better codeword candidates is justified, particularly in applications, where very low residual error rates or very high code rates need to be achieved. This may particularly apply to decoding of data read from channel comprising a non-volatile memory, such as flash memory, particularly if such memory is used in connection with applications related to security, safety or critical infrastructure.
According to a preferred embodiment of the method of the second aspect, the first decoding step of at least one current level l other than the lowest level comprises trellis-based sequential stack decoding of the input data of the current level l using as a soft input information characterizing the reliability of the data channel. The sequential stack decoding is based on a first trellis representing a first supercode B1(l) of the inner block code B(l) of the current level l and on a second trellis representing a second supercode B2(l) of B(l), with B(l)=B1(l) ∩ B2(l), wherein a supercode of B(l) is a code containing all codewords of B(l) and the redundancy of each of the first supercode B1(l) and the second supercode B2(l) is lower than that of B(l). The corresponding inner code B(l−1) of the immediately preceding level l−1 is reused as one of the supercodes B1(l) and B2(l). Furthermore, the sequential stack decoding is configured to deliver only codewords comprised in the output data of the first decoding step that are represented by both the first trellis and the second trellis.
In this way, the advantages of both using super codes for increasing space efficiency and using list-of-two-decoding for enhancing the available code rate and/or reducing the residual error rates can be combined and realized.
In the following, preferred embodiments of the methods according to the first and second aspects of the present invention are described, which can be arbitrarily combined with each other or with other aspects of the present invention, unless such combination is explicitly excluded or technically impossible.
According to a preferred embodiment, the method further comprises applying hard decoding to decode the inner block codes in the first decoding step of a first level of the GCC, the first level being preferably the lowest level, before applying sequential stack decoding to a higher level based on a trellis of the inner block code of the higher level and using as a soft input information characterizing the reliability of the data channel. This allows for a reduction of complexity for the decoding of the inner codes of said first level compared to soft input decoding and thus for faster processing times.
In a preferred variant hereof, the first decoding step comprises determining for at least one data word comprised in the input data of the current level, whether the codeword resulting from hard decision decoding of the data word corresponds to a valid codeword of the inner block code B of the current level. In this way, the soft input decoding and its related processing time and effort can be omitted in cases, where the hard decision decoding of a received word in the input data of the first level (particularly in the original data, if the first level is the lowest level) corresponds to a valid codeword of the respective inner code of said level. Furthermore, as will be shown in the “Detailed Description” section below, if the word in the input data corresponds to a valid codeword, this codeword actually represents the maximum-likelihood estimate and thus already an optimal decoding result for said inner block code.
According to a further preferred embodiment the metric that is applied in the sequential stack decoding to rate code sequences occurring during the decoding and to order the stack based on the metric values resulting from the rating is one of the Fano metric and the quadratic Euclidean distance metric, or a combination thereof. Furthermore, the soft input characterizing the reliability of the data channel serves as an input variable of the metric.
The Fano metric is defined as follows. Let vi be the i-th code bit and ri the i-th received symbol for transmission over a discrete memoryless channel. The Fano metric for a code bit vi is defined by:
where p(ri|vi) is the channel transition probability and p(ri) is the probability to observer ri at the channel output. The term B is a bias term that is typically chosen to be the code rate R [34]. The Fano metric of a code sequence vt is
where rt is the sequence of the first t received symbols. Note that the Fano metric according to the above equations is only defined for discrete memoryless channels (DMC). We consider the quantized AWGN channel which is a DMC. Binary block codes typically have no tree structure. Consequently, the Fano metric is not necessarily the best metric for all binary block codes. For instance, in [35] a metric with variable bias term was proposed for linear block codes. However, in particular at least when the inner block codes are specifically selected to be binary BCH codes, B=R provides good results for all considered channel conditions.
The quadratic Euclidean distance metric is defined as: dE2(x,r)=Σi=1n|xi−ri|2 wherein the transmitted symbol vector x is distorted by a noise vector n such that the received sequence, i.e. the original data received from the channel, is r=x+n. A selection of the quadratic Euclidean distance metric as the metric used in connection with the present decoding method is particularly useful, if the channel can be considered an AWGN channel.
According to a further preferred embodiment the block code of the lowest level of the inner nested block codes is a single-error correction code, i.e. a code the error correction capability of which is limited to correcting a single error in a received data word to be decoded. This enables a particularly time and space-efficient implementation, because the total number of redundancy bits used in the GCC for the inner blocks can thus be minimized which effects both the processing time for the decoding algorithm and the memory space needed, in particular for the storage of the involved trellises.
According to a further preferred embodiment the inner codes are nested binary extended Bose-Chaudhuri-Hocquenghem, BCH, codes, and the extended BCH code in the lowest level of the inner nested BCH codes is a mere single parity-check, SPC, code. Furthermore, the extended BCH code in at least one higher level of the inner nested BCH codes has an error correction capability and is a sub-code of the BCH code of the lowest nesting level. BCH codes are linear binary block codes which are a particularly suitable selection for the inner codes of said GCC. While the code constructions where also the inner block codes of the lowest level have an error correction capability are typically limited to codes with an overall code rate of less than or equal to 0.9, which is not applicable in flash memories that provide only a small spare memory area for storing the redundancy required for the ECC, the encoding method according to this embodiment enables high rate GC codes with code rates above 0.9. Accordingly, such high rate GC codes can be used to encode data to be stored in memories, esp. flash memories, which provide only a small spare memory area. Despite the use of only SPC instead of higher BCH codes in the lowest nesting level, similar ECC error correction levels can be achieved and thus the efficiency (code rate) of the code can be increased. In other words, the efficiency of such memories in terms of their storage capacity for user data can be improved due to the increased code rate. Further variants and improvements to this embodiment are provided in the commonly assigned, copending patent application No. 15/593,973, filed concurrently herewith, and its counterpart German patent application DE 10 2017107431.7; the disclosures of the copending applications are herewith incorporated by reference in their entirety.
According to a further preferred embodiment the original data received from a data channel is arranged in a two-dimensional original data matrix having a first dimension na equal to the length of the outer codes and a second dimension nb equal to the length of the inner block codes, wherein a line of the first dimension of a matrix is a row of the matrix and a line of its second dimension is a column of the matrix, or vice versa. The outer codes are defined over a Galois-Field GF(2m) such that m elements of each line of the second dimension represent one symbol of the Galois-Field GF(2m). Furthermore:
A first iteration corresponding to the lowest level of the inner block codes of the original data matrix, wherein the first decoding step comprises:
applying a decoding scheme of the inner block code of the lowest level to the lines of the second dimension of the original data matrix with respect to the lowest level of the inner nested block codes in which the lines of a second dimension of the original data matrix are encoded in order to obtain an intermediate decoding data matrix of the first iteration and to determine erasure information characterizing lines of the second dimension of the original data matrix in which an erasure has been detected based on the decoding of the inner block code of the lowest level;
inferring the information bits contained in the lines of the second dimension of the intermediate decoding data matrix of the first iteration in order to retrieve code symbols of the outer codes in which the lines of a first dimension of the original data matrix are encoded; and
the second decoding step comprises:
applying outer decoding corresponding to the respective outer codes to the retrieved code symbols in the lines of the first dimension of the intermediate decoding data matrix of the first iteration in order to obtain a partial decoding result matrix of the first iteration, wherein the erasure information is used during outer decoding to identify erroneous symbols of the outer code in the intermediate decoding data matrix of the first iteration;
re-encoding said partial decoding result matrix of the first iteration by applying an encoding scheme of the inner block code of the lowest level to the second dimension of this matrix to obtain a re-encoded matrix of the first iteration; and
subtracting the re-encoded matrix of the first iteration from the original data matrix in order to obtain a start matrix for a subsequent further iteration; and
b) for each of the further levels of the inner block codes, a respective further iteration wherein the first decoding step of the respective level comprises:
applying a decoding scheme of the inner block code of the current level to the lines of the second dimension of the start matrix of the current iteration with respect to the current level of the inner block codes in which the lines of a second dimension of the start matrix of the current iteration are encoded in order to obtain an intermediate decoding data matrix of the current iteration;
inferring the information bits contained in the lines of the second dimension of the intermediate decoding data matrix of the current iteration in order to retrieve code symbols of the outer codes in which the lines of a first dimension of the original data matrix are encoded;
applying outer decoding corresponding to the respective outer codes used for obtaining the original data matrix during encoding, to the retrieved code symbols in the lines of the first dimension of the intermediate decoding data matrix of the current iteration in order to obtain a partial decoding result matrix of the current iteration;
if the current iteration corresponds to the highest nesting level of the inner block codes in the original data matrix, outputting the partial decoding result matrix of the current iteration as the decoded data, and
otherwise, re-encoding said partial decoding result matrix of the current iteration by applying an encoding scheme of the inner block code of the current level to the second dimension of this matrix to obtain a re-encoded matrix of the current iteration, and subtracting the re-encoded matrix of the current iteration from the start matrix of the current iteration in order to obtain a start matrix for a subsequent further iteration.
In this way, a particularly time-efficient implementation of the decoding methods of the first and second aspect can be achieved, wherein the matrix representation is used to provide a suitable structure based on which the individual process steps of the method are performed.
According to a further preferred embodiment in at least one, preferably each, first decoding step using sequential stack decoding, the decoding of a data word in the input data of the inner code of the current level is terminated, when: (i) the maximum possible path length is reached, wherein the trellis path having the best metric value among the paths accrued so far in the stack is selected as the decoded codeword corresponding to the data word; or (ii) a predetermined maximum number of iterations have occurred. While case (i) corresponds to the regular completion of the decoding algorithm, case (ii) can be used to terminate a failed decoding run and thus avoid a loss of time due to a decoding failure that would otherwise cause further decoding cycles to be performed without merit.
Specifically, in a preferred variant, if the termination is caused because a predetermined maximum number of iterations have occurred, the output data of the current first decoding step is marked as an erasure symbol for the corresponding outer code used in the second decoding step of the current level. This enables the employment of both error and erasure decoding of the outer codes, whether the decoding failures of the inner codes are regarded as erased symbols of the outer code, e.g. outer RS code.
A third aspect of the present invention is directed to a decoding device adapted to perform the decoding method of the first and/or the second aspect of the present invention, particularly including any one or more of its preferred embodiments described herein.
According to a preferred embodiment, the device comprises a plurality of distinct memories or memory areas, preferably of the read-only memory (ROM) type, which can be simultaneously accessed and each of which is configured to store a data representation of a trellis used in the decoding method. In this way, a parallel access to the various memories or memory areas, particularly for reading data representing the various trellises involved in the decoding, is enabled, which supports even faster processing time and thus may be used to at least partially compensate the additional time consumed by soft input decoding and/or list-of-two decoding in comparison to simple hard and/or unique decoding. Choosing ROM memory to store data representations of the trellis is particularly advantageous because of its typically very high memory density. This can be used to further increase the space efficiency of the decoding device respectively a memory system comprising same as well as related memory devices.
A fourth aspect of the present invention is directed to a nonvolatile memory system comprising (i) a memory array including a plurality of cells configured to store a plurality of data bits and a plurality of parity bits that are calculated from the plurality of data bits according to a coding scheme based on generalized concatenated code, GCC, wherein the GCC is constructed from inner nested linear binary block codes, preferably binary extended Bose-Chaudhuri-Hocquenghem, BCH, codes, and outer codes, preferably Reed-Solomon, RS, codes; and (ii) a decoding device according the third aspect of the present invention or any one or more of its preferred embodiments described herein, the decoding device being configured to receive and decode GCC-coded original data from the memory array.
Finally, a fifth aspect of the present invention is directed to a computer program, that is to a computer program product, comprising instructions, which when executed on one or more processors of a decoding device, e.g. according to the third aspect of the invention, cause the decoding device to perform the method of the first and/or the second aspect of the present invention, particularly including any one or more of its preferred embodiments described herein.
The computer program product may in particular be implemented in the form of a data carrier on which one or more programs for performing the method are stored. Preferably, this is a data carrier, such as a CD, a DVD or a flash memory module. This may be advantageous, if the computer program product is meant to be traded as an individual product independent from the processor platform on which the one or more programs are to be executed. In another implementation, the computer program product is provided as a file on a data processing unit, in particular on a server, and can be downloaded via a data connection, e.g. the Internet or a dedicated data connection, such as a proprietary or local area network.
Other features which are considered as characteristic for the invention are set forth in the appended claims.
Although the invention is illustrated and described herein as embodied in methods and decoder for soft input decoding of generalized concatenated codes, it is nevertheless not intended to be limited to the details shown, since various modifications and structural changes may be made therein without departing from the spirit of the invention and within the scope and range of equivalents of the claims.
The construction and method of operation of the invention, however, together with additional objects and advantages thereof will be best understood from the following description of specific embodiments when read in connection with the accompanying drawings.
GC Construction
The coding methods illustrated herein are based on the use of GC codes for error correction in memories, such as flash memories, that require high-rate codes. The GC codes are constructed from inner nested binary Bose-Chaudhuri-Hocquenghem (BCH) codes and outer Reed-Solomon (RS) codes. For the inner codes extended BCH codes are used, where single parity-check codes are applied in the first level of the GC code (cf.
Reference is now made to
The shaded area in
B(L−1)⊆B(L−2)⊆ . . . ⊆B(0) (1)
Hence, a higher level code is a sub-code of its predecessor, wherein the higher levels have higher error correcting capabilities, i.e., tb,L−1≥tb,L−2≥ . . . ≥tb,0, where tb,i is the error correcting capability of level i. The code dimensions are k(0)=Lm, k(1)=(L−1)m, . . . , k(L−1)=m. The codeword bj of the j-th column is the sum of L codewords.
These codewords bj(i) are formed by encoding the symbols aj,i with the corresponding sub-code B(i), where aj,i is the j-th symbol (m bits) of the outer code A(i). For this encoding (L−i−1)m zero bits are prefixed onto the symbol aj,i. Note that the j-th column bj is a codeword of B(0), because of the linearity of the nested codes.
In the outer encoding step S2, the information in each of the two levels i=0 and i=1 is encoded by a respective RS code, wherein the code dimension of the outer RS code for level 0 is only ka(0)=3 while the code dimension of level 1 is increased to ka(1)=5. Performing the outer encoding step S2 results in an intermediate matrix A comprising the code symbols ai,j, wherein each of these symbols ai,j comprises m1=3 bits and the rows of the matrix A are codewords of the outer code.
In the inner encoding step S3 each of the symbols ai,j of the intermediate matrix A is individually encoded by a corresponding inner code in the form of an extended BCH code B(i). In the first level i=0, the respective extended BCH code B(0) may particularly be, as in this example, a mere Single Parity Check (SPC) code. Accordingly, as exemplarily illustrated in
In the second level i=1, the respective extended BCH code B(1), which unlike the SPC code does have an error correction capability of 1 Bit, is applied in each column of the matrix A to the respective symbol aj,1. As in this simple example this is already the final level, no prefixing of “0” symbols is necessary. Again, an SPC code is applied to the resulting BCH codeword and added in the final row of the respective column j.
In order to arrive at the final GC codeword matrix C, on a column by column basis all of the individual codewords bj(i) of all levels i of column j are added according to formula (2) above in order to receive the corresponding codeword bj which then forms column j of the resulting GC codeword matrix C, as again exemplarily illustrated in
In a further example (Example 1) corresponding to
TABLE I
j
kb, j
db, j
ka, j
da, j
0
54
3
187
157
1
45
5
321
23
2
36
9
333
11
3
27
11
331
13
4
18
15
335
9
5
9
17
337
7
The table shows the parameters of the code of example 1. kb,j and db,j are the code dimension and minimum Hamming Distance of the binary inner code of level j. ka,j and da,j are the code dimension and minimum Hamming Distance of the outer RS codes.
This code is also able to correct burst errors. The minimum distance of all outer RS code is greater than or equal to five. Hence, each outer code can correct at least two erroneous symbols and consequently two columns of the codeword matrix may be corrupted by an arbitrary number of errors.
The GC decoder processes level by level, where first the inner codes and then the outer codes are decoded. In order to enable soft input decoding of the overall GC code, a soft input decoding algorithm for the inner codes is required. This section describes sequential decoding procedures using the stack algorithm for block codes. These decoding methods are used to decode the binary inner codes.
Firstly, a sequential stack decoding process using a single trellis, as presented in [15], is discussed in more detail with reference to Algorithm 1 outlined below in order to better illustrate a starting point of the present invention. All decoding methods of the present invention are based on this decoding method, which uses a trellis, as defined above, to represent the code. Improvements to this decoding algorithm provided by the present invention will be discussed in the subsequent sections.
The sequential decoding procedure as presented in [15] is a stack algorithm, i.e., a stack is required to store interim results. The stack contains code sequences of different lengths. Let vt denote a code sequence of length t, i.e. vt=v1, . . . , vt. Each code sequence is associated with a metric and a node σt. The node σt is the node in the trellis that is reached by following the path corresponding to the code sequence through the trellis. The metric rates each code sequence and the stack is ordered according to these metric values where the code sequence at the top of the stack is the one with the largest metric value.
The Fano metric for a code bit vi is defined as follows. Let vi be the i-th code bit and ri the i-th received symbol for transmission over a discrete memoryless channel. The Fano metric for a code bit vi is defined by:
where p(ri|vi) is the channel transition probability and p(ri) is the probability to observe ri at the channel output. The term is a bias term that is typically chosen to be the code rate R [34]. The Fano metric of a code sequence vt is
M(rt|vt)=Σi=1tM(ri|vi) (4)
where rt is the sequence of the first t received symbols. Note that the Fano metric according to the above equations is only defined for discrete memoryless channels (DMC). We consider the quantized AWGN channel which is a DMC. Binary block codes typically have no tree structure. Consequently, the Fano metric is not necessarily the best metric for all linear block codes. However, in particular at least when the inner block codes are specifically selected to be binary BCH codes, =R provides good results for all considered channel conditions.
Algorithm 1 will be demonstrated in the following example (Example 2), where for simplicity a transmission over a binary symmetrical channel (BSC) is assumed:
Consider for instance the code B={(0000),(1110),(1011),(0101)} with parity-check matrix
The corresponding trellis is depicted in
Algorithm 1 can be described in pseudo-code form as follows:
Algorithm 1: Sequential stack decoding using a single trellis.
Data:
received word r
Result: estimated codeword {circumflex over (v)}
Sequential decoding starts in the first node σ0 of the trellis;
calculate the metric values for v1 = 0 and v1 = 1;
insert both paths into the stack according to their metric values;
while the top path has not approached the end node σn do
remove the code sequence vt at the top from the stack;
if the branch vt+1 = 0 exists in the trellis for the node σt
corresponding to the top path vt then
calculate the metric M(rt+1|vt+1) = M(rt|vt) + M(rt+1|vt+1 =
0);
insert the code sequence vt+1 = (vt, 0). into the stack;
end
if the branch vt+1 = 1 exists in the trellis for the node σt
corresponding to the top path vt then
calculate the metric M(rt+1|vt+1) = M(rt|vt) + M(rt+1|vt+1 =
1);
insert the code sequence vt+1 = (vt,1) into the stack;
end
end
return the codeword {circumflex over (v)} corresponding to the top path in the final iteration;
The following table represents the stack for the received sequence r=(0010) throughout the four iterations needed to calculate the estimated codeword {circumflex over (v)}:
1st iteration
2nd iteration
3rd iteration
4th iteration
vt
M(rt|vt)
vt
M(rt|vt)
vt
M(rt|vt)
vt
M(rt|vt)
0
0.3
00
0.6
000
−2.2
0000
−1.9
1
−2.8
01
−2.5
01
−2.5
01
−2.5
1
−2.8
1
−2.8
1
−2.8
Accordingly, the top word after the 4th and last iteration is output as the estimated codeword {circumflex over (v)}=0000. A negative value indicates that the received word was in error. A positive value indicates that the received word is error free. More errors in the received word lead to a negative value with large magnitude, which indicates a low reliability of the estimated codeword. This indication can then be used by the subsequent decoding of the outer codes to correct the remaining error(s).
This section starts with a description of the supercode decoding method according to preferred embodiments followed by a discussion of the proposed application of supercode decoding for the nested-BCH codes that are used in the GC code.
A supercode is a superset B1 of the original code B ⊂ B1. In order to decode the original code B, two supercodes B1 and B2 have to constructed such that B1 ∩ B2=B. The supercodes have fewer redundancy bits and thus fewer trellis states. The supercodes can be constructed such that each code has half of the original redundancy bits. This reduces the number of states from O(2p) to O(2p/2) in standard order notation, where p is the number of parity bits. The concept of supercode decoding is well-suited for decoding of GC codes, because the higher levels of the nested-BCH codes are supercodes of the lower levels (cf. Equation (1)).
A supercode Bi of the block code B is a code containing all codewords of B. For a linear code B with parity-check matrix H, we can construct two supercodes B1 and B2 such that B=B1 ∩ B2.
Let
be the parity-check matrix of the code B. This means that H1 and H2 are two sub-matrices of H. Then the sub-matrices H1 and H2 define the supercodes B1 and B2, respectively.
Consider for example the code B from Example 2. We obtain
H1=(1101)B1={(0000),(1100),(1110),(0010),(1011),(1001),(1011),(0101)}
and
H2=(0111)B2={(0000),(1000),(0110),(1110),(1011),(1101),(0011),(0101)},
where the underlined vectors are the codewords of the code B. The corresponding supercode trellises are depicted in
Next the proposed sequential decoding algorithm is demonstrated. Any path stored in the stack is associated with a metric value as well as two states σt,1 and σt,2 which are the states in the trellis for supercode B1 and B2, respectively. We demonstrate decoding Algorithm 2 in the following example, where we consider the same setup as in Example 2. Algorithm 2 can be described in pseudo-code form as follows:
Algorithm 2: Sequential stack decoding using supercode trellises.
Data: received word r
Result: estimated codeword {circumflex over (v)}
Sequential decoding starts in the nodes σ0,1 and σ0,2 of the supercode
trellises;
calculate the metric values for v1 = 0 and v1 = 1;
insert both paths into the stack according to their metric values;
while the top path has not approached the end nodes σn,1 and σn,2 do
remove the code sequence vt at the top from the stack;
if the branch vt+1 = 0 exists in the trellis for both nodes σn,1 and σn,2
corresponding to the top path vt then
calculate the metric M(rt+1|vt+1) = M(rt|vt) + M(rt+1|vt+1 = 0);
insert the code sequence vt+1 = (vt,0). into the stack;
end
if the branch vt+1 = 1 exists in the trellis for both nodes σn,1 and σn,2
corresponding to the top path vt then
calculate the metric M(rt+1|vt+1) = M(rt|vt) + M(rt+1|vt+1 = 1);
insert the code sequence vt+1 = (vt,1) into the stack;
end
end
return the codeword {circumflex over (v)} corresponding to the top path in the final iteration;
The following table represents the stack for the received sequence r=(0010) for algorithm 2 throughout the five iterations needed to calculate the estimated codeword {circumflex over (v)}:
1st iteration
2nd iteration
3rd iteration
4th iteration
5th iteration
vt
M(rt|vt)
vt
M(rt|vt)
vt
M(rt|vt)
vt
M(rt|vt)
vt
M(rt|vt)
0
0.3
00
0.6
001
0.9
000
−2.2
0000
−1.9
1
−2.8
01
−2.5
000
−2.2
01
−2.5
01
−2.5
1
−2.8
01
−2.5
1
−2.8
1
−2.8
1
−2.8
Accordingly, the top word after the 5th and last iteration is output as the estimated codeword {circumflex over (v)}=0000. A negative value indicates that the received word was in error. A positive value indicates that the received word is error free. More errors in the received word lead to a negative value with large magnitude, which indicates a low reliability of the estimated codeword. This indication can then be used by the subsequent decoding of the outer codes to correct the remaining error(s). Note that the stack in the third iteration differs from Example 2, because the code sequence 001 exists in both supercode trellises but not in the actual code. This code sequence is deleted in the next iteration, because it cannot be extended in both supercode trellises.
As the previous example demonstrates, the time complexity of the proposed algorithm may be larger than with Algorithm 1. This results from code sequences that exist in the supercodes, but are not valid in the actual code. Nevertheless, both algorithms result in the same codeword:
Theorem 1: Algorithm 1 and Algorithm 2 result in the same estimated codeword.
Proof. Both algorithms differ only with respect to the representation of the code. To prove the proposition, it is sufficient to verify that both representations are equivalent. We first prove by induction that the estimated codeword corresponds to a valid path in both supercode trellises, i.e., it is a codeword in both supercodes. The base case is the initial step where the code bits 0 and 1 are inserted in the stack. Note that a linear code has no code bit positions with constant values. Hence, the transitions v1=0 and v1=1 exist in both supercode trellises. For the inductive step, we assume that a path for the code sequence vt exists in both supercode trellises. It follows from Algorithm 2 that this path is only extended, if the extended path exists in both supercode trellises. This proves the claim that the estimated codeword corresponds to a valid path in both supercode trellises. Now note that B=B1 ∩ B2, i.e., a path is only valid in both supercode trellises if and only if it is a valid codeword of the code B. Algorithm 2 reduces the space complexity required for representing the code. We demonstrate this in the following example.
We consider three BCH codes from Table I. All codes have length n=60. In the first level, we use a single-error correcting code. This code has 3,262 nodes in the trellis. This code is a supercode of the BCH code of the second level. The trellis of the second level has 159,742 nodes. However, utilizing the trellis of the first level code, we require only a single additional supercode trellis with 2,884 nodes to represent the code at the second level. Finally, the code at the third level has a trellis with 7,079,886 nodes. Using supercode decoding, we utilize the trellises of the first and second level and require one additional supercode trellis with 2,410 nodes to represent the third code. With sequential decoding the number of visited nodes in the trellis (the number of iterations) depends on the number of transmission errors. Note that with the presented codes the time complexity with Algorithm 2 is at most 1.75 times larger than with Algorithm 1.
Next, two techniques to improve the performance and the complexity of Algorithm 1 will be described, starting with a demonstration that the soft input decoding can be omitted in cases where the hard decision of the received vector corresponds to a valid codeword (selective soft input decoding, see subsection). Thereafter, the proposed sequential list-of-two decoding algorithm is described. List-of-two decoding is motivated by the fact that Algorithm 1 is not a maximum-likelihood decoding procedure. Hence, one may search for further codewords in order to find better candidates than the result of Algorithm 1.
(a) Selective soft input decoding: In the following an additive white Gaussian noise channel with binary phase shift keying is considered. Assume that a binary code symbol vt ∈2 is mapped to the transmission symbol xt ∈ {+1, −1} by xt=1−2vt. The transmitted symbol vector x is distorted by a noise vector n such that the received sequence is r=x+n. The noise vector n is a vector of independent identically distributed Gaussian random variables with mean zero. Hence,
where σ2 denotes the variance of the Gaussian distribution. For this channel, it is common practice to use the quadratic Euclidean distance dE2(x, r)=Σi=1n|xi−ri/2 as metric, because
arg(P(r|v))=arg(
dE2(x,r)) (6)
However, we have
dE2(x,r)=Σt=1nxt2−2 Σt=1nxtrt+Σt=1nrt2 (7)
Let {tilde over (r)}t=sgn(rt) denote the sign, i.e., the hard decision, of rt. Using
Σt=1nxtrt=Σt=1n|rt|−2 Σt: x
one obtains
dE2(x,r)=n+4 Σt: x
Note that Σt: x
(b) Now we consider list-of-two decoding. In order to enable a trade-off between performance and complexity, we introduce a threshold ρ for the metric of the estimated codeword as exemplified in Algorithm 3 presented below.
Algorithm 3: Sequential list-of-two decoding.
Data: received word r, threshold ρ
Result: estimated codeword {circumflex over (v)}
If {tilde over (r)} corresponds to a valid codeword, then
return the codeword {circumflex over (v)} corresponding to {tilde over (r)};
else
calculate a first estimate v1using either Algorithm 1 or Algorithm 2;
If M(rt|vt) ≥ ρ then
Return the codeword {circumflex over (v)} = v1;
else
remove v1 from the stack;
calculate a second estimate v2 using either Algorithm 1 or
Algorithm 2;
If M (r, v1) ≥ M (r, v2) then
Return {circumflex over (v)} = v1;
else
Return {circumflex over (v)} = v2;
end
end
end
In Algorithm 3, Algorithm 1 is applied to decode the inner codes at the first level, i.e. the codewords of the code B(0), whereas Algorithm 2 is applied for the lower levels.
The decoder processes level by level starting with i=0, taking original data received from a channel, such as a flash memory device, as input, wherein the original data is arranged in a data matrix that is structured as illustrated in
The detailed encoding and hard input decoding process is described in [36]. In the first level i=0 the soft input decoding according to Algorithm 1 is used. Starting with the second level, the structure of the nested-BCH codes can be exploited and Algorithm 2 be used, where the code at level i−1 can be used as supercode of the code of level i. For the implementation, the number of decoding iterations for each inner code may be limited. If the number of iterations exceeds a threshold a decoding failure is declared. For the outer (e.g. RS) codes error and erasure decoding is employed [37], where the decoding failures of the inner codes are regarded as erased symbols of the outer (e.g. RS) code.
In the following, an analysis of the probability of a decoding error for the GC decoder is presented followed by an example that illustrates the performance of the proposed decoding procedure.
The performance of the soft input decoding of the inner codes can be determined using Monte Carlo simulation. Let Pb,j be the error probability for the decoding of the inner code B(j). Furthermore, let Pe,j be the corresponding probability of a decoder failure. The probability of a decoding error is bound with the multi-stage decoding algorithm.
Let Tj=na−ka,j be the number of redundancy symbols for the outer RS code A(j) at the j-th level. The probability Pa,j of a decoding error with error and erasure decoding at the j-th level can be computed as follows [37]:
where Pq is the probability of q erasures.
Using the union bound, the block error rate PGC for the GC code, i.e. the likelihood of the event that at least one level is in error, can be estimated
Consider the code from Example 1. This code has a code rate R=0.806 and was designed to guarantee Pe≤10−16 according to (12) for EB/N0≥4.7 dB, where soft input decoding is used in the first three levels and hard input decoding in the remaining levels.
We compare the error correction performance of the GC code in different decoding modes with the performance of long BCH codes with hard input decoding. As performance measure, we use the code rate that is required to guarantee for a given signal to noise ratio an overall word error rate less than 10−10 or 10−16, respectively. All codes are constructed similar to the code presented in Example 1. In particular, the inner codes are chosen according to Table I. Whereas the error correcting capability of the outer codes are adapted to obtain the highest possible code rate for a given signal to noise ratio. Note that in this example, the overall code rate of the GC code is at most R=0.9, because of the choice of the inner code.
This section describes an exemplary memory system comprising a decoding device adapted to perform at least one of the decoding methods discussed above in sections II.B and II.C and a related decoder architecture for a GC soft input decoder like the one used in said memory system.
The memory controller 2 is also configured as a coding device and adapted to perform the decoding methods of the present invention, particularly as described above with reference to
Next, we discuss a preferred integration of the stack algorithm as inner decoder into the implementation of the GC decoder presented in [36]. Then the stack algorithm implementation for supercode decoding with its subsystems is presented and discussed. The original hard input GC decoder implementation in [36] uses algebraic syndrome decoding. In this implementation, the first levels of B can decode tb,0=1 and tb,1=2 errors. Thus high error correction capabilities of the outer codes A(0) and A(1) are required. This leads to lower code rates and a high decoding complexity of those outer codes. On the other hand, the soft decoding complexity of the column codes increases significantly with each code level. Hence soft decoding is of interest for the lower levels. Subsequently the algebraic decoding logic for the column code remains in the implementation. Therefore, it is possible to check whether the syndrome is zero. In this case, the codeword can be assumed to be correct, i.e., neither algebraic decoding nor sequential decoding result in a different codeword.
A brief overview of an exemplary decoding system according to a preferred embodiment, which may particularly be implemented in a single decoding device, is depicted in
Each entry of the priority queue 8 contains several elements. The first element is the metric value. The path in the trellis, the length of the path, and a pointer to the current node are stored. All entries have to be ordered by the metric values such that the top entry has the highest value. The process of the priority queue 8 starts with its initialization. The starting node, its initial metric value and the path length are set. Each update cycle begins with the load phase in which the next node pointers are loaded from the trellis ROM 9a, 9b. Simultaneously the next codeword symbol is loaded based on the path length index. The next metric value can be determined based on the code symbol and the available branches. With binary codes, there exists at least one possible branch and at most two branches. The resulting branches are pre-sorted using combinatorial logic. In the following these two entries are called the major and the minor entries, where the major entry has the better metric value.
All priority queue elements are successively ordered in a chain.
The algorithm terminates, if the maximum possible path length is reached. The stored path in the top element is the decoded codeword. In a practical implementation, an iteration counter may be used, that terminates after a determined maximum number of iterations. This abort can be used to mark this decoded GCC column as an erasure symbol for the outer (RS) code. In order to decode supercodes (cf. Algorithm 2 or Algorithm 3 based on Algorithm 2), the following extensions have to be implemented. The metric calculation has to take all trellis branches of each supercode into account. Furthermore, all node pointers have to be stored in the priority queue elements. Preferably, for each supercode a distinct ROM, particularly a different ROM device, is used, which represents its trellis.
This section describes an exemplary FPGA implementation of the proposed soft input decoder according to a preferred embodiment and compares it with the hard input decoder presented in [36]. The hard input decoder uses algebraic decoding. It consists of the syndrome calculation, the Berlekamp-Massey algorithm (BMA), and the Chien search module. The soft input decoder is implemented as proposed in Section II-B above. It has two limitations. First, the length of the priority queue is limited to 64 elements. Furthermore, the accuracy of the metric calculation is limited to 16 bits and a 3-bit quantization is used for the input symbols.
The stack algorithm has a variable execution time depending on the error pattern. This algorithm needs at least 61 cycles to traverse the entire trellis, if no error occurred. This case can be omitted by checking whether the syndrome of a column word is zero. If no error is detected, the soft decoding can be avoided and thus only a single cycle is needed.
Next, a FPGA synthesis result for the stack algorithm is presented. The synthesis was performed with a Xilinx Vivado and a Virtex-7 target device. Table II shows the number of slices and look-up tables (LUT) of the hard input and the soft input decoder with 3-bit quantization. From these results, we observe that the number of logic elements required for the stack algorithm is about 80% of the number of logic gates required for the GC hard input decoder.
TABLE II
results of FPGA analysis
Module
LUT
Slices
RS module (t = 78)
Syndrome
1 701
1 395
BMA
21 701
6 662
Forney alg.
1 046
729
Chien search
854
712
BCH Module (n = 60, t = 8)
Syndrome
184
46
BMA
2 006
732
Chien search
1 557
240
reimage
148
336
TOTAL
29 197
10 852
Stack algorithm
23 896
9 885
While above at least one exemplary embodiment of the present invention has been described, it has to be noted that a great number of variation thereto exists. Furthermore, it is appreciated that the described exemplary embodiments only illustrate non-limiting examples of how the present invention can be implemented and that it is not intended to limit the scope, the application or the configuration of the herein-described apparatus' and methods. Rather, the preceding description will provide the person skilled in the art with constructions for implementing at least one exemplary embodiment of the invention, wherein it has to be understood that various changes of functionality and the arrangement of the elements of the exemplary embodiment can be made, without deviating from the subject-matter defined by the appended claims and their legal equivalents.
The following is a summary list of reference numerals and the corresponding structure used in the above description of the invention:
Freudenberger, Juergen, Spinner, Jens, Baumhof, Christoph
Patent | Priority | Assignee | Title |
11677500, | Sep 30 2020 | Polaran Haberlesme Teknolojileri Anonim Sirketi | Methods and apparatus for encoding and decoding of data using concatenated polarization adjusted convolutional codes |
Patent | Priority | Assignee | Title |
5373511, | May 04 1992 | Motorola, Inc. | Method for decoding a reed solomon encoded signal with inner code and apparatus for doing same |
7958425, | Feb 19 2004 | TRELLISWARE TECHNOLOGIES, INC | Method and apparatus for communications using turbo like codes |
20090150746, | |||
20110214039, | |||
20140153625, | |||
20150236723, | |||
20160087652, |
Executed on | Assignor | Assignee | Conveyance | Frame | Reel | Doc |
May 19 2017 | SPINNER, JENS | HYPERSTONE GMBH | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 042532 | /0281 | |
May 19 2017 | BAUMHOF, CHRISTOPH | HYPERSTONE GMBH | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 042532 | /0281 | |
May 23 2017 | FREUDENBERGER, JUERGEN | HYPERSTONE GMBH | ASSIGNMENT OF ASSIGNORS INTEREST SEE DOCUMENT FOR DETAILS | 042532 | /0281 |
Date | Maintenance Fee Events |
Aug 29 2022 | M2551: Payment of Maintenance Fee, 4th Yr, Small Entity. |
Date | Maintenance Schedule |
Mar 12 2022 | 4 years fee payment window open |
Sep 12 2022 | 6 months grace period start (w surcharge) |
Mar 12 2023 | patent expiry (for year 4) |
Mar 12 2025 | 2 years to revive unintentionally abandoned end. (for year 4) |
Mar 12 2026 | 8 years fee payment window open |
Sep 12 2026 | 6 months grace period start (w surcharge) |
Mar 12 2027 | patent expiry (for year 8) |
Mar 12 2029 | 2 years to revive unintentionally abandoned end. (for year 8) |
Mar 12 2030 | 12 years fee payment window open |
Sep 12 2030 | 6 months grace period start (w surcharge) |
Mar 12 2031 | patent expiry (for year 12) |
Mar 12 2033 | 2 years to revive unintentionally abandoned end. (for year 12) |