-
Hardware-Based Linear Program Decoding with the Alternating Direction Method of Multipliers
Authors:
Mitchell Wasson,
Mario Milicevic,
Stark C. Draper,
Glenn Gulak
Abstract:
We present a hardware-based implementation of Linear Program (LP) decoding for binary linear codes. LP decoding frames error-correction as an optimization problem. In contrast, variants of Belief Propagation (BP) decoding frame error-correction as a problem of graphical inference. LP decoding has several advantages over BP-based methods, including convergence guarantees and better error-rate perfo…
▽ More
We present a hardware-based implementation of Linear Program (LP) decoding for binary linear codes. LP decoding frames error-correction as an optimization problem. In contrast, variants of Belief Propagation (BP) decoding frame error-correction as a problem of graphical inference. LP decoding has several advantages over BP-based methods, including convergence guarantees and better error-rate performance in high-reliability channels. The latter makes LP decoding attractive for optical transport and storage applications. However, LP decoding, when implemented with general solvers, does not scale to large blocklengths and is not suitable for a parallelized implementation in hardware. It has been recently shown that the Alternating Direction Method of Multipliers (ADMM) can be applied to decompose the LP decoding problem. The result is a message-passing algorithm with a structure very similar to BP. We present new intuition for this decoding algorithm as well as for its major computational primitive: projection onto the parity polytope. Furthermore, we present results for a fixed-point Verilog implementation of ADMM-LP decoding. This implementation targets a Field-Programmable Gate Array (FPGA) platform to evaluate error-rate performance and estimate resource usage. We show that Frame Error Rate (FER) performance well within 0.5dB of double-precision implementations is possible with 10-bit messages. Finally, we outline a number of research opportunities that should be explored en-route to the realization of an Application Specific Integrated Circuit (ASIC) implementation capable of gigabit per second throughput.
△ Less
Submitted 18 November, 2016;
originally announced November 2016.
-
Dense Urban Channel Measurements for Utility Pole Fixed Wireless Links
Authors:
Michael W. Wasson,
Geoffrey G. Messier,
Devin P. Smith
Abstract:
This radio channel measurement campaign characterizes the propagation conditions experienced in a dense urban environment over fixed backhaul links between wireless devices that are mounted on utility or traffic light poles. The measurements characterize the 2x1 multiple input single output channel in the 2.45 GHz band for both spatially separated omni antennas and cross polarized directional ante…
▽ More
This radio channel measurement campaign characterizes the propagation conditions experienced in a dense urban environment over fixed backhaul links between wireless devices that are mounted on utility or traffic light poles. The measurements characterize the 2x1 multiple input single output channel in the 2.45 GHz band for both spatially separated omni antennas and cross polarized directional antennas. Results presented include both small and large scale channel statistics, antenna correlation coefficient values and the off-broadside rejection achieved with the directional antennas.
△ Less
Submitted 27 May, 2016;
originally announced May 2016.
-
Hardware-Based ADMM-LP Decoding
Authors:
Mitchell Wasson,
Mario Milicevic,
Stark C. Draper,
Glenn Gulak
Abstract:
In this paper we present an FPGA-based implementation of linear programming (LP) decoding. LP decoding frames error correction as an optimization problem. This is in contrast to variants of belief propagation (BP) decoding that view error correction as a problem of graphical inference. There are many advantages to taking the optimization perspective: convergence guarantees, improved performance in…
▽ More
In this paper we present an FPGA-based implementation of linear programming (LP) decoding. LP decoding frames error correction as an optimization problem. This is in contrast to variants of belief propagation (BP) decoding that view error correction as a problem of graphical inference. There are many advantages to taking the optimization perspective: convergence guarantees, improved performance in certain regimes, and a methodology for incorporating the latest developments in optimization techniques. However, LP decoding, when implemented with standard LP solvers, does not easily scale to the blocklengths of modern error-correction codes. In earlier work, we showed that by drawing on decomposition methods from optimization theory, specifically the alternating direction method of multipliers (ADMM), we could build an LP decoding solver that was competitive with BP, both in terms of performance and speed. We also observed empirically that LP decoders have much better high-SNR performance in the "error floor" regime, a trait of particular relevance to optical transport and storage applications. While our previous implementation was in floating point, in this paper we report initial results of a fixed-point, hardware-based realization of our ADMM-LP decoder.
△ Less
Submitted 17 May, 2016;
originally announced May 2016.
-
Hardware Based Projection onto The Parity Polytope and Probability Simplex
Authors:
Mitchell Wasson,
Stark C. Draper
Abstract:
This paper is concerned with the adaptation to hardware of methods for Euclidean norm projections onto the parity polytope and probability simplex. We first refine recent efforts to develop efficient methods of projection onto the parity polytope. Our resulting algorithm can be configured to have either average computational complexity $\mathcal{O}\left(d\right)$ or worst case complexity…
▽ More
This paper is concerned with the adaptation to hardware of methods for Euclidean norm projections onto the parity polytope and probability simplex. We first refine recent efforts to develop efficient methods of projection onto the parity polytope. Our resulting algorithm can be configured to have either average computational complexity $\mathcal{O}\left(d\right)$ or worst case complexity $\mathcal{O}\left(d\log{d}\right)$ on a serial processor where $d$ is the dimension of projection space. We show how to adapt our projection routine to hardware. Our projection method uses a sub-routine that involves another Euclidean projection; onto the probability simplex. We therefore explain how to adapt to hardware a well know simplex projection algorithm. The hardware implementations of both projection algorithms achieve area scalings of $\mathcal{O}(d\left(\log{d}\right)^2)$ at a delay of $\mathcal{O}(\left(\log{d}\right)^2)$. Finally, we present numerical results in which we evaluate the fixed-point accuracy and resource scaling of these algorithms when targeting a modern FPGA.
△ Less
Submitted 17 May, 2016;
originally announced May 2016.
