Hyperblock Scheduling for Verified High-Level Synthesis.

Yann Herklotz John Wickerson

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

high level synthesis
scheduling problem
scheduling algorithm
resource allocation
parallel architecture
design space exploration
objective function
optimal solution
computer aided
single machine
resource management
resource constraints
round robin