Proceedings ArticleDOI
Using Functional Programming to Generate an LDPC Forward Error Corrector
Andy Gill,Tristan Bull,Dan DePardo,Andrew Farmer,Ed Komp,Erik Perrins +5 more
- pp 133-140
Reads0
Chats0
TLDR
This paper describes the tool-chain, approach and methodology to FPGA utilization, and gives a case study of the generation of a low density parity checking forward error correction algorithm.Abstract:
FPGAs as commodities offer a resource for high-performance computation that is unmatched in flexibility and price/performance. As a lab, we are interested in high-level descriptions of computation and data, and how they may be customized to map effectively on FPGA fabrics. This paper describes our tool-chain, approach and methodology to FPGA utilization. We give a case study of the generation of a low density parity checking forward error correction algorithm, and discuss the specific challenges we faced with using FPGAs as our target.read more
Citations
More filters
Proceedings ArticleDOI
Shortening Design Time through Multiplatform Simulations with a Portable OpenCL Golden-model: The LDPC Decoder Case
Gabriel Falcao,Muhsen Owaida,David Novo,Madhura Purnaprajna,Nikolaos Bellas,Christos D. Antonopoulos,Georgios Karakonstantis,Andreas Burg,Paolo Ienne +8 more
TL;DR: A new design flow based on Open CL is proposed, a unified multiplatform programming model, which accelerates LDPC decoding simulations, thereby significantly reducing architectural exploration and design time and, depending on the design parameters to be explored in the simulation, the GPU or the FPGA may suit different purposes more conveniently, providing different acceleration factors.
Journal ArticleDOI
Types and associated type families for hardware simulation and synthesis
TL;DR: This article overviews the design and implementation of the second generation of Kansas Lava, which has retained its dual shallow/deep representation of signals in general, but now has a number of externally visible abstractions for combinatorial and sequential circuits, and enabled signals.
Journal ArticleDOI
Enhancing Design Space Exploration by Extending CPU/GPU Specifications onto FPGAs
Muhsen Owaida,Gabriel Falcao,João Sousa Andrade,Christos D. Antonopoulos,Nikolaos Bellas,Madhura Purnaprajna,David Novo,Georgios Karakonstantis,Andreas Burg,Paolo Ienne +9 more
TL;DR: SOpenCL (Silicon to OpenCL), a tool that automatically converts OpenCL kernels to RTL in order to introduce FPGAs as a potential platform to efficiently execute simulations coded in OpenCL is used, observing that, depending on the design parameters to be simulated, on the dimension and phase of the design, the GPU or FPGA may suit different purposes more conveniently, thus providing different acceleration factors over conventional multicore CPUs.
Journal ArticleDOI
Deriving an efficient FPGA implementation of a low density parity check forward error corrector
Andy Gill,Andrew Farmer +1 more
TL;DR: This paper introduces a semi formal methodology for connecting executable specifications written in the functional language Haskell to efficient VHDL implementations, using semi-formal equational reasoning facilitated by the worker/wrapper transformation, and directed using commutable functors.
Proceedings ArticleDOI
Study on the suitability of LDPC combined with diversity technique in broadband wireless systems
TL;DR: This work demonstrates the suitability of LDPC along with spread spectrum technique in broad band wireless systems and introduces LPDC codes along with the spreading sequence to improve noise immunity of the signals traversing in wireless environment.
References
More filters
Book
Low-Density Parity-Check Codes
TL;DR: A simple but nonoptimum decoding scheme operating directly from the channel a posteriori probabilities is described and the probability of error using this decoder on a binary symmetric channel is shown to decrease at least exponentially with a root of the block length.
Book
Haskell 98 language and libraries : the revised report
Peyton Jones,L Simon +1 more
TL;DR: The Haskell 98 Language: Lexical structure, Declarations and bindings, Predefined types and classes, and Libraries.
Book
Error Correction Coding : Mathematical Methods and Algorithms
TL;DR: This work aims to provide a context for Error Correcting Coding and to inspire a new generation of coders to tackle the challenge of Space-Time Coding.
Journal Article
Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire, Proc. Conference on Functional Programming Languages and Computer Architecture
TL;DR: In this article, a calculus for lazy functional programming based on recursion operators associated with data type definitions is developed, and various algebraic laws that are useful in deriving and manipulating programs are derived.
Book ChapterDOI
Functional programming with bananas, lenses, envelopes and barbed wire
TL;DR: A calculus for lazy functional programming based on recursion operators associated with data type definitions is developed and it is shown that all example functions in Bird and Wadler's Introduction to Functional Programming can be expressed using these operators.
Related Papers (5)
Mapping deep nested do-loop DSP algorithms to large scale FPGA array structures
Surin Kittitornkun,Yu Hen Hu +1 more