First-Order Reed-Muller (FORM) codes are widely used in communications applications ranging from the 1969 Mariner deep-space probe to the IEEE 802.11b standard for Wireless Local Area Networks (WLANs).
The IEEE 802.11 standard for wireless local area networks has high data rates in order to operate at speeds comparable to the Ethernet. Complementary Code Keying (CCK) was adopted by the IEEE as the modulation scheme to achieve this data.
In one aspect the invention is a method for decoding. The method includes receiving encoded data and decoding the encoded data using a noise-adaptive decoder.
In another aspect of the invention, an apparatus for decoding, includes a memory that stores executable instruction signals and a processor. The processor executes instruction signals to receive encoded data and to decode the encoded data using a noise-adaptive decoder.
In a still further aspect, an article includes a machine-readable medium that stores executable instruction signals for decoding. The instruction signals cause a machine to receive encoded data and to decode the encoded data using a noise-adaptive decoder.
One or more of the aspects above may have one or more of the following features. The data may include first-order Reed-Mueller (FORM) codes. The data may be based on Complementary Code Keying (CCK). Using the noise-adaptive decoder may include determining values of a hard decision based on a first decoding process; discarding the values of the hard decision if a noise sensitivity parameter is above a threshold value; and using a second decoder process if the global sensitivity parameter is above the threshold value.
The first decoder process may be based on majority-logic. The second decoder process may be based on a Fast Hadamard Transform (FHT). The noise sensitivity parameter may be based on differences in phase. The noise-adaptive decoder uses at least two decoder processes. One of the at least two decoder processes may be chosen depending on a noise sensitivity parameter. The noise sensitivity parameter may be based on detected phase differences.
In another aspect, a receiver includes a noise-adaptive decoder. The receiver may be in a software radio environment. The receiver may be in a wireless local area network. The receiver may include a transceiver and the transceiver includes the receiver. The receiver may include an integrated circuit and the integrated circuit includes the noise-adaptive decoder.
The first decoder process may be based on a majority-logic. The second decoder process may be based on a Fast Hadamard Transform (FHT). The threshold value may be based on differences in phase.
The noise-adaptive decoder implicitly adapts to the noise conditions, runs significantly faster than known maximum-likelihood decoders, and yields an error rate that is very close to optimal. When applied to CCK demodulation, the decoder runs up to 4 times faster than a decoder based on the Fast Hadamard Transform (FHT), with a loss of at most 0.2 dB in error rate. The error rate of the noise-adaptive decoder is no worse than 2−Ω(n), where n is the length of a codeword.
The noise-adaptive decoder described herein can be implemented in a number of embodiments, including a software radio, local area networks a high-definition television, a global system for mobile (GSM) communications. Further, the noise-adaptive decoder can be implemented in integrated circuits (ICs) (such as application specific ICs (ASICs)) within receivers, transceivers, or the like.
Other features, objects and advantages will become apparent from the following detailed description when read in connection with the accompanying drawing in which:
While their good distance properties and simple structure make them attractive, soft-decision Maximum-Likelihood (ML) decoding of FORM codes requires computing the correlation between the received vector and all possible codewords. These operations are computationally expensive, especially at high data rates as is the case for Complementary Code Keying (CCK) demodulation in 802.11b. The most efficient known decoders for computing these correlations is based on the Fast Hadamard Transform (FHT). In this disclosure, a decoder that uses the FHT to perform a correlation of all possible codewords is referred to as an FHT decoder.
Even the FHT decoder may not be fast enough in certain systems such as software radios. In the particular case of CCK, the FHT decoder uses O(n2) operations to decode one codeword of block length n. Even for the simplest FORM code, the Hadamard code, the FHT decoder performs a superlinear Θ (n log n) number of operations.
Alternatively, one could use majority-logic or “threshold” decoding processes. Intuitively speaking, majority-logic decoders tally “votes” for the value of each information symbol based on simple calculations on the received codeword, and output the value with the most votes. Decoders of this kind are simple and fast, but they are suboptimal when used for soft-decoding FORM codes. When applied to CCK demodulation, the symbol error rate of majority-logic decoding can be up to 2.4 dB worse than optimal.
Nonetheless, the performance degradation of the majority-logic decoder is negligible when the noise is low. Ideally, one would like to use the fast majority-logic decoder when the noise is low, and the slower maximum-likelihood decoder when the noise is high. Unfortunately, the error conditions are not known in advance, and they tend to change over time anyway. Consequently, a decoding strategy is implemented that implicitly adapts its processing to the noise conditions without explicitly knowing what they are.
In this disclosure, an adaptive strategy is built for decoding FORM codes, which is referred to as a noise-adaptive decoder.
The noise-adaptive decoder uses a “soft average” as not only the value on which to make a hard decision, but also as a confidence measure in the decision. When this confidence measure dips below a certain level, a slower maximum-likelihood decoder is used.
The decoding speed of the noise-adaptive decoder is significantly improved over an optimized implementation of an FHT decoder, at the expense of a negligible degradation in error-correcting performance. When applied to CCK demodulation, the noise-adaptive decoder runs up to 4 times faster than FHT decoder, with a loss of at most 0.2 dB in error rate.
An analytical expression of the additive symbol error rate of the noise-adaptive decoder is obtained, assuming q-PSK modulation through an additive-white Gaussian Noise (AWGN) channel. The symbol error rate of the noise-adaptive decoder is at most an additive 2−Ω(n) worse than that of an optimal ML decoder, where n is the length of a codeword, as long as the noise is above a certain threshold. (The notation Ω(n) denotes some function that grows at least linearly with n.) The threshold is quite reasonable; for example, if using 4-PSK, then as long as the SNR is at least 4 dB, gives an upper bound of 2−n/10+1 on the additive difference in error rate between the noise-adaptive decoder and an ML decoder.
For the purposes of demodulation, CCK is essentially isomorphic to a simple FORM code. For the modulation step of CCK, an information sequence (c0, c1, c2, c3) is a block of four symbols, where ci ε {0, 1, 2, 3}. These are modulated using QPSK to values φi=ωc
These eight symbols are then subject to the AWGN channel.
(r0, . . . , r7) is used to denote the noisy symbols received at the other end of the channel has ri=yi+Ni, where Ni is a complex Gaussian random variable with mean 0 and variance 2σ2. Based on the received vector r, the decoder must output hard estimates ĉi of the information symbols ci, where i ε {1, 2, 3}.
Two details in CCK make it slightly different than a FORM code. The negative signs in front of y1 and y4 are there to achieve better autocorrelation properties from the codewords, an important feature of CCK modulation. Additionally, the information carried by φ0 is differentially encoded; i.e., the actual information is the difference between the φ0 symbol of two successive blocks. Neither of these two issues affects the underlying decoding problem directly.
Consider the case where there is no noise in the channel, i.e., Ni=0, and so ri=yi, for all i. Now, the decoding problem is simplified. For example, consider the expression −r1r*0. If there is no noise in the channel, then −r1r*0=−y1y*0=φ1. Similarly, −r*4r6=−y4y6=φ2, and r7r*3=y7y*3=φ3. Therefore, when there is no noise in channel, φ1, φ2 and φ3 are “read off” using simple operations between certain received symbols.
In reality, these computations will be corrupted by noise, and will not always yield the correct answer. For example, r1r*0=(y1+N1)(y0+N0)*. However, r1r*0=−φ1, and if the noise is low, then r1r*0 will be close to φ1.
The principle behind majority-logic decoding is to use simple computations on the received bits to produce “votes” for the value of each information symbol. In hard decision majority-logic, the value that receives the most votes becomes the decoded information symbol. In soft decision majority-logic, the votes are “soft” values, and they are averaged to form a “soft estimate” for each information symbol. Ideally, these votes should involve as many code bits as possible so that local noise cannot drastically affect the estimate.
In CCK, (φ1′, φ2′, φ3′) are used to denote the soft estimates for φ1, φ2, φ3, (φ0 is covered as a special case below), and compute each of them based on four votes as follows:
φ1′=(−r1r*0+r3r*2−r*4r5+r7r*6)/4
φ2′=(r2r*0−r*1r3−r*4r6+r7r*5)/4
φ3′=(−r4r*0−r*1r5+r6r*2+r7r*3)/4
Ideally, if φ1′ is a good estimate of φ1, then |φ1−φ1′| should be small. The majority of logic decoders commit to a hard decision ci′ for each information symbol ci, based on φ1′. By a hard decision based on φ1′, it is meant that
ĉi=arg minc ε {0, 1, 2, 3}|ωc−φ1′|.
The noise-adaptive decoder first computes the values ĉi, i ε {1, 2, 3}, as in majority-logic. However, before committing to the hard estimates ĉi, the noise-adaptive decoder checks how close the hard estimates are to their soft counterparts. A global “sensitivity” parameter θ is established. If |arg(φi′)−arg(ωĉ
To determine the estimate ĉ0, once (ĉ1, ĉ2, ĉ3) are committed to, (φi′=ωĉ
Specifically,
φ0′=⅛(r0−r1φ*1−r2φ*2+r3φ*1φ*2−r4φ*3+r5φ*1φ*3+r6φ*2φ*3+r7φ*1φ*2φ*3)
is set and a hard decision c0′ is made based on φ0′. Otherwise, if there is no confidence in the estimates ci′, the values are discarded and the optimal FHT decoder for this block is used.
The noise-adaptive decoder can be optimized in many ways. One simple optimization is to compute each φi′ separately, and perform the confidence check before computing the next one. In this way, computation is saved if the check fails. Also, each φi′ does not need to be set to the average of its four votes, but simply to the sum of the votes, since the only interest is in the phase of φi′. Each phase difference is compared |arg(φi′)−arg(ωc
Consider an information word c ε Zqk. The individual symbols ci ε Zq can be viewed as coefficients of a first-order polynomial P(x)=cTx, where x ε {0, . . . , p−1}k for some p≦q. A codeword consists of n=pk symbols from Zq and is obtained by evaluating P(x) mod q for all possible values of x. This code is denoted by FORMq(k,p). For simplicity, it is assumed in the remainder of this disclosure that p is even. In classic Reed-Muller codes, p=2, as it does for most such codes used in practice.
CCK is essentially isomorphic to the code FORM4(3, 2), apart from the negations used for autocorrelation, and the fact that φ0 is differentially encoded. In fact, as defined FORM4(3, 2), φ0 does not exist at all. Such a “phase shift bit” can be modeled in FORM codes by having an additional information symbol c′ act as an additive constant to the polynomial P, so P(x)=cTx+c′.
To derive “votes” for information symbols from a received codeword, a technique is used similar to the one used in Reed's process for decoding binary Reed-Muller codes of arbitrary order. One information symbol is decoded at a time to produce an estimate c′=(c1′, . . . , ck′) of the original information word c.
For all 1 ε {1, 2, . . . , k}, let F1 be the set of all pairs (x,y), x, y ε {0, . . . , p−1}k, such that:
The equality P(y)−P(x)=c1 (mod q) holds for all (x,y) ε F1, and therefore each pair in F1 can be seen as casting a “vote” for c1. The cardinality of F1 is |F1|=n/2, and therefore any number m≦n/2 of independent votes for c1 may be selected from F1.
Using q-PSK modulation, a codeword is sent through the channel as the set {ωP(x): x ε {0, . . . , p−1}k}, where ω=e2
Because P(y)−P(x)=c1 (mod q) holds for all (x,y) ε V1, ωP(y)(ωP(x))*=ωP(y)−P(x)=ωc
Not only does A1 provide a value on which to make a hard decision, it also provides us with a measure of how reliable the decision is. If A1 is close to its expectation, there is confidence that the error is small and the decision correct.
The Noise-adaptive decoder accepts the decision when φc′
A theoretical lower bound on a symbol error rate He of the adapative-noise decoder under the AWGN channel is at most an additive Be=e−Ω(m) larger than the symbol error rate Oe of an optimal majority-logic decoder where m is the number of votes chosen to determine for each information symbol, as long as the noise does not exceed a certain threshold. Since m can be made as large as n/2, where n is the block length of the code, this shows that the additive difference Be in error rate between the noise-adaptive decoder and an optimal majority-logic decoder can be made exponentially small in the block length. For all parameters α, θ, and t, such that 0≦α≦1 0≦θ≦π/q, and 0≦t≦1, He≦Oe+Be, where
Referring to
Process 50 is not limited to use with the hardware and software of
Each such program may be implemented in a high level procedural or objected-oriented programming language to communicate with a computer system. However, the programs can be implemented in assembly or machine language. The language may be a compiled or an interpreted language. Each computer program may be stored on a storage medium (article) or device (e.g., CD-ROM, hard disk, or magnetic diskette) that is readable by a general or special purpose programmable computer for configuring and operating the computer when the storage medium or device is read by the computer to perform process 50. Process 50 may also be implemented as a machine-readable storage medium, configured with a computer program, where upon execution, instructions in the computer program cause the computer to operate in accordance with process 50.
The estimator uses process 50 for equalization of the information stream. However, the error distance in an equalization process accounts for the known intersymbol interference of the channel.
The invention is not limited to the specific embodiments described herein. For example, the invention is not limited to decoding FORM codes. The invention includes decoding any encoded message format by at least one of two or more processes depending on the noise detected. For example, different decoding processes may used depending on a noise sensitivity parameter. Different ranges of values of noises sensitivity correspond to a decoding process that is implemented.
The invention is not limited to the specific processing order of
Other embodiments not described here are also within the scope of the following claims. For example, there has been described novel apparatus and techniques for decoding codes. It is evident that those skilled in the art may now make numerous modifications and uses of and departures from specific apparatus and techniques herein disclosed without departing from the inventive concepts. Consequently, the invention is to be construed as embracing each and every novel feature and novel combination of features present in or possessed by the apparatus and techniques herein disclosed and limited solely by the spirit and scope of the appended claims.
This application claims priority from and incorporates herein U.S. Provisional Application No. 60/403,180, filed Aug. 13, 2002, and titled “A NOISE-ADAPTIVE ALGORITHM FOR FIRST-ORDER REED-MULLER DECODING”.
Number | Name | Date | Kind |
---|---|---|---|
4322848 | Snyder, Jr. | Mar 1982 | A |
5539858 | Sasaki et al. | Jul 1996 | A |
5805633 | Uddenfeldt | Sep 1998 | A |
5901182 | Kot | May 1999 | A |
5931964 | Beming et al. | Aug 1999 | A |
5973643 | Hawkes et al. | Oct 1999 | A |
6016322 | Goldman | Jan 2000 | A |
6035207 | Wang et al. | Mar 2000 | A |
6154507 | Bottomley | Nov 2000 | A |
6285876 | Zhong | Sep 2001 | B1 |
6356911 | Shibuya | Mar 2002 | B1 |
6381726 | Weng | Apr 2002 | B1 |
6442392 | Ruutu et al. | Aug 2002 | B2 |
6490327 | Shah | Dec 2002 | B1 |
6546256 | Maloney et al. | Apr 2003 | B1 |
6560462 | Ravi et al. | May 2003 | B1 |
6621807 | Jung et al. | Sep 2003 | B1 |
6631142 | Miyamoto et al. | Oct 2003 | B2 |
6757544 | Rangarajan et al. | Jun 2004 | B2 |
6788750 | Reuven et al. | Sep 2004 | B1 |
6915123 | Daudelin et al. | Jul 2005 | B1 |
6920125 | Wu | Jul 2005 | B1 |
6978124 | Benes et al. | Dec 2005 | B2 |
6987798 | Ahn et al. | Jan 2006 | B2 |
7010559 | Rawlins et al. | Mar 2006 | B2 |
7013150 | Okanoue et al. | Mar 2006 | B2 |
7068638 | Choi et al. | Jun 2006 | B2 |
7116986 | Jenkins et al. | Oct 2006 | B2 |
20030012265 | Lin | Jan 2003 | A1 |
20030063595 | You et al. | Apr 2003 | A1 |
20040062214 | Schnack et al. | Apr 2004 | A1 |
20040114623 | Smith | Jun 2004 | A1 |
20040209580 | Steinheider et al. | Oct 2004 | A1 |
20040252665 | Clark et al. | Dec 2004 | A1 |
20040259571 | Joshi | Dec 2004 | A1 |
20050163075 | Malladi et al. | Jul 2005 | A1 |
20050228854 | Steinheider et al. | Oct 2005 | A1 |
20050286536 | Steinheider et al. | Dec 2005 | A1 |
20060007919 | Bose et al. | Jan 2006 | A1 |
Number | Date | Country | |
---|---|---|---|
20040136452 A1 | Jul 2004 | US |
Number | Date | Country | |
---|---|---|---|
60403180 | Aug 2002 | US |