- About this Journal
- Abstracting and Indexing
- Aims and Scope
- Article Processing Charges
- Articles in Press
- Author Guidelines
- Bibliographic Information
- Citations to this Journal
- Contact Information
- Editorial Board
- Editorial Workflow
- Free eTOC Alerts
- Publication Ethics
- Reviewers Acknowledgment
- Submit a Manuscript
- Subscription Information
- Table of Contents
Volume 2012 (2012), Article ID 826350, 14 pages
A System View on Iterative MIMO Detection: Dynamic Sphere Detection versus Fixed Effort List Detection
1Microelectronic Systems Design Research Group, University of Kaiserslautern, Erwin-Schroedinger-Stra####^~^~^~^~^~^####x3b2;e, 67663 Kaiserslautern, Germany
2Dipartimento di Elettronica, Politecnico di Torino, Corso Duca degli Abruzzi 24, 10129 Torino, Italy
Received 2 December 2011; Accepted 27 January 2012
Academic Editor: Christophe Moy
Copyright © 2012 Christina Gimmler-Dumont et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Multiple-antenna systems are a promising approach to increase the data rate of wireless communication systems. One efficient possibility is spatial multiplexing of the transmitted symbols over several antennas. Many different MIMO detector algorithms exist for this spatial multiplexing. The major difference between different MIMO detectors is the resulting communications performance and implementation complexity, respectively. Particularly closed-loop MIMO systems have attained a lot of attention in the last years. In a closed-loop system, reliability information is fed back from the channel decoder to the MIMO detector. In this paper, we derive a basic framework to compare different soft-input soft-output MIMO detectors in open- and closed-loop systems. Within this framework, we analyze a depth-first sphere detector and a breadth-first fixed effort detector for different application scenarios and their effects on area and energy efficiency on the whole system. We present all system components under open- and closed-loop system aspects and determine the overall implementation cost for changing an open-loop system in a closed-loop system.
Multiple-antenna (MIMO) systems are a promising approach to increase the data rate of wireless communication systems in rich-scattering environments. Spatial multiplexing is a spectrally efficient way to exploit the diversity of the MIMO channel while an outer error correction code ensures the desired quality of service for a given data rate. This setting is called a Bit Interleaved Coded Modulation (BICM) system (see Section 3). Particularly iterative MIMO detection attained a high attention in the last years. In an iterative receiver, reliability information is fed back from the outer channel decoder to the MIMO detector and vice versa. The resulting communications performance is improved by 3####^~^~^~^~^~^####x2009;dB and more compared to open-loop decoding [1, 2].
This improvement is gained at the cost of a highly complex signal detection (Section 4). Optimal detection by exhaustive search is infeasible for realistic scenarios ( antennas, 16- or 64-QAM). Finding the right trade-off between communications performance and implementation complexity and understanding the implications on the whole receiver is one of the major challenges in the design of iterative MIMO receivers. MIMO detection algorithms and their implementations have been extensively studied in the literature (Section 2). They can be divided into classes with similar characteristics, for example, linear filters or breadth-first tree search algorithms.
The fixed effort list detector (breadth-first search, Section 4.2) and the sphere detector (depth-first search, Section 4.1) are among the most promising approaches to obtain a good communications performance in iterative systems at reasonable implementation complexity. The fixed effort detector processes the MIMO vectors at a constant throughput whereas the sphere detector has a dynamic throughput due to the nature of the depth-first search. However, the sphere detector is able to approach the optimum detection while the communications performance of the fixed effort detector is restricted by the storage requirements of the generated lists.
In this paper, we explore the design space for iterative MIMO detection from a system perspective comparing fixed effort and sphere detection. We start with an investigation of the system communications performance for both algorithms (Section 5) and continue with an architectural analysis of the complete receiver system. Not only the implementation of the MIMO detectors but also of the other building blocks in the iterative receiver (channel preprocessing and channel decoding) needs to be studied to analyze the whole system (Section 6). Therefore, it is mandatory to fix some shared design constraints. We introduce a generic architecture framework which connects the building blocks by system memories in order to be able to exchange individual blocks easily (Section 7.1). Characteristics of each block are analyzed in a system context (Section 7.2); for example, the channel decoder can employ different algorithms for open loop decoding and closed loop decoding.
A fair comparison of different MIMO detectors is only possible as a part of an iterative receiver. Different architectures have advantages for different system constraints, thus we compare fixed effort and sphere detector in several throughput centric and communication centric scenarios (Section 7.3). Eventually, we investigate the system cost in terms of throughput, area, and power when moving from an open-loop to a closed-loop system (Section 7.4). The corresponding area and energy efficiency numbers drop by more than a factor of 2 for closed-loop decoding with one iteration.
2. Review of State-of-the-Art Detection Algorithms and Their Implementations
Multiple-antenna systems employing spatial multiplexing increase the spectral efficiency. However, this improvement comes at the cost of an increased receiver complexity. Finding the right trade-off between communications performance and implementation complexity in MIMO detection is one of the key challenges in the receiver design.
In order to optimally solve the MIMO detection problem, an exhaustive search for the best solutions can be done over all signal constellations. The number of possible signal constellations increases exponentially with the number of antennas and the number of bits per modulation symbol. For a 4 ####^~^~^~^~^~^####xd7; 4 antenna system employing 16-QAM, more than 65000 constellations exist. For 64-QAM, this number rises to more than 16000000. This makes an exhaustive search infeasible for a hardware implementation .
As the optimal exhaustive search is far too complex for hardware implementations, many suboptimal detection algorithms exist with a big range in communications performance and complexity. They can be divided into the following classes.
2.1. Linear MIMO Detection
Zero-Forcing (ZF) and minimum mean square error (MMSE) filters apply an inverse of the channel to the received signal in order to restore the transmitted signal . These linear filters can be implemented at a low complexity; however, their communications performance is very low as well. The MMSE filter considers the noise power in the interference cancellation and therefore shows a slightly better performance.
2.2. Successive Interference Cancellation
The successive interference cancellation (SIC) technique was initially adopted by the vertical Bell Laboratories layered space-time (V-BLAST) system . In contrast to the basic ZF and MMSE filters, SIC detects the transmitted streams sequentially. It chooses the substream with largest signal-to-noise ratio and removes the interference of each detected stream before continuing the detection process. The performance of the SIC algorithm is generally better than ZF and MMSE filters.
2.3. Breadth-First Tree Search Algorithms
For further improvement of the communications performance, the MIMO detection problem can be mapped on a tree search. The tree search algorithms can be divided into breadth-first and depth-first search algorithms.
Breadth-first algorithms offer a constant throughput with a small loss in communications performance compared to an optimal detection. Among the best known techniques are the K-best algorithm [12, 13] and the fixed-complexity detector . While traversing the tree, the K-best detector keeps the K best nodes in each level. This requires sorting operations which result in a high implementation cost. The fixed-effort detector follows a regular tree traversal path which is determined at design time. This regularization enables the design of highly-efficient parallel architectures , however, at slightly lower communications performance than the K-best algorithm. In general, the communications performance of breadth-first algorithms depends on the number of nodes visited in each layer of the tree.
2.4. Depth-First Tree Search Algorithms
Depth-first detectors apply pruning criteria to remove parts of the tree in the search to reduce the computational complexity . They approach the ML solution for hard output and the MAP solution for soft output. Sphere detectors achieve the best communications performance among the different detection techniques, but due to the nature of the depth-first search, their throughput is variable. The sequential tree search order makes it difficult to parallelize the detection. There exist many sub-optimal variants regarding enumeration technique, pruning criterion, or simplified metric calculations, for example, [3, 16].
The hardware implementation of sphere detection has been extensively explored for hard- and soft-output versions, for example, [17, 18]. Different forms of pipelining have been proposed to increase the architecture parallelism [3, 19].
2.5. Iterative MIMO Detection and Channel Decoding
In this paper, we investigate iterative receivers where MIMO detector and channel decoder exchange reliability information to increase the communications performance. Therefore, the aforementioned algorithms have to be adjusted to utilize the given soft-input information. Studer et al. implemented a soft-input soft-output extension of the linear MMSE filter (called MMSE-PIC) in . Breadth-first algorithms have been extended to list detectors. Thereby, the breadth-first algorithm generates a number of candidate vectors which are stored in a list. The iterative detection process is only based on the available vectors in the list. In contrast to breadth-first algorithms, soft information can be directly included in depth-first sphere detection algorithms, for example, [1, 2]. Witte et al. presented the first implementation of such a soft-input soft-output sphere detector in  based on the single-tree-search algorithm (STS) of .
2.6. State-of-the-Art MIMO Detection Architectures
Architectures for MIMO detection have been extensively studied in the literature for all kind of algorithms. Several silicon implementation results of the proposed MIMO detection architectures are listed in Table 1.
A fundamental one-node-per-cycle hardware architecture for the hard-output depth-first sphere decoder is introduced in  together with the -norm approximation for complexity reduction. This architecture has been firstly extended to a soft-output version in  by applying techniques including single-tree-search, sorted QR decomposition and LLR clipping, and further enhanced to be soft-input soft-output in , to perform iterative MIMO decoding. Other architectural improvements, such as the modified best first with fast descent (MBF-FD) MIMO detection , and the parallel and scalable architecture for modified metric first (MMF) list sphere detection (LSD), have been proposed to enhance detection efficiency and performance. The basic architectural considerations for implementing the depth-first sphere decoders are generalized in , from high-level architecture and enumeration strategy to approximations and pipeline interleaving.
The architecture for K-best algorithm is modified in  by applying bidirectional partial tree search and hybrid two-step scheme to reduce complexity. Another similar approach, namely, the early pruned technique, is applied to reduce the complexity of the K-best algorithm .
Besides the sphere decoders, several other MIMO detection algorithms have been investigated. In , the Markov chain Monte Carlo (MCMC) simulation techniques are reported to achieve comparable performance to LSD. The MMSE-SIC algorithm has also been improved to be soft-input soft-output and achieve very high throughput by applying parallel architecture .
3. System Model
In this paper, we focus on a bit interleaved coded modulation (BICM) scheme like that shown in Figure 1. The source generates a random infoword of length which is encoded by the channel encoder. The interleaved codeword consists of bits which are linearly grouped into subblocks : Each subblock consists of coded bits: Each is mapped directly to a complex symbol chosen from a -ary QAM modulation scheme. symbols are combined in one transmission vector . is the number of transmit antennas: The whole modulated sequence is represented by time slots are needed to transmit all symbols of one codeword. The transmission of vector in time step is modeled by with the channel matrix of dimension and the noise vector of dimension whose entries are zero-mean and unit variance Gaussian variables. The elements of are modeled as independent, complex, zero-mean, Gaussian random variables. Real and imaginary part are independent variables each with variance . It is assumed that is ergodic, that is, its entries change independently after each channel use. Furthermore, is perfectly known by the MIMO detector and all employed antenna constellations are symmetric with . The received vectors are gathered in the matrix with
Before the decoding starts, the channel preprocessing applies a QR decomposition on and (for details see Section 4). This results in the transformed received vectors and updated channel matrices . The decoding process is iterative between MIMO detector and channel decoder. They exchange probability information on the codeword. The soft-in-soft-out MIMO detector determines the likelihood of the bits for each received vector using the a priori information from the channel decoder. Only the extrinsic information is passed on to the channel decoder.
The channel decoder processes the whole codeword at a time. It uses the interleaved a priori information from the MIMO detector for the calculation of the estimated information bit sequence and the a posteriori logarithmic likelihood ratios (LLRs) of the codeword. The extrinsic information is returned to the MIMO detector thus closing the iterative loop.
4. MIMO Detection
A received symbol vector can be seen as a weighted superposition of the entries of disturbed by Gaussian noise. The task of the MIMO detector is the equalization and separation of the originally sent symbols . The MIMO detector works on one received vector at a time.
For all detection-related explanations, the time indices of , , and are dropped for ease of notation. Even if not mentioned specifically for each equation, the vectors and are always connected via . denotes the th bit of the th symbol in .
For iterative detection and decoding the MIMO detector computes logarithmic likelihood values (LLRs) on each bit For independent , the probability is obtained by summing up the probabilities of all possible symbol vectors which contain : Using Bayes theorem, can be expressed as We can observe that the analyzed probability consists of three parts. takes into account that not every is equally likely given the a priori information from the channel decoder. As the codeword is interleaved before the QAM mapping the bits are assumed independent from each other. Therefore, is the product of its bits####^~^~^~^~^~^####x2019; probabilities: The conditional probability illustrates how likely it is to receive the signal when has been sent. It equals the probability of the noise needed to receive when is sent over the channel . As the noise is additive white Gaussian with variance , can be written as The third part is constant during the detection of and is cancelled out when applying (10) and (12) to (8): The large number of multiplications and the exponential function involved in the computation of (13) make it less attractive for implementation. Therefore, it is transformed into the logarithmic domain where the exponential function disappears and the multiplications become additions. Hereby, a problem is posed by the additions. The Jacobian logarithm is used to formulate them as with The -operation can be approximated by the normal max-operation. This leads to the Max-Log-Map approximation : Exchanging maximum by minimum operations the next equation is obtained: An interpretation for (17) is that we derive the LLR value from the most likely symbol vectors with being or ####^~^~^~^~^~^####x2212;1, respectively. The metric measures the likelihood that a specific vector has been sent: Small metrics relate to a high probability of having been sent.
Calculating all possible to determine (17) becomes quickly infeasible for higher antenna constellations and/or higher-order modulations as the complexity grows with . Therefore, many sub-optimal algorithms with lower complexity exist. Most of them are based on a tree search. In order to map the metric calculations (18) on a tree, the channel matrix is decomposed into a unitary matrix and an upper-triangular matrix . The Euclidean distance is rewritten as with . Equation (18) is replaced by the equivalent metric The triangular structure of allows the recursive calculation of with the starting point and . The metric update depends on the partial symbol vector :
This recursive structure can be represented by a tree with levels as shown in Figure 2 for the modulation alphabet . The root node corresponds to and each leaf node corresponds to the metric of one possible vector . Each level corresponds to the detection of one symbol . Branches are labeled with an element of the modulation alphabet. When advancing from a parent to a child node, the metric of the child node is calculated from the metric of the parent node and the branch metric .
Based on this tree search, many different MIMO detection algorithms exist. The main differences between the algorithms can be described by how they traverse the tree, for example, breadth-first, depth-first, or metric-first, and how branches of the tree are excluded. In general, those algorithms result in different communications performance and implementation complexities. In the next sections, we will present two different algorithms and show the trade-offs between them.
4.1. Sphere Detector
The sphere detector is a depth-first search which considers all symbol vectors in the computation of (17) which lie inside a sphere of radius around the received vector , that is, for which . The radius is determined before the search starts. The choice of the radius offers a trade-off between very good communications performance and throughput. For a high radius, many nodes are visited and the resulting communications performance is close to the optimum. For a low radius, the search is very fast but the communications performance is degraded.
During the search, the sphere detector may visit many leaf nodes but only stores the data relevant for the computation of the LLR values (17). Furthermore, sorted QR decomposition  and MMSE preprocessing  are used as additional techniques for complexity reduction.
4.2. Fixed Effort List Detector
A fixed effort detector  generates a list of leaf nodes and their according Euclidean distances. It is based on a breadth-first search in which the number of child nodes is predetermined for every layer of the tree. Thus, the number of visited nodes is constant for one so-called node distribution. Typically, in the beginning of the tree search, many children nodes are visited while, in lower layers, only one or two nodes are expanded. Therefore, the use of a sorted QR decomposition which moves the unreliable layers to the top of the tree is mandatory [14, 24]. Each candidate in the list consists of a bit vector and the corresponding Euclidean distance .
In order to obtain soft-output LLRs and to be able to process a priori information, the fixed effort MIMO detector has to be followed by an LLR generator. In the LLR generator, the a posteriori LLRs are approximated by (17) but the minimum search only runs over those vectors which have been stored in the list . Also, the Euclidean distance has been stored in and does not have to be recalculated.
5. Results Communications Performance
The design space for iterative MIMO detection and channel decoding is enormous considering all the possibilities for sub-optimal algorithms, the choice of the channel code, scheduling between detector and decoder, channel and modulation parameters, and so forth. Covering all these possibilities is out of scope of this paper. Therefore, we introduce the following restrictions on the design space. As channel code we employ a WiFi compliant 64-state nonsystematic, nonrecursive convolutional code. The decoding of convolutional codes is noniterative thus removing the scheduling problem between inner and outer iterations. We use code rate and code words of 2304####^~^~^~^~^~^####x2009;bits. This code length has been chosen to allow a comparison with existing LDPC codes of the WiMax, WiFi standards . This in-depth comparison will be done in a future publication. The channel is modeled as Rayleigh fading with 4 transmit and 4 receive antennas.
As a first step of the design space exploration we compare the communications performance for two different MIMO detection algorithms, namely, the sphere detector and the fixed effort detector from Section 4. The two algorithms offer a trade-off between hardware efficiency and communications efficiency. Two modulation schemes are compared####^~^~^~^~^~^####x2014;16-QAM and 64-QAM####^~^~^~^~^~^####x2014;which pose different requirements to the MIMO detector in terms of complexity.
Figures 3 and 4 show the communications performance results for the two algorithms for antennas, 16-QAM and 64-QAM, respectively. The frame error rate is measured after the convolutional decoder. The red curves show the results of the close-to-optimum sphere detector. The green and blue curves stem from the fixed effort detector with different list sizes . We limited the number of outer iterations to 3. Currently, this is the highest number of iterations we assume in a hardware realization since the throughput will linearly decrease with the iterations. Anyway, additional iterations will not result in a further significant gain in communications performance [1, 2].
In both figures, we observe a similar behaviour of the different algorithms. Both, the sphere detector and the fixed effort detector have their largest gain within the first iteration (up to 4####^~^~^~^~^~^####x2009;dB for the sphere detector and around 3####^~^~^~^~^~^####x2009;dB for the fixed effort detector). Furthermore, the communications performance of the fixed effort detector depends significantly on the list size . Particularly for small list sizes (green curves), more than one iteration does not significantly improve the performance anymore. Whereas the difference between small (green) and big list sizes (blue curves) is small in iteration 0, it is well known that, for the larger list sizes, the communications performance is better in successive iterations. When an extremely large list is adopted (e.g., 1024 for 16-QAM and 4096 for 64-QAM), the performance of the fixed effort list detector approaches the soft-output depth-first sphere detector.
Recapitulatory, the most important observations are listed in the following. After iteration 0, fixed effort and sphere detector based MIMO detection obtain a similar communications performance. Both achieve the biggest gain within the first iteration. The communications performance of the fixed effort detector depends heavily on the list size. For small list sizes, no more than one iteration is beneficial as the decoding process ####^~^~^~^~^~^####x201c;gets stuck,####^~^~^~^~^~^####x201d; that is, does not further improve. The best communications performance is achieved by sphere detection with several outer iterations.
6. Results VLSI Components
In this section, we will present the architectures and implementation results of the different VLSI components which will be combined and analyzed as an iterative receiver in Section 7.
All designs were synthesized in a 65####^~^~^~^~^~^####x2009;nm low-power bulk CMOS standard cell library. Target frequency after place ####^~^~^~^~^~^####x26; route is 300####^~^~^~^~^~^####x2009;MHz which is typically used for industrial designs. In order to ensure 300####^~^~^~^~^~^####x2009;MHz after place ####^~^~^~^~^~^####x26; route, synthesis was done with a target frequency of 360####^~^~^~^~^~^####x2009;MHz. We considered the following PVT parameters: Worst Case (WC, 1.1####^~^~^~^~^~^####x2009;V, 125####^~^~^~^~^~^####xb0;C), Nominal Case (NOM, 1.2####^~^~^~^~^~^####x2009;V, 25####^~^~^~^~^~^####xb0;C) and Best Case (BC, 1.3####^~^~^~^~^~^####x2009;V, ####^~^~^~^~^~^####x2212;40####^~^~^~^~^~^####xb0;C). Synthesis was performed with Synopsis Design Compiler in topographical mode, place ####^~^~^~^~^~^####x26; route (P####^~^~^~^~^~^####x26;R) with Synopsys IC Compiler. Synthesis as well as P####^~^~^~^~^~^####x26;R were performed with Worst Case PVT settings of the 65####^~^~^~^~^~^####x2009;nm library.
6.1. QR Decomposition
From the bunch of existing algorithms, we chose the modified Gram-Schmidt process  to compute the QR decomposition due to its simplicity and stability when working with finite precision values. Input and output matrices are quantized with 12####^~^~^~^~^~^####x2009;bits for real and imaginary values, respectively. It has been shown that this quantization yields only a minor degradation in system communications performance . The resulting architecture runs a sorted QR decomposition with MMSE preprocessing for a channel matrix in 167 clock cycles. After P####^~^~^~^~^~^####x26;R it has an area of and consumes a power of in nominal case when running at 300####^~^~^~^~^~^####x2009;MHz.
6.2. Convolutional Decoder
In open-loop systems, convolutional codes can be decoded with the Viterbi algorithm  which provides the ML solution, that is, a sequence of hard output bits. In closed-loop MIMO systems, however, soft-output LLR values of the whole codeword are needed for the outer iterations. Thus, the BCJR algorithm  has to be applied to obtain the soft-output MAP solutions. Input and output LLR values are quantized with 6####^~^~^~^~^~^####x2009;bits each.
State-of-the art convolutional decoders process 1####^~^~^~^~^~^####x2009;bit per clock cycle. Consequently, they obtain a throughput of 300####^~^~^~^~^~^####x2009;Mbit/s at a clock frequency of 300####^~^~^~^~^~^####x2009;MHz. In , a 65####^~^~^~^~^~^####x2009;nm technology Viterbi decoder design has been presented which is able to run at a clock frequency of more than 300####^~^~^~^~^~^####x2009;MHz. It consumes an area of 0.11####^~^~^~^~^~^####x2009; and has a power consumption of approximately 40####^~^~^~^~^~^####x2009;mW.
Implementations of the BCJR-algorithm for 64-state convolutional codes are not widely available in the literature. Therefore, we chose the 180####^~^~^~^~^~^####x2009;nm technology decoder design from . We scaled the original implementation data down to 65####^~^~^~^~^~^####x2009;nm technology yielding an area of 0.31####^~^~^~^~^~^####x2009; and a power consumption of approximately 240####^~^~^~^~^~^####x2009;mW (area scaling factor: , power scaling factor: .
6.3. Sphere Detector
The tree search for sphere detection can be separated into five basic operations: computing the interference reduced symbol, enumerating the most promising children nodes, computing the metrics, processing the results of the leaf nodes and storing intermediate results and choosing the next node. In the presented sphere decoder architecture, each of these operations has been implemented in a separate block, see Figure 5. The enumeration unit performs the enumeration of children nodes either based on the interference reduced symbol or based on the a priori information.
The presented architecture computes two nodes per cycle in contrast to other depth-first sphere decoders (e.g., [3, 5]) which employ a one-node-per-cycle architecture. This is a new approach which doubles the throughput compared to state-of-the-art implementations. Its detailed architecture will be presented in a future publication since this paper deals with system analysis and the trade-off between communications performance versus implementation performance. The sphere detector works with antenna systems up to antennas and QAM modulation schemes up to 64-QAM. During run-time, throughput can be traded off against communications performance by adjusting the radius. However, due to the nature of the depth-first search, the throughput is dynamic and varies with the channel conditions and the outer iterations. After place ####^~^~^~^~^~^####x26; route, the design has an area of 0.26####^~^~^~^~^~^####x2009;mm2 and a power consumption of only 15####^~^~^~^~^~^####x2009;mW. The implementation data is summarized in Table 2.
6.4. Fixed Effort List Detector
The architecture of the fixed effort list detector supports 16-QAM and 64-QAM modulation. The list size is configurable to be 32 and 128 for 16-QAM and 64-QAM, respectively. It consists of a list generator (employing the fixed effort detection algorithm) and an individual LLR generator to generate soft-outputs, as shown in Figure 6.
The list generator is implemented by an eight-nodes-per-cycle parallel architecture, which processes 8 nodes in each clock cycle concurrently as a group, with the breadth-first tree search order. Eight identical units are employed for each of the main arithmetic tasks, such as enumeration and metric calculation. After the tree search, a candidate list is sent to the LLR generator, which receives the a priori data from channel decoder and computes the extrinsic data. The LLR generator is also implemented with highly parallel architecture. The throughput of both, the list generator and the LLR generator, depends highly on the list size. Implementation results after place ####^~^~^~^~^~^####x26; route are summarized in Table 3.
7. System Analysis
In this section we will investigate the cost for practical applications with respect to throughput, area, and power. Therefore, we first introduce a generic architecture framework supporting different MIMO detectors and channel decoders. After presenting each building block individually in the last section, we will analyze different aspects of the components regarding the complete iterative system. The major problem of MIMO iterative systems with the overall design decisions is the dynamic constraints for throughput and communications performance in different application scenarios. Thus, we will compare the sphere detector and fixed effort detector for different scenarios and SNR ranges. Eventually, we analyze the difference in implementation costs for open- and closed-loop systems.
7.1. Architecture Framework
We have mapped the iterative receiver structure from Figure 1 onto a general architecture framework which allows to plug in different MIMO detectors and channel decoders. The framework####^~^~^~^~^~^####x2014;shown in Figure 7####^~^~^~^~^~^####x2014;connects the main building blocks via several system memories. The area for each memory is shown in Figure 7. The total area of all system memories is mm2.
The iterative receiver structure from Figure 1 is mapped onto this generic framework. During the inner iterations of the channel decoder the values in DEC####^~^~^~^~^~^####x5f;IN might be updated. Thus, the original information is not on hand after decoding. The a posteriori LLR values have to be stored in DET####^~^~^~^~^~^####x5f;OUT in order to be able to extract the extrinsic information for the next iteration of the detector. Interleaver and Deinterleaver tables are stored in INT and DE####^~^~^~^~^~^####x5f;INT and are read by interleaver unit and deinterleaver unit , respectively. We assume that all complex values require 12####^~^~^~^~^~^####x2009;bits for real and imaginary part, respectively, and that all LLR values are quantized with 6####^~^~^~^~^~^####x2009;bits.
In the further analysis, we distinguish between the open-loop system without feedback between channel decoder and MIMO detector and the closed-loop with feedback. In closed-loop systems, all memories are mandatorily required. When the MIMO detector is processing a codeword, the decoder has to wait until it is finished and vice versa. Thus, MIMO detector and channel decoder are never active at the same time.
For an open-loop system, the architecture framework can be simplified. First of all, the memories related to the feedback loop####^~^~^~^~^~^####x2014;DET####^~^~^~^~^~^####x5f;OUT, DET####^~^~^~^~^~^####x5f;IN, and INT####^~^~^~^~^~^####x2014;are obviously not needed. But in addition, the QR decomposition can provide the data as needed for the MIMO detector so the memories Y####^~^~^~^~^~^####x5f;HAT and MAT####^~^~^~^~^~^####x5f;R are not required. While the channel decoder is working on one codeword the MIMO detector can already start the next one. In this way, MIMO detector and channel decoder can both be active at all times. The only additional requirement to enable full activity is the doubling of DEC####^~^~^~^~^~^####x5f;IN. In summary, in open-loop systems we need an area of 0.123####^~^~^~^~^~^####x2009;mm2 for system memories and in closed-loop systems we need mm2.
7.2. Components in the System
In Section 6 the VLSI building blocks were introduced without any system considerations. In the following paragraphs, we will look at the dependencies between throughput, communications performance, and different system parameters for each component and what are requirements on the components in open-loop and closed-loop receivers. The observations from the next paragraphs are also summarized in Table 4. The units are shown in columns next to each other giving a good overview of individual design problems, throughputs, and constraints.
The presented design for QR decomposition processes matrices for or antennas including the sorting of layers and MMSE preprocessing. For matrices, the unit processes matrices per second consuming 6.68####^~^~^~^~^~^####x2009;nJ per matrix. Under the assumption of a truly ergodic channel, that is, the channel changes independently after each use, this relates to 28.8####^~^~^~^~^~^####x2009;Mbit/s for 16-QAM, or 43.2####^~^~^~^~^~^####x2009;Mbit/s for 64-QAM. In contrast to the MIMO detector, a higher constellation size is beneficial for the bit throughput of the QR decomposition because the processing time depends only on the size of the matrix. In a realistic channel, it is expected that the channel will stay constant for several channel uses. In this case, the QR decomposition only has to be done once for several MIMO vectors and the bit throughput increases. For the QR decomposition there is no difference between open-loop and closed-loop systems as the channel preprocessing is only done once for every channel matrix.
The sphere detector architecture detects MIMO vectors for systems with up to antennas and QAM modulation schemes up to 64-QAM. Throughput and communications performance depend mainly on the number of visited nodes during the tree search. The sphere radius offers a good trade-off parameter which regulates the number of nodes which can be visited. For a low radius, a high throughput is obtained at the cost of a reduced communications performance and vice versa for a high radius.
Particularly for iterative receivers, the sphere detector offers the best communications performance possible. Due to the depth-first search strategy, the processing time for one MIMO vector is not constant. In fact, it depends on the SNR of the current channel realization. So even for one SNR value, the throughput varies for different MIMO vectors. Generally, the number of nodes will decrease for higher SNR values. The throughput also changes over the outer iterations. This is problematic when a worst case throughput has to be ensured. Otherwise, there are no changes within the architecture for open- or closed-loop systems.
Fixed Effort List Detector
The fixed effort detector architecture is optimized for antenna systems with two node distributions for 16-QAM and 64-QAM, respectively. This results in list sizes of 32 or 128 entries. The following LLR generator is able to work with list sizes up to 128 entries. The node distributions determine the number of nodes which will be visited for one MIMO vector. The choice of the node distribution, however, varies according to the number of antennas, the modulation scheme, and the required list size. The communications performance of the fixed effort detector is directly influenced by the list size. For small list sizes, iterative detection and decoding obtain no more gain after the first iteration. Furthermore, it is mandatory to use a sorted QR decomposition which moves the least reliable layers to the top of the tree. Otherwise, the communications performance drops by several dB. In open-loop processing, the list which is generated in the FSD can be directly used as input for the LLR generator. List storage is not required. Like for the sphere detector, the memories DET####^~^~^~^~^~^####x5f;OUT, DET####^~^~^~^~^~^####x5f;IN, and INT are not needed. When moving to closed-loop receivers, the lists of all MIMO vectors have to be stored to be reused in the next iterations. The required memory is determined by the 64-QAM case with a list size of 128. For the whole block consisting of 2304####^~^~^~^~^~^####x2009;bits, 12288 list entries with 36####^~^~^~^~^~^####x2009;bits are needed. The resulting memory consumes approximately 0.32####^~^~^~^~^~^####x2009;mm2. This shows already why bigger lists will not be feasible because already for a list size of 128 the list storage consumes almost the same area as the fixed effort detector core itself.
The chosen architecture for convolutional decoding processes all code rates ####^~^~^~^~^~^####x2265;0.5. The throughput is fixed to 300####^~^~^~^~^~^####x2009;Mbit/s by the choice of the architecture independent of the code rate. In the open-loop system, no feedback information is required, thus hard-output bits of the information word are sufficient. In this case, the low-complexity Viterbi algorithm can be chosen which finds the optimal maximum likelihood (ML) solution. In the closed loop, however, soft-output LLR values of the complete codeword are needed as feedback for the MIMO detector. This requires an extended version of the BCJR algorithm which also produces LLR values of the parity information. The introduction of the BCJR algorithm increases the decoder area from approximately 0.11####^~^~^~^~^~^####x2009;mm2 to 0.31####^~^~^~^~^~^####x2009;mm2.
7.3. Scenario Analysis
In most publications, MIMO detectors are analyzed as an individual building block. However, the major problem of iterative MIMO systems are the dynamics of different system scenarios, for example, different throughput and communications performance requirements. The argumentation for one specific architecture is often misleading if it is only based on one specific scenario. Depending on quality of service or throughput requirements, different detection strategies will have advantages. Arguments for a specific realization can be reversed when changing the required flexibility or the multiplexing scheme.
In this section, we will analyze and compare sphere detector and fixed effort list detector in different scenarios. One part of the scenarios will be communication centric, that is, what is the cost to reach a certain frame error rate at a certain signal-to-noise ratio. Other scenarios concentrate on throughput exploring hardware units and power consumption in order to reach a certain throughput. The scenarios combined with the summarized result data are shown in Table 5. Typically, worst case constraints in systems are for the highest antenna/modulation system. Thus only in the antennas, 64-QAM case is shown within the presented system examples. For the fixed effort list detector architecture two LLR units are employed to balance the throughput between list generation and LLR generation.
For all scenarios, it is assumed that the channel decoder processes one bit per clock cycle resulting in a throughput of 300####^~^~^~^~^~^####x2009;Mbit/s. This is a typical assumption for state-of-the-art convolutional decoder architectures. While the throughput of the channel decoder is fixed, the throughputs of the MIMO detectors vary depending on the chosen scenario leading to an unbalanced processing time for MIMO detection and channel decoding. In open-loop systems, MIMO detector and channel decoder work as a pipeline. The system throughput is determined by the component with the lowest throughput only, typically the MIMO detector.
For closed-loop systems, there are two alternatives. Either two code words are processed in parallel####^~^~^~^~^~^####x2014;one in the MIMO detector and one in the channel decoder####^~^~^~^~^~^####x2014;or only one codeword is processed at a time. Working on the same codeword in parallel is prevented by the channel interleaver because detector and decoder always have to wait until the other one has finished processing the whole codeword. In the first case all system memories have to be doubled to store the data of the two code words. Furthermore, for unbalanced processing the throughput is still determined by the slower component whereas the faster component is idle for the rest of the time. On the other hand, if only one code word is handled by the iterative receiver, every component has to wait until the other one has finished the current code word but the memories are not impacted. The system throughput in this case depends on the throughputs of MIMO detector and channel decoder and the number of outer iterations (starting at 0) in the following nonlinear way: The system throughput decreases linearly with the number of iterations. As the throughputs of the MIMO detectors largely vary for the different scenarios we chose the second case for our analysis; that is, only one codeword is processed at a time.
The scenarios in Table 5 either target a system frame-error rate of at different signal-to-noise ratios or specific system throughputs ranging from 30####^~^~^~^~^~^####x2009;Mbit/s up to 300####^~^~^~^~^~^####x2009;Mbit/s. In the communication centric scenarios, the current architecture of the fixed effort list detector is able to achieve the target frame-error rate for the two highest SNR values at a good system throughput of 110####^~^~^~^~^~^####x2009;Mbit/s for open loop and 40####^~^~^~^~^~^####x2009;Mbit/s for closed loop. The average power consumption decreases for closed-loop systems because the list generator only runs in iteration 0. In the following iterations, only list storage and LLR unit are active. Theoretically, the fixed effort list detector can reach the frame-error rate of at 18####^~^~^~^~^~^####x2009;dB with a list of size 4096 as shown in Figure 4. In that case, the list storage would increase by a factor of 128 to approximately 10.2####^~^~^~^~^~^####x2009;mm2. The processing units would scale by a similar factor depending on the targeted throughput. Therefore, a list size of 4096 is not feasible.
The sphere detector is able to reach the target communications performance for all given signal-to-noise ratios with up to two iterations. However, the throughput is much lower than for the fixed effort detector. At 20####^~^~^~^~^~^####x2009;dB the radius can be lowered to increase the throughput as a frame-error rate of is achieved easily. At 16####^~^~^~^~^~^####x2009;dB, 2 outer iterations are necessary heavily reducing the throughput to where it is not adequate anymore.
In the throughput centric scenarios, we analyze which parallelism is needed for the MIMO detector to reach a certain system throughput. For open-loop systems, the system throughput linearly increases with the number of detector instantiations. For an open-loop throughput of 300####^~^~^~^~^~^####x2009;Mbit/s, three fixed effort list detector instances or eight sphere detector instances are needed. Even though the MIMO detectors have a throughput higher than 300####^~^~^~^~^~^####x2009;Mbit/s, the system throughput is in this case limited by the channel decoder running at a constant throughput of 300####^~^~^~^~^~^####x2009;Mbit/s. For most throughput centric scenarios, the resulting area for both detectors are similar. The power consumption, however, for the sphere detector is much lower. This can be explained by the additional power needed for the list storage and the LLR units on one hand. Furthermore, the fixed effort detector architecture processes eight different nodes in parallel whereas the sphere detector is only working on two nodes in parallel which are siblings in the tree.
In summary, the fixed effort list detector is advantageous if a high throughput has to be guaranteed at a reasonable communications performance. However, best communications performance cannot be achieved because the required higher list sizes would imply infeasibly huge list storage memories. The depth-first sphere detector achieves best communications performance. With multiple instances, the sphere detector achieves a high throughput at a decent area and very good energy efficiency.
7.4. Open-Loop versus Closed-Loop Considerations
After comparing sphere detector and fixed effort detector for different application scenarios, we will now look at the effect on the whole system when moving from an open-loop implementation to a closed-loop implementation. For this analysis, we set the detector throughput to 300####^~^~^~^~^~^####x2009;Mbit/s balancing the throughput between MIMO detector and channel decoder.
The power consumption of the system memories does not depend on a specific detector architecture but only on the MIMO detector throughput. Based on the number of accesses (e.g., 4 read accesses on Y####^~^~^~^~^~^####x5f;HAT per detection), we determined the average power for each memory (see Figure 8). The power consumption of the memories for closed-loop decoding is approximately twice as high as in open-loop decoding. This stems from the fact that certain system memories are not needed in open-loop decoding (see Section 7.1). The implementation data of channel preprocessing and channel decoder have been summarized in Table 4.
Table 6 shows the main characteristics of the resulting open- and closed-loop systems employing sphere detector or fixed effort detector, respectively. We determine area and energy efficiency according to . Higher numbers represent a higher efficiency. The throughput of the closed-loop system drops by a factor of 4 because only one codeword is processed at a time. This scheduling has a positive effect on the power consumption as each component is only active 50####^~^~^~^~^~^####x25; of the time. The gain in communications performance by the outer iteration is between 3 and 4####^~^~^~^~^~^####x2009;dB. However, it can be observed that area and energy efficiency do not decrease by a factor of 2 as might be expected. In fact, the efficiency of the closed loop-system drops by factors between 3 and 6 compared to the open-loop system.
Multiple-antenna systems offer an increased bandwidth efficiency compared to single-antenna systems. Iterative receivers which exchange reliability information between MIMO detector and channel decoder will become mandatory in the near future. Choosing the MIMO detector algorithm and architecture from one of the various existing approaches has big effects on the complete system. In this paper, we have compared the depth-first variable throughput sphere detector to the breadth-first fixed effort detector in communication centric and throughput centric application scenarios. The fixed effort detector is advantageous if a high throughput has to be ensured at moderate communications performance. However, it has been observed that the sphere detector shows excellent behaviour for one outer iteration. Even with multiple instances, it obtains a decent area and very good energy efficiency.
Furthermore, we have presented an analysis of all components of the iterative receiver including channel preprocessing, MIMO detection, channel decoding, and system memories. We have shown that area and power efficiency decrease by more than a factor of 2 when changing from an open-loop decoder implementation to a closed-loop decoder employing 1 iteration independent of the choice of the MIMO detector.
The authors thank Christian Weis for his extensive help with the synthesis and place ####^~^~^~^~^~^####x26; route workflow.
- B. M. Hochwald and S. Ten Brink, “Achieving near-capacity on a multiple-antenna channel,” IEEE Transactions on Communications, vol. 51, no. 3, pp. 389–399, 2003.
- H. Vikalo, B. Hassibi, and T. Kailath, “Iterative decoding for MIMO channels via modified sphere decoding,” IEEE Transactions on Wireless Communications, vol. 3, no. 6, pp. 2299–2311, 2004.
- A. Burg, M. Borgmann, M. Wenk, M. Zellweger, W. Fichtner, and H. Bölcskei, “VLSI Implementation of MIMO detection using the sphere decoding algorithm,” IEEE Journal of Solid-State Circuits, vol. 40, no. 7, pp. 1566–1577, 2005.
- C. Studer, A. Burg, and H. Bölcskei, “Soft-output sphere decoding: algorithms and VLSI implementation,” IEEE Journal on Selected Areas in Communications, vol. 26, no. 2, pp. 290–300, 2008.
- E. M. Witte, F. Borlenghi, G. Ascheid, R. Leupers, and H. Meyr, “A scalable VLSI architecture for soft-input soft-output single tree-search sphere decoding,” IEEE Transactions on Circuits and Systems II: express Briefs, vol. 57, no. 9, Article ID 5570931, pp. 706–710, 2010.
- C.-H. Liao, T.-P. Wang, and T.-D. Chiueh, “A 74.8 mW soft-output detector IC for spatial-multiplexing MIMO communications,” IEEE Journal of Solid-State Circuits, vol. 45, no. 2, Article ID 5405138, pp. 411–421, 2010.
- L. Liu, F. Ye, X. Ma, T. Zhang, and J. Ren, “A 1.1-Gb/s 115-pJ/bit configurable MIMO detector using 0.13-muhboxm CMOS technology,” IEEE Transactions on Circuits and Systems II, vol. 57, no. 9, pp. 701–705, 2010.
- C. Studer, S. Fateh, and D. Seethaler, “A 757 Mb/s 1.5 mm2 90 nm CMOS soft-input soft-output MIMO detector for IEEE 802.11n,” in Proceedings of the 36th European Solid State Circuits Conference (ESSCIRC'10), pp. 530–533, Seville, Spain, September 2010.
- D. Garrett, L. Davis, S. Ten Brink, B. Hochwald, and G. Knagge, “Silicon complexity for maximum likelihood MIMO detection using spherical decoding,” IEEE Journal of Solid-State Circuits, vol. 39, no. 9, pp. 1544–1552, 2004.
- D. Wubben, R. Bohnke, V. Kuhn, and K.-D. Kammeyer, “MMSE extension of V-BLAST based on sorted QR decomposition,,” in Proceedings of the IEEE 58th Vehicular Technology Conference (VTC'03), vol. 1, pp. 508–512, October 2003.
- G. J. Foschini, G. D. Golden, R. A. Valenzuela, and P. W. Wolniansky, “Simplified processing for high spectral efficiency wireless communication employing multi-element arrays,” IEEE Journal on Selected Areas in Communications, vol. 17, no. 11, pp. 1841–1852, 1999.
- Z. Guo and P. Nilsson, “Algorithm and implementation of the K-best Sphere decoding for MIMO detection,” IEEE Journal on Selected Areas in Communications, vol. 24, no. 3, pp. 491–503, 2006.
- K. W. Wong, C. Y. Tsui, R. S. K. Cheng, and W. H. Mow, “A VLSI architecture of a K-best lattice decoding algorithm for MIMO channels,” in Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS'02), vol. 3, pp. III-273–III-276, May 2002.
- L. G. Barbero and J. S. Thompson, “Fixing the complexity of the sphere decoder for MIMO detection,” IEEE Transactions on Wireless Communications, vol. 7, no. 6, Article ID 4543065, pp. 2131–2142, 2008.
- E. Agrell, T. Eriksson, A. Vardy, and K. Zeger, “Closest point search in lattices,” IEEE Transactions on Information Theory, vol. 48, no. 8, pp. 2201–2214, 2002.
- B. Mennenga and G. Fettweis, “Search sequence determination for tree search based detection algorithms,” in Proceedings of the IEEE Sarnoff Symposium (SARNOFF'09), pp. 1–6, April 2009.
- A. Burg, M. Borgmann, M. Wenk, M. Zellweger, W. Fichtner, and H. Bölcskei, “VLSI Implementation of MIMO detection using the sphere decoding algorithm,” IEEE Journal of Solid-State Circuits, vol. 40, no. 7, pp. 1566–1576, 2005.
- M. Wenk, A. Burg, M. Zellweger, C. Studer, and W. Fichtner, “VLSI implementation of the list sphere algorithm,” in Proceedings of the 24th Norchip Conference, pp. 107–110, Linkoping, Sweden, November 2006.
- M. T. Gamba and G. Masera, “Look-ahead sphere decoding: algorithm and VLSI architecture,” IET Communications, vol. 5, no. 9, pp. 1275–1285, 2011.
- C. Studer and H. Bölcskei, “Soft-input soft-output sphere decoding,” in Proceedings of the IEEE International Symposium on Information Theory (ISIT'08), pp. 2007–2011, Toronto, Canada, July 2008.
- M. Wenk, L. Bruderer, A. Burg, and C. Studer, “Area- and throughput-optimized VLSI architecture of sphere decoding,” in Proceedings of the 18th IEEE/IFIP International Conference on VLSI and System-on-Chip (VLSI-SoC'10), pp. 189–194, Madrid, Spain, September 2010.
- S. Chen and T. Zhang, “Low power soft-output signal detector design for wireless MIMO communication systems,” in Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED'07), pp. 232–237, 2007.
- S. A. Laraway and B. Farhang-Boroujeny, “Implementation of a Markov chain Monte Carlo based multiuser/MIMO detector,” IEEE Transactions on Circuits and Systems I, vol. 56, no. 1, pp. 246–255, 2009.
- D. Wubben, R. Bohnke, J. Rinas, V. Kuhn, and K. D. Kammeyer, “Efficient algorithm for decoding layered space-time codes,” Electronics Letters, vol. 37, no. 22, pp. 1348–1350, 2001.
- L. G. Barbero and J. S. Thompson, “Extending a fixed-complexity sphere decoder to obtain likelihood information for turbo-MIMO systems,” IEEE Transactions on Vehicular Technology, vol. 57, no. 5, pp. 2804–2814, 2008.
- I. 802.16, Local and metropolitan area networks; Part 16: Air Interface for Fixed and Mobile Broadband Wireless Access Systems; Amendment 2: Physical and Medium Access Control Layers for Combined Fixed and Mobile Operation in Licensed Bands.
- G. H. Golub and C. F. V. Loan, Matrix Computations, The Johns Hopkins University Press, London, UK, 3rd edition, 1996.
- G. L. Nazar, C. Gimmler, and N. Wehn, “Implementation comparisons of the QR decomposition for MIMO detection,” in Proceedings of the 23rd Symposium on Integrated Circuits and Systems Design (SBCCI'10), pp. 210–214, September 2010.
- A. J. Viterbi, “Error bounds for convolutional codes and an asymptotically optimum decoding algorithm,” IEEE Transactions on Information Theory, vol. 13, no. 2, pp. 260–269, 1967.
- L. R. Bahl, J. Cocke, F. Jelinek, and J. Raviv, “Optimal decoding of linear codes for minimizing symbol error rate,” IEEE Transactions on Information Theory, vol. IT-20, no. 2, pp. 284–287, 1974.
- F. Kienle, N. Wehn, and H. Meyr, “On complexity, energy and implementation-efficiency of channel decoders,” IEEE Transactions on Communications, vol. 59, no. 12, pp. 3301–3310, 2011.
- C. Studer, Iterative MIMO decoding: algorithms and VLSI implementation aspects, Ph.D. dissertation, ETH Zürich, Zurich, Switzerland, 2009.