Abstract
Specialised FPGA implementations can deliver higher performance and greater power efficiency than embedded CPU or GPU implementations for real time image processing. Programming challenges limit their wider use, because the implementation of FPGA architectures at the Register Transfer Level is time consuming and error prone. Existing software languages supported by High Level Synthesis, whilst providing a productivity improvement, are too general purpose to generate efficient hardware without the use of hardware specific code optimisations. Such optimisations leak hardware details into the abstractions that software languages are there to provide, and they require knowledge of FPGAs to generate efficient hardware e.g. by using language pragmas to partition data structures across memory blocks.
This paper presents a thorough account of RIPL (the Rathlin Image Processing Language), a high level image processing Domain Specific Language for FPGAs. We motivate its design, based on higher order algorithmic skeletons, with requirements from the image processing domain. RIPL’s skeletons suffice to elegantly describe image processing stencils, as well as recursive algorithms with non-local random access patterns. At its core, RIPL employs a dataflow intermediate representation. We give a formal account of the compilation scheme from RIPL skeletons to static and cyclo-static dataflow models to describe their data rates and static scheduling on FPGAs.
RIPL compares favourably compared to the Vivado HLS OpenCV library and C++ compiled with Vivado HLS. RIPL achieves between 54 and 191 frames per second (FPS) at 100MHz for four synthetic benchmarks, faster than HLS OpenCV in three cases. Two real world algorithms are implemented in RIPL, visual saliency and mean shift segmentation. For visual saliency algorithm, RIPL achieves 71 FPS compared to optimised C++ at 28 FPS. RIPL is also concise, being 5x shorter than C++ and 111x shorter than an equivalent direct dataflow implementation. For mean shift segmentation, RIPL achieves 7 FPS compared to optimised C++ on 64 CPU cores at 1.1, and RIPL is 10x shorter than the direct dataflow FPGA implementation.
This paper presents a thorough account of RIPL (the Rathlin Image Processing Language), a high level image processing Domain Specific Language for FPGAs. We motivate its design, based on higher order algorithmic skeletons, with requirements from the image processing domain. RIPL’s skeletons suffice to elegantly describe image processing stencils, as well as recursive algorithms with non-local random access patterns. At its core, RIPL employs a dataflow intermediate representation. We give a formal account of the compilation scheme from RIPL skeletons to static and cyclo-static dataflow models to describe their data rates and static scheduling on FPGAs.
RIPL compares favourably compared to the Vivado HLS OpenCV library and C++ compiled with Vivado HLS. RIPL achieves between 54 and 191 frames per second (FPS) at 100MHz for four synthetic benchmarks, faster than HLS OpenCV in three cases. Two real world algorithms are implemented in RIPL, visual saliency and mean shift segmentation. For visual saliency algorithm, RIPL achieves 71 FPS compared to optimised C++ at 28 FPS. RIPL is also concise, being 5x shorter than C++ and 111x shorter than an equivalent direct dataflow implementation. For mean shift segmentation, RIPL achieves 7 FPS compared to optimised C++ on 64 CPU cores at 1.1, and RIPL is 10x shorter than the direct dataflow FPGA implementation.
Original language | English |
---|---|
Article number | 7 |
Journal | ACM Transactions on Reconfigurable Technology and Systems |
Volume | 11 |
Issue number | 1 |
DOIs | |
Publication status | Published - 14 Mar 2018 |
Fingerprint
Dive into the research topics of 'RIPL: A Parallel Image Processing Language for FPGAs'. Together they form a unique fingerprint.Datasets
-
Open dataset for "RIPL: A Parallel Image Processing Language for FPGAs"
Stewart, R. (Creator), Heriot-Watt University, 3 Jan 2018
DOI: 10.17861/ca09418a-cbc2-4d28-98a1-746267a26f9d
Dataset
Profiles
-
Gregory John Michaelson
- School of Mathematical & Computer Sciences - Professor Emeritus
- School of Mathematical & Computer Sciences, Computer Science - Professor Emeritus
Person: Emeritus
-
Robert James Stewart
- School of Mathematical & Computer Sciences - Associate Professor
- School of Mathematical & Computer Sciences, Computer Science - Associate Professor
Person: Academic (Research & Teaching)
-
Andrew Michael Wallace
- School of Engineering & Physical Sciences - Professor Emeritus
Person: Emeritus