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

Hendrik Folmer, Robert de Groote, Marco Bekooij

Functional languages as input specifications for High-Level Synthesis (HLS) tools allow to specify data dependencies but do not contain a notion of time nor execution order. In thi…