支持AFTER子句的综合算法研究 (2005年)

为了提高综合系统的效率，减少对综合系统的人工干预，提高其自动化程度，对VHDL硬件描述语言中的AFTER子句进行研究?通过对其行为综合语义的定义，给出了在AFTER子句时延约束下的ASAP和ALAP算法，建立了AFTER子句时延约束下的调度模型，并采用整数线性规划法求解调度模型。实验结果表明，在综合过程中考虑AFTER子句，不仅提供了一个有效给出时序约束的手段，而且使得设计描述方式更能够符合思维习惯，同时扩大了行为描述中可用语法范围，提高了行为综合的可预见性。