Improving Polyhedral Code Generation for High-Level Synthesis