支持AFTER子句的综合算法研究

摘要：

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

关键词：高级综合、数据路径、时序约束

所属期刊栏目：25

分类号：TP301.1(计算技术、计算机技术)

资助基金：国家自然科学基金69973003

在线出版日期：2005-04-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：116-120