Abstract
Functional languages as input specifications for HLS-tools allow to specify data dependencies but do not contain a notion of time nor execution order. In this paper, we propose a method to add this notion to the functional description using the dataflow model SDF-AP. SDF-AP consists of patterns that express consumption and production that we can use to enforce resource usage. We created an HLS-tool that can synthesize parallel hardware, both data and control path, based on the repetition, expressed in Higher-Order Functions, combined with specified SDF-AP patterns. Our HLS-tool, based on Template Haskell, generates an Abstract Syntax Tree based on the given patterns and the functional description uses the Clash-compiler to generate VHDL/Verilog. Case studies show consistent resource consumption and temporal behavior for our HLS-tool. A comparison with a commercially available HLS-tool shows that our tool outperforms in terms of latency and sometimes in resource consumption. The method and tool presented in this paper offer more transparency to the developer and allow to specify more accurately the synthesized hardware compared to what is possible with pragmas of the Vitis HLS-tool.
Original language | English |
---|---|
Title of host publication | Embedded Computer Systems |
Subtitle of host publication | Architectures, Modeling, and Simulation - 22nd International Conference, SAMOS 2022, Proceedings |
Editors | Alex Orailoglu, Marc Reichenbach, Matthias Jung |
Place of Publication | Cham |
Publisher | Springer |
Pages | 3-27 |
Number of pages | 25 |
ISBN (Electronic) | 978-3-031-15074-6 |
ISBN (Print) | 978-3-031-15073-9 |
DOIs | |
Publication status | Published - 2022 |
Event | 22nd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2022 - Samos, Greece Duration: 3 Jul 2022 → 7 Jul 2022 Conference number: 22 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 13511 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | 22nd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2022 |
---|---|
Abbreviated title | SAMOS 2022 |
Country/Territory | Greece |
City | Samos |
Period | 3/07/22 → 7/07/22 |
Keywords
- 2023 OA procedure