Simplified Soft-Output Demapper For Binary Interleaved COFDM With Application To HIPERLAN/2
Simplified Soft-Output Demapper For Binary Interleaved COFDM With Application To HIPERLAN/2
Simplified Soft-Output Demapper For Binary Interleaved COFDM With Application To HIPERLAN/2
Abstract | In this paper a comparison in performance between hard and soft decision Viterbi decoding, with application to the HIPERLAN/2 standard, is presented. The
results show that when channel state information (CSI)
is included in the generation of the soft decision information, the soft decision method greatly outperforms the
hard method. Moreover, a simplied algorithm for the
soft-output demapper for the 16-QAM and 64-QAM constellations is developed, which allows the complexity of the
demapper to be maintained at almost the same level for all
the possible modes of HIPERLAN/2.
I. Introduction
HIPERLAN/2, the European standard recently specied by ETSI BRAN, has been designed to provide several
data rates, selected according to the channel conditions,
for short-range communications in indoor and outdoor environments. OFDM has been chosen as the modulation
format because of its good performance in highly dispersive channels. The data rate ranging from 6 Mbit/s to
54 Mbit/s, can be varied by using various signal alphabets
for modulating the OFDM sub{carriers and by applying
dierent puncturing patterns to a mother convolutional
code. BPSK, QPSK and 16-QAM are used as mandatory
modulation formats, whereas 64-QAM is optional [1].
Previous results on HIPERLAN/2 have suggested the
use of a hard decision Viterbi decoder for decoding the
convolutional code, while the soft decision Viterbi decoder
has not been considered because of its greater computational complexity, especially when higher modulation formats are employed. In fact, in the case of the 16-QAM and
64-QAM constellations, each axis carries more than one
bit and the metric functions, in the soft-output demapper, to determine the soft information for each bit, are in
general quite complicated. Instead, in the case of BPSK
and QPSK, the soft information is simply proportional to
the distance from the decision boundary.
In this paper, after reviewing two dierent approaches
of implementing the soft-output demapper and soft-input
Viterbi decoder for multi-level modulations, we adapt the
Pyndiah's algorithm [2] to COFDM systems and propose
a simplied version of it which allows us to reduce the
complexity in the case of higher order constellations.
Simulation results show that in a typical HIPERLAN/2
channel a signicant improvement in performance is obtained using soft decision decoding compared to harddecision decoding.
(1)
PDU
train
from
DLC
PDU
train
to
DLC
bit
scrambling
convolutional
coding
bit
interleaving
QAM
mapping
OFDM
modulator
PHY
bursts
RF
transmitter
preamble
dispersive
channel
preamble
de
scrambling
de
coding
de
interleaving
QAM
demapping
OFDM
demodulator
useful
data
RF
receiver
1 jr[i]
2
Gch (i) j2
2
(5)
and as r[i] = Gch (i) y [i], the metrics (4) are equivalent to
A. ML bit metrics
Because interleaving is applied to the encoded bits before the QAM modulator, Maximum Likelihood Decoding
(MLD) of multi-level BICM signals would require joint demodulation and convolutional decoding and is therefore
quite complex to implement in practice [4]. In fact, according to the MAPSE (Maximum A Posteriori Sequence
Estimation) criterion the following maximization should
be performed to estimate the encoded bit sequence b:
bb = arg max P [bjr] ;
(3)
b
where r is the received sequence of QAM signals. We
also assume that perfect CSI is available, i.e. fGch (i)g
are known to the receiver. Thus, all possible coded and
interleaved bit sequences would have to be considered for
(3) to be evaluated. In [5], Zehavi proposed a decoding
scheme which consists in calculating sub-optimal simplied bit metrics to be used inside a Viterbi decoder for
path metric computation. For each symbol r[i], 4m metrics need to be derived, two for each in-phase and quadrature bit bI;k , bQ;k , corresponding to possible values 0; 1.
For bit bI;k (the same applies to bit bQ;k ) rst the QAM
constellation is split into two partitions of complex sym(0)
bols, namely SI;k
comprising the symbols with a `0' in
(1)
position (I; k ) and SI;k
which is complementary. Then
the two metrics are obtained by
m0c (bI;k ) = max( ) log p (r[i] j a[i] = ) ; c = 0; 1 : (4)
c
2 SI;k
c
I;k
bbI;k = 1
if
log
P [bI;k = 1 j r[i]]
>0:
P [bI;k = 0 j r[i]]
(8)
I;k
3 If
P
2 S p (r[i] j a[i] = )
LLR(bI;k ) = log P
:
2 S p (r[i] j a[i] = )
c)
where subset S 0 (I;k
contains the real parts of the complex
(c)
symbols of subset SI;k
, for c = 0; 1.
Im
00 10
(1)
(10)
I;k
(0)
01 10
LLR(bI;k ) log
00 11
01 11
-3
-1
00 01
01 01
min jy [i]
(0)
2 SI;k
= [m0 (bI;k )
00 00
01 00
(0)
S
I;1
min jy [i]
(1)
2 SI;k
m1 (bI;k )]=4 :
(12)
(0)
(1)
Figure 2 shows the partitions (SI;k
; SI;k
) for the generic
(0)
(1)
bit bI;k , and (SQ;k ; SQ;k ) for the bit bQ;k , in the case of
the 16-QAM constellation. As can be seen they are delimited by either horizontal or vertical boundaries. Therefore, the two symbols within the two subsets, nearest to
the received equalized signal, always lie in the same row
if the partition boundaries are vertical (bits bI;1 and bI;2
in Figure 2) or in the same column if the boundaries are
horizontal (bits bQ;1 and bQ;2 in Figure 2). The same observation holds true for the 64-QAM constellation. As a
consequence, equation (12) can be rewritten as:
LLR(bI;k ) =
jGch (i)j
4
I 2 S I;k
0
I )2
I 2 S I;k
0
11 01
10 01
11 00
10 00
Re
-1
-3
(0)
S
I;2
(1)
S
I;1
1
-1
(1)
S
I;2
Re
(0)
S
I;2
-3
bI;1
bI;2
Im
(0)
(1)
S
Q;2
(1)
Q;1
-3
(11)
In the Appendix we demonstrate that using the approximate bit metrics (6) for path metric calculation inside the
Viterbi Algorithm (VA) is equivalent to demodulating the
received signals into soft bit values according to (12) and
then employing a soft binary VA for decoding.
Yet, expression (12) allows further simplication with
signicant reduction of computational complexity and
negligible soft decoding performance loss. Moreover, with
the second scheme the same standard implementation of
soft-input Viterbi decoder for BPSK signals can be used
also for multi-level modulations.
(
2
10 11
Im
11 11
-1
I;k
(
j
Gch (i)j2
=
3
2dI;2
10 10
I;k
Im
11 10
I )2
(13)
1
-3
S
Q;2
-1
1
-1
S
Re
-1
-3
2dQ;2
1
-1
Re
(0)
Q;1
-3
(0)
S
Q;2
-3
bQ;1
bQ;2
Fig. 2. Partitions of the 16-QAM constellation used in HIPERLAN/2 PHY layer.
8
>
jyI [i]j 2
<yI [i] ;
DI;1 = 2(yI [i] 1) ; yI [i] > 2
>
:2(yI [i] + 1) ; yI [i] < 2
DI;2 = jyI [i]j + 2 :
(14)
(15)
8
yI [i] ;
jyI [i]j 2
>
>
>
>
>
2(
y
[
i
]
1)
;
2 < yI [i] 4
I
>
>
>
>
<3(yI [i] 2) ; 4 < yI [i] 6
DI;1 = 4(yI [i] 3) ; yI [i] > 6
>
>
>
2(yI [i] + 1) ;
4 yI [i] < 2
>
>
>
>
3(
y
[
i
]
+
2)
;
6 y [i] < 4
>
>
:4(yI [i] + 3) ; y [i] < I 6
I
8 I
>
<2( jyI [i]j + 3) ; jyI [i]j 2
DI;2 = 4 jyI [i]j ;
2 < jyI [i]j 6
>
:2( jyI [i]j + 5) ; jyI [i]j > 6
(
jy [i]j 2 ; jyI [i]j 4 :
DI;3 = I
jyI [i]j + 6 ; jyI [i]j > 4
(16)
(17)
(18)
(19)
(21)
(22)
(23)
DI;2
DI;1
Theoretical
Approximation
6
4
0
yI [i]
6
4
yI [i]
Formulas (20) and (15), and (21)-(23) can be generalized for any square QAM constellation with similar Gray
10
10
Theoretical
Approximation
DI;3
DI;2
DI;1
10
10
10
yI [i]
10
yI [i]
yI [i]
labelling4 . Let dI;k and dQ;k denote half the distance between the partition boundaries relative to bit bI;k and
bQ;k , with k > 1 (see Figure 2). Then, the LLR functions can be approximated as:
yI [i] ;
k=1
jDI;k 1j + dI;k ; k > 1
LLR(bI;k ) = jGch (i)j2 DI;k ; k 1 ;
DI;k '
and
yQ [i] ;
k=1
jDQ;k 1 j + dQ;k ; k > 1
LLR(bQ;k ) = jGch (i)j2 DQ;k ; k 1 :
DQ;k '
(24)
(25)
Note that dI;k = dQ;k for all k , for the Gray labelling we
have considered.
V. Numerical results
10
Mode 1: Uncoded
Mode 1: Hard Decoding
Mode 1: Soft Decoding
Mode 4: Uncoded
Mode 4: Hard Decoding
Mode 4: Soft Decoding
10
Appendix
Equivalence between soft decoding schemes
with bit metrics (6) and soft bits (12)
BER
m0
m1
TABLE I
10
10
15
20
25
30
35
E /N (dB)
b
Fig. 5. Comparison between hard and soft decoding for mode 1 and
mode 4 of HIPERLAN/2, with channel model A.
0
10
Mode 5: Uncoded
Mode 5: Hard Decoding
Mode 5: Soft Decoding, Theor.
Mode 5: Soft Decoding, Approx.
Mode 7: Uncoded
Mode 7: Hard Decoding
Mode 7: Soft Decoding, Theor.
Mode 7: Soft Decoding, Approx.
BER
10
10
10
mc
for
c = 0; 1
is given by (6).
M (1) (bb 0 ) M (1) (bb ) = M (2) (bb 0 ) M (2) (bb ) < 0 : (26)
b 0 ) < M (1) (bb ), which is in contrast with
Therefore M (1) (b
b is the path with the smallest cumuthe hypothesis that b
10
10
m1 ) + 1 2
m1 ) 1 2
10
10
Method 2
1
(m0
4
1 (m
0
4
15
20
25
30
35
E /N (dB)
b