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

H. H. Folmer R. De Groote Marco Jan Gerrit Bekooij

Published in: SAMOS (2022)

Keyphrases

digital circuits
high level synthesis
programming language
model based diagnosis
parallel architecture
design space exploration
data flow
functional programming
matching algorithm
functional decomposition
circuit design
plagiarism detection
object oriented
image processing
query language
state space