Type-driven automated program transformations and cost modelling for optimising streaming programs on FPGAs
| Autor: | Wim Vanderbauwhede, Syed Waqar Nabi, Cristian Urlea |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2019 |
| Předmět: |
010302 applied physics
Computer science Program transformation 02 engineering and technology computer.software_genre Numerical weather prediction 01 natural sciences Toolchain 020202 computer hardware & architecture Theoretical Computer Science Computer engineering Problem domain 0103 physical sciences Theory of computation 0202 electrical engineering electronic engineering information engineering Compiler Architecture Field-programmable gate array computer Software Information Systems |
| ISSN: | 0885-7458 |
| Popis: | In this paper we present a novel approach to program optimisation based on compiler-based type-driven program transformations and a fast and accurate cost/performance model for the target architecture. We target streaming programs for the problem domain of scientific computing, such as numerical weather prediction. We present our theoretical framework for type-driven program transformation, our target high-level language and intermediate representation languages and the cost model and demonstrate the effectiveness of our approach by comparison with a commercial toolchain. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full text from SpringerLink