@misc{indiciae1d3de85dc4bd, title = {High-Level Synthesis using SDF-AP, Template Haskell, QuasiQuotes, and GADTs to Generate Circuits from Hierarchical Input Specification}, author = {Hendrik Folmer}, year = {2025}, url = {https://arxiv.org/abs/2504.07595}, note = {Source identifier: 2504.07595} }