时间约束调度中功能单元的下限估算

摘要

针对高层次综合中时间约束下的调度问题,提出了对功能单元的2种下限估算算法:单位长度调度法和最大网络流法.其主要思想是将原调度问题的不同约束放松,得到多项式可解的新问题,并使得新问题的最优解是原调度问题的下限值.将2种算法与已有的最小重叠法和整数线性规划给出的最优解做了理论和实验上的比较.实验结果表明:2种估算算法运行时间合理,并且单位长度调度法比最小重叠法更准确.最后总结了各种约束对下限估算准确性的影响.