Efficient FPGA Cost-Performance Space Exploration Using Type-driven Program Transformations

Urlea, C., Vanderbauwhede, W. and Nabi, S. W. (2020) Efficient FPGA Cost-Performance Space Exploration Using Type-driven Program Transformations. In: 2019 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2019), Cancun, Mexico, 9-11 Dec 2019, ISBN 9781728119571 (doi:10.1109/ReConFig48160.2019.8994801)

202011.pdf - Accepted Version



Many numerical simulation applications from the scientific, financial and machine-learning domains require large amounts of compute capacity. They can often be implemented with a streaming data-flow architecture. Field Programmable Gate Arrays (FPGA) are particularly power-efficient hardware architectures suitable for streaming data-flow applications. Although numerous programming languages and frameworks target FPGAs, expert knowledge is still required to optimise the throughput of such applications for each target FPGA device. The process of selecting which optimising transformations to apply, and where to apply them is dubbed Design Space Exploration (DSE). We contribute an elegant and efficient compiler based DSE strategy for FPGAs by merging information sourced from the compiled application's semantic structure, an accurate cost-performance model and a description of hardware resource limits for particular FPGAs. Our work leverages developments in functional programming and dependent type theory to bring performance portability to the realm of High-Level Synthesis (HLS) tools targeting FPGAs. We showcase our approach by presenting achievable speedups for three example applications. Results indicate considerable improvements in throughput of up to 58× in one example. These results are obtained by traversing a minute fraction of the total Design Space.

Item Type:Conference Proceedings
Glasgow Author(s) Enlighten ID:Urlea, Mr Cristian and Vanderbauwhede, Professor Wim and Nabi, Dr Syed Waqar
Authors: Urlea, C., Vanderbauwhede, W., and Nabi, S. W.
College/School:College of Science and Engineering > School of Computing Science
Copyright Holders:Copyright © 2019 IEEE
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher
Related URLs:

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
190652Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems.Wim VanderbauwhedeEngineering and Physical Sciences Research Council (EPSRC)EP/L00058X/1Computing Science