In communications systems, signals transmitted, wirelessly for example, may be subjected to fading, jamming, and other elements that may cause errors to be introduced in the signal. The coding of signals before transmission helps to overcome the effects of channel noise, fading, and jamming, by allowing errors introduced during the transmission to be detected and corrected when the signal is decoded at a receiver.
“Turbo codes” have been recognized as a breakthrough in coding schemes and provide powerful resistance to errors generated during transmission. They can be implemented as parallel concatenated convolutional codes (PCCC) or serial concatenated convolutional codes (SCCC). Turbo codes provide high coding gains and bit error rates as low as 10−7. Turbo codes provide outstanding error correction and so are very useful in applications where the signal-to-noise ratio (SNR) is generally low (e.g., wireless communications).
An example of a conventional turbo encoder is shown in
An example of a conventional turbo decoder is shown in
In general, latency of serial turbo decoders may be marginally improved by using specially designed high-speed hardware to implement the turbo decoders; however, only incremental improvement in latency is provided at the cost of increased expense and device complexity, in addition to increased power dissipation (which may be unacceptable in many low power wireless devices).
An alternative approach to overcoming the high latency of turbo decoding is to use parallel decoding architectures. Parallel decoding can greatly improve throughput and latency. Two basic parallel schemes are available. Parallelism may be achieved by decoding multiple received signals at the same time or by dividing a received signal block into sub-blocks and decoding the sub-blocks in parallel by multiple parallel processors. While throughput and latency may be reduced using parallel decoding, the large memory requirement is not. In addition, hardware complexity and cost also are increased. Therefore, parallel schemes that are memory efficient and hardware (or area) efficient are needed for practical implementation of turbo codes.
One problem with parallel operation is that of memory access. In particular, the presence of an interleaver means that memory must be addressed out-of-order by multiple parallel processors. Memory contentions arise when two or more processors require read or write access to the same memory on the same clock cycle. A certain class of contention-free (CF) interleavers eliminates memory contentions.
The quadratic permutation polynomial (QPP) turbo interleaver, which has been adopted in the Long Term Evolution (LTE) standard, is a CF interleaver. Due to the high data rates required in LTE systems, the turbo decoder will need to employ parallel decoding using multiple processors. Therefore, there is a need to apply the QPP to a multi-processor turbo decoder.
The accompanying figures, in which like reference numerals refer to identical or functionally similar elements throughout the separate views and which together with the detailed description below are incorporated in and form part of the specification, serve to further illustrate various embodiments and to explain various principles and advantages all in accordance with the present invention.
Skilled artisans will appreciate that elements in the figures are illustrated for simplicity and clarity and have not necessarily been drawn to scale. For example, the dimensions of some of the elements in the figures may be exaggerated relative to other elements to help to improve understanding of embodiments of the present invention.
Before describing in detail embodiments that are in accordance with the present invention, it should be observed that the embodiments reside primarily in combinations of method steps and apparatus components related to interleavers in turbo decoders. Accordingly, the apparatus components and method steps have been represented where appropriate by conventional symbols in the drawings, showing only those specific details that are pertinent to understanding the embodiments of the present invention so as not to obscure the disclosure with details that will be readily apparent to those of ordinary skill in the art having the benefit of the description herein.
In this document, relational terms such as first and second, top and bottom, and the like may be used solely to distinguish one entity or action from another entity or action without necessarily requiring or implying any actual such relationship or order between such entities or actions. The terms “comprises,” “comprising,” or any other variation thereof, are intended to cover a non-exclusive inclusion, such that a process, method, article, or apparatus that comprises a list of elements does not include only those elements but may include other elements not expressly listed or inherent to such process, method, article, or apparatus. An element preceded by “comprises . . . a” does not, without more constraints, preclude the existence of additional identical elements in the process, method, article, or apparatus that comprises the element.
It will be appreciated that embodiments of the invention described herein may comprise a programmable logic circuit, such as field programmable gate array (FPGA) or conventional processors with unique stored program instructions that control the one or processors to implement some, most, or all of the functions of interleaving described herein. Alternatively, some or all functions could be implemented by a state machine that has no stored program instructions, or in one or more application specific integrated circuits (ASICs), in which each function or some combinations of certain of the functions are implemented as custom logic. Of course, a combination of these approaches could be used. Thus, methods and means for these functions have been described herein. Further, it is expected that one of ordinary skill, notwithstanding possibly significant effort and many design choices motivated by, for example, available time, current technology, and economic considerations, when guided by the concepts and principles disclosed herein will be readily capable of generating such software instructions and programs and ICs with minimal experimentation.
Embodiments of the present invention relates to memory access in a parallel or vectorized turbo decoder. Accordingly, embodiments of the present invention relates generally to data processing circuits and in particular to data processing circuits for communication systems utilizing “turbo codes”.
The decoder 304 is a parallel or vectorized processor comprising a number of processing elements 314 that operate in parallel to decode the data. Each processing element operates on a sub-section, sub-block, or “window” of a received block of data. The interleaver operates to permute the data from the memory between the windows. The term “vectorized” is used when the interleaver allows the data to be stored and fetched as vectors (i.e., as distinct groups). Data 316 outputted from the decoder may be stored in the memory 302 or outputted to other processing modules.
The interleaver 306 may be embodied in various vectorized turbo decoder architectures, and a design criterion is disclosed that simplifies the logic circuit for generating the sequence of inter-window permutations.
In one embodiment of the invention the interleaver is a quadratic permutation polynomial (QPP) interleaver in a vectorized turbo decoder. In this embodiment, the interleaver provides recursive generation of higher order permutation polynomials in either forward or reverse order. In one embodiment the interleaver is implemented as logic circuits to decompose, automatically, an address π(x)=mxW+wx into its mx and wx components. In addition the interleaver may be used to generate “intra-window” addresses and “inter-window” permutations required for vectorized turbo decoding.
The interleaver may be used in turbo decoder hardware proposed for the long term evolution (LTE) of 3rd generation (3G) radio access technology, referred to as “LTE” in the sequel.
The QPP permutation is the quadratic case of a permutation generated by a polynomial. An introductory treatment of permutation polynomials is described first. The treatment is generic because a turbo decoder can effectively use the inverse permutation which, although polynomial in form, is not necessarily quadratic. Next, exemplary vectorized turbo decoding architectures are described, from which interleaver functional requirements are deduced. One function of the interleaver is the decomposition of the permutation into “intra-window” addresses and “inter-window” permutations. A design criterion is also described that can simplify the generation of the sequence of inter-window permutations.
An n-th order permutation polynomial has the form
where x and the fi are integers. As x is incremented from 0 through K−1, the polynomial Pn(x) generates a permutation, which is typically interpreted as the pre-permuted position of the quantity at position x in the permuted sequence. Several constraints on the fi, not covered here, ensure that Pn(x) generates a permutation. In the case of LTE, the turbo interleaver uses a quadratic polynomial, i.e., n=2. For simplicity, the remainder of this document generally omits the mod K notation, implicitly assuming all quantities are reduced modulo K, unless otherwise noted.
The inverse permutation Pm−1(x), where
P
m
−(Pn(x))=x (2)
also has polynomial form:
In general, n≠m. For a QPP, f2 must contain all prime factors of K to some order. As a result, m is no larger than the largest order of all the prime factors of f2.
Decoder throughput can be increased through vectorization. In a vectorized decoder, a length-K block of data is divided into M typically non-overlapping length-W “windows”, K=MW, that are processed synchronously by M processors.
Due to iterative processing, a turbo decoder should be capable of processing data both in sequential, or “natural”, order and in a permuted order. In
The combination of vectorization and permuted order processing introduces a memory management problem, since multiple processors must simultaneously fetch data from memory in permuted order without interfering or contending with each other for memory access.
The permutation addresses in the “interleaved data” column of
The permutation address column 408 of
As a result, the data in this example can be stored in a 10×4B memory, where B is the datum width in bits.
To process the data in sequential order as vectors, the index generator issues the sequential intra-window address addresses {0, 1, 2, . . . , 9}, and an identity (i.e., pass through) inter-window permutation {0, 1, 2, 3} is applied. To vector process the data in permuted order, the index generator issues the addresses 0, 7, 4, 1, 8, 5, 2, 9, 6, 3 and the inter-window permutations in Table 1 are applied.
The previous example demonstrates that fetching data vectors for permuted order processing requires that at each step all processors process data at the same intra-window address. Mathematically, the vectorization criterion for a permutation π(x) is thus
π(uW+v)mod W=π(v)mod W (4)
for all 1≦u≦M−1 and 0≦v≦W−1. A permutation that satisfies Equation (4) is referred to here as a vectorizable permutation.
Assuming that W factors K, it is straightforward to show that Pn(x) is vectorizable as follows.
Equations (5) use the relation t mod K mod W=t mod W for any integer t when W factors K. The double summation in the fourth equation of the five equations of Equations (5) is zero because each term in the summation contains at least one factor of W.
Since Pm−1(x) is polynomial in form like Pn(x), it must also satisfy a vectorization criterion
P
m
−1(uW+v)mod W=Pm−1(v)mod W (6)
for all 1≦u≦M−1 and 0≦v≦W−1. Since both Pn(x) and Pm−1(x) are vectorizable, the data can be stored and fetched vectorially in either natural order or in interleaved order. As discussed below, this has an important simplifying impact on a vectorized turbo decoder.
Although Equation (6) relied on the polynomial form of Pm−1(x) to demonstrate vectorizability, it is generally true that if a permutation π(x) is vectorizable then its inverse permutation π−1(x) is also vectorizable. Since π(x) is vectorizable, it must be that
π(uW+v)=mu+W+wv (7)
where 0≦u, mu≦M−1 and mx≠my for x≠y and 0≦v, wv≦W−1.
Taking the inverse of Equation (7),
π−1(muW+wv)=uW+v (8)
Given Equation (8), π−1(x) clearly satisfies the vectorization criterion of Equation (4).
The engineering literature recites a contention-free criterion for a permutation π(x) of length K=MW as
for all 0≦p, q≦M−1 such that p≠q. Because Pn(x) satisfies the vectorization criterion of Equation (4) it must be that
P
n(uW+v)=muW+wv (10)
where 0≦mu≦M−1 with mx≠my for x≠y and 0≦wv≦W−1 with wx≠wy for x≠y.
Since the floor operation of Equation (9) extracts mu, Pn(x) must therefore satisfy Inequality (9). Identical reasoning dictates that because Equation (6) is satisfied Pm−1(x) must also satisfy Inequality (9).
However, consider permutations of the form
π(uW+v)=muW+wu,v (11)
where 0≦m≦M−1 with mx≠my for x≠y and 0≦wu,v≦W−1. Here the w component depends on both u and v not on v alone as in Equation (10). Then Inequality (9) is satisfied, but the vectorization criterion would not necessarily be satisfied. Therefore, the vectorization criterion is a stronger criterion for vectorized turbo decoding. In addition to guaranteeing contention-free memory access, it also allows the data to be stored and fetched as vectors by issuing a desired intra-window address.
Hardware turbo decoding requires a means of generating Pn(x) recursively. A recursion relation can be derived by expanding Pn(x+1) as follows,
where Pn−1n(x) is an order n−1 polynomial
with coefficients
Since Pn−1n(x) is itself a polynomial, we have
P
n−1
n(x)=Pn−1n(x−1)+Pn−2n−1(x−1) (15)
The recursion relation of Equations (12) can therefore be regressed back to the order-0 term as follows.
Equation (16) has a straightforward hardware implementation, an example of which is shown in
The hardware model in
The hardware in
where Qn−1n(x) is an order n−1 polynomial
with coefficients
Since Qn−1n(x) is itself a polynomial, we have
Q
n−1
n(x)=Qn−1n(x+1)+Qn−2n−1(x+1) (20)
The recursion relation of Equation (20) can therefore be regressed back to the order-0 term as follows.
By initializing value of the Pi−1i(x) register, 1≦i≦5, to the constant term ki−1,0 the hardware of
As an example of the concepts, consider the permutation polynomial
P
3(x)=37x+20x2+10x3 mod 40 (22)
Using the equations above,
As described above, to compute P3(x) in forward order with the hardware of
After initialization, the registers are clocked 39 times to generate all 40 addresses in the sequence. Table 2 lists the contents of the registers as a function of the cycle number x for the polynomial P3(x)=37x+20x2+10x3 mod 40 in forward order. It can be verified that the sequence of addresses in the P5(x) column of the table are the same as would be generated by direct computation of Equation (22).
The initial register values for the reverse order recursion, are found from the Qi−1i(x) as follows.
Thus, to compute P3(x) in reverse order with the hardware of
After initialization, the registers are clocked 40 times to generate all 40 addresses in the sequence. Table 3 lists the contents of the registers as a function of the cycle number x for the polynomial P3(x)=37x+20x2+10x3 mod 40 in reverse order. Visual inspection reveals that the sequence in Table 3 is the reverse sequence of Table 2.
The previous concepts apply primarily to a radix-2 decoder, which processes one vector per clock cycle. In a code trellis description, each processor of a radix-2 multi-processor decoder processes one trellis step per clock cycle. Radix-4 decoding is a common technique to increase decoder throughput. In a code trellis description, each processor of a radix-4 multi-processor decoder processes two trellis steps per clock cycle. A radix-4 vectorized decoder therefore processes two vectors per clock cycle. One vector corresponds to even-numbered trellis steps while the other corresponds to odd-numbered trellis steps.
To effect radix-4 operation, the index generators 800 and 802 must advance by two steps on each clock cycle. Note that Equations (12) through (16) give the recursion formula for the forward advancement of the index generators by one step each clock cycle. Equations (17) through (21) give the recursion formula for the backward advancement by one step each clock cycle. These formulas are suitable for radix-2 processing.
For radix-4 processing these formulas are generalized as follows. The value of the recursion polynomial d steps away from step x is
where Sn−1n(x) is an order n−1 polynomial
with coefficients
Since Sn−1n(x) is itself a polynomial, we have
S
n−1
n(x)=Sn−1n(x+1)+Sn−2n−1(x+1) (32)
The recursion relation of Equation (32) can therefore be regressed back to the order-0 term as follows.
Equations (29) through (33) are the generalization of Equations (12) through (16) and (17) through (21). For radix-2 forward advancement d=1, while for radix-2 backward advancement d=−1. Likewise, for radix-4 forward advancement d=2, while for radix-4 backward advancement d=−2.
The flow of data in this architecture is as follows. In decoder 2 mode (permuted order processing), extrinsics are fetched vectorially from extrinsics memory 2 (the natural order memory) by issuing intra-window permutation addresses along with inter-window permutation vectors to control the permutation circuit. As the log-MAP processors generate updated extrinsics, decoder 2 stores them (as vectors) sequentially in extrinsics memory 1. Since decoder 2 generates updated extrinsics in permuted order but stores them sequentially, the extrinsics end up in extrinsics memory 1 in permuted order, as shown in
In decoder 1 mode (natural order processing), extrinsics are fetched vectorially from extrinsics memory 1 (the permuted order memory). Since the data are in permuted order in the memory but decoder 1 processes in natural order, the extrinsics must be de-permuted as they are fetched. As discussed above, the inverse QPP permutation is vectorizable. Therefore, in the same fashion that decoder 2 permutes natural order extrinsics into permuted order extrinsics, decoder 1 de-permutes permuted order extrinsics into natural order extrinsics. Decoder 1 therefore issues an inter-window de-permutation address along with an inter-window de-permutation to control the permutation circuit.
The permutation circuit in the decoder architecture of
When a permutation can be vectorized its inverse can also be vectorized (as described above). However, a contention-free permutation does not imply a contention-free inverse permutation. Consider the permutation π(x), 0≦x≦7, and its inverse π−1(x) tabulated in Table 4. The permutation π(x) is clearly contention-free for M=2 (i.e., W=4). However, it is also clear that the inverse π−1(x) is not contention-free for M=2. For instance,
In fact, in the case there is a contention on every step.
When the interleaver inverse permutation is not contention-free the decoder must store extrinsics in natural order in both extrinsics memories, necessitating the architecture shown in
The following capabilities for the interleaver module for the simpler decoder architecture of
(1) The interleaver module should be capable of generating both the permutation and its inverse. Furthermore, the module should be able to generate these permutations both in forward order and in reverse order. This requires a generic logic circuit to compute permutation polynomials recursively. The logic circuit needs to be designed for some maximum order, which for LTE will be 4 or 5.
(2) The interleaver module should be capable of decomposing M addresses into an intra-window address and an inter-window permutation at a rate of one per clock cycle. The logic circuit needs to be designed to accommodate some maximum number of windows Mmax and some maximum window size Wmax. For LTE Mmax=16 or Mmax=32 and Wmax=384 or Wmax=192.
Consider a vectorized turbo decoder with M parallel processors operating on length-W windows. For permuted order processing, on the i-th step, 0≦i≦W−1, data at addresses
must be fetched. The quantity wi, 0≦wi≦W−1, is the intra-window address and
m=(m0,m1,m2, . . . , mM−1) (37)
where 0≦mi≦M−1 is the inter-window permutation.
Equations (36) show that the hardware must decompose an address π(x)=mxW+wx into its components mx and wx, where
One approach to this problem is to compute π(x) and then follow this by hardware for a brute force computation of Equations (38) and (39). Unfortunately, this approach becomes expensive as M increases.
A better solution is to perform all computations involved in determining π(x) in the “base-W” domain. With this solution, each quantity v=mvW+wv involved in the computation of π(x) is represented not as v, but as the pair (mv, wv). All operations are performed on pairs, and the results are represented as pairs. For the recursive address generation hardware presented in
With this solution, when an address π(x) is computed the result will automatically appear in its decomposed form (mx, wx), where
A polynomial recursion circuit 1400 for Pn(x) with base-W adders is shown in
The previous section described how the polynomial recursion circuit for Pn(x) could be modified such that the each address is automatically decomposed into its m and w components. A vectorized turbo decoder actually needs M simultaneous decompositions for the M windows as in Equations (24). Note that with a vectorizable permutation the w component for all M windows will be identical, while the collection of m components will form the inter-window permutation.
In the indirect approach to the M simultaneous decompositions, M identical Pn(x) circuits are instantiated, as shown in
In contrast to the indirect approach, the direct approach derives a recursion to compute the inter-window permutation directly as follows. The m component mu(v) of the u-th processor's address, 0≦u≦M−1, on the v-th step, 0≦v≦W−1, can be simplified as follows.
where Ru(v) is the order n−1 polynomial
with coefficients
Note that since Ru(v) is a polynomial it can be computed recursively with the recursive structure depicted in
The last equation of the five equations of Equations (41) has the straightforward hardware interpretation shown in
The inter-window permutation generation may be simplified using cyclic shifting. Under certain conditions, m(v) is a cyclic shift of m(0) for all v, 0≦v≦W−1. This would potentially help simplify the hardware to implement a permutation such as that shown in
Of particular interest is the case where the vector R(v) is constant and does not depend on v, namely
R(v)=R(0) (45)
hence implying that
R
u(v)=ru,0 (46)
for each u, 0≦u≦M−1. When this is the case, m(v) is a cyclic shift of R(0) by m0(v) positions.
Deriving from Equation (42), if the condition in Equation (46) is to hold for all u and W, it must be that
for all 1≦i≦n−1 and i+1≦j≦n. Since there are multiple possibilities of i for each value of j, it must be that
for 2≦j≦n where LCDi[xi] represents the lowest common divisor of all the numbers xi.
In accordance with one aspect of the invention, a single logic circuit, properly initialized, serves to implement the QPP interleaver in a vectorized turbo decoder. The circuit may be capable of generating a sequence of QPP permutation indices or the sequence of inverse permutation indices. The circuit may compute these sequences in either forward or backward order. The circuit may comprise a single such circuit which advances one step per clock cycle for radix-2 processing. Furthermore, the circuit may comprise two such circuits, even and odd, each of which advances two step per clock cycle for radix-4 processing.
Vectorized permutations and vectorized turbo decoding architectures have been described above. In one embodiment, a single-permutation circuit decoder architecture is used when a permutation and its inverse are both vectorizable (as is the QPP permutation). The requirement for a vectorized turbo decoder interleaver to produce an intra-window address and an inter-window permutation was discussed and two solutions to the problem were presented. One (indirect) solution, shown in
All of the techniques derived here rely on the proper initialization of a set of registers. These initial values (the constant terms of Equations (14), (19), and (42)) may be pre-computed and stored in a read-only-memory or computed in real time.
In the foregoing specification, specific embodiments of the present invention have been described. However, one of ordinary skill in the art appreciates that various modifications and changes can be made without departing from the scope of the present invention as set forth in the claims below. Accordingly, the specification and figures are to be regarded in an illustrative rather than a restrictive sense, and all such modifications are intended to be included within the scope of the present invention. The benefits, advantages, solutions to problems, and any element(s) that may cause any benefit, advantage, or solution to occur or become more pronounced are not to be construed as a critical, required, or essential features or elements of any or all the claims. The currently claimed invention is defined by the appended claims including any amendments made during the pendency of this application and all equivalents of those claims as issued.