An Efficient and Versatile Scheduling Algorithm Based on SDC Formulation

张开发
• 2026/6/8 1:39:25 • 15 分钟阅读

最新文章

推荐文章

相关文章

分享文章

An Efficient and Versatile Scheduling Algorithm Based on SDC Formulation
一、核心文章《An Efficient and Versatile Scheduling Algorithm Based on SDC Formulation》二、文章关键技术1.为高层次综合的调度难题提供了优雅和统一的数学方法2.这篇论文是现代HLS高层次综合工具的基石3.统一的数学框架将所有调度约束资源、时钟、延迟、相对时序统一建模为x_i - x_j ≤ c形式的线性不等式。4.利用贝尔曼-福特Bellman-Ford算法等图论算法能在多项式时间内求解远比整数线性规划高效。三、关于调度问题调度是高层次综合中决定每个操作在哪个时钟周期执行的核心环节。1.频率约束 (Frequency)电路的最大时钟频率即最小周期T_clk。2.资源约束 (Resource)硬件资源的数量限制如只有两个加法器。3.延迟约束 (Latency)设计允许的最大/最小时钟周期数。4.相对时序约束 (Relative Timing)两个操作之间必须满足的最小/最大时钟周期差。5.条件分支 (Conditional)使用“谓词”变量为不同路径的操作建立独立的约束集。6.循环流水 (Loop Pipelining)定义“启动间隔”II为相邻迭代开始的最小周期数并用t_i^{k} - t_i^{k-1} ≥ II等约束建模。7.依赖约束 (Dependence)

更多文章