High-Level Synthesis of Digital Circuits from Template Haskell and SDF-AP

H.H. Folmer*, R. de Groote, M.J.G. Bekooij

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)
27 Downloads (Pure)


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 languageEnglish
Title of host publicationEmbedded Computer Systems
Subtitle of host publicationArchitectures, Modeling, and Simulation - 22nd International Conference, SAMOS 2022, Proceedings
EditorsAlex Orailoglu, Marc Reichenbach, Matthias Jung
Place of PublicationCham
Number of pages25
ISBN (Electronic)978-3-031-15074-6
ISBN (Print)978-3-031-15073-9
Publication statusPublished - 2022
Event22nd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2022 - Samos, Greece
Duration: 3 Jul 20227 Jul 2022
Conference number: 22

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference22nd International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2022
Abbreviated titleSAMOS 2022


  • 2023 OA procedure

Cite this