行为延时约束下调度算法研究 (2005年)

为了自动综合设计迭代产生的行为时序，提高综合前后设计时序的一致性，对VHDL同步延时语句的高级综合方法进行研究。将延时转化为适当约束，提出相应调度模型及调度算法，采用启发式方法使解空间搜索算法跳出局部最优，该算法可以在多项式时间复杂度下得到近似最优解。实验结果表明，该算法能有效综合同步延时语句，使综合前后设计时序达到较好一致，提供了一种便于给出延时约束的手段，减少了综合过程的人工干预，提高了设计效率。