Scheduling strategies in high-level synthesis