TY - RPRT TI - High-Level Synthesis using SDF-AP, Template Haskell, QuasiQuotes, and GADTs to Generate Circuits from Hierarchical Input Specification AU - Hendrik Folmer PY - 2025 UR - https://arxiv.org/abs/2504.07595 ID - 2504.07595 ER -