数字系统中高层次设计的最优调度算法比较.pdfVIP

2005 年§ 月 计算 机工 程 第31 卷第10 期 VoL31 地 10 Computer Engineering May 2005 文章编号: 1000--3428(200份10ø087ø2 文献标识码: A · 软件技术与数据库 · 中图分类号: TP311 数字系统中高层次设计的最优调度算法比较 王媲蜂 1 ，何织卒 (1.华东师范大学计算机科学技术系，上海 200062; 2 联合国大学国际软件技术研究所，澳门) 摘要: 高层次设计技术是数字系统设计的关键技术，是近年来国内外研究、 开发和应用的热门课题.文章用形式化方法描述了两种流行 的高层次设计的软件算法， 并进行了实验验证。 关键词: 高层次设计L 数据流图s 剪枝 Comparison of Optimal Schedule Algorithms of Digital System in High-Ievel Design 1 W ANG Xiaofeng ,HE Jifeng1,l (l.Dept. ofComputer Science Techno1ogy, East ChinaNormal University, Shangbai 200062; 2.International S。食W缸eT民， hno1ogy Institu缸， Uni阳dNations University, Macao) ( Abstract) High 1eve1 design is a key techno1ogy of todays e1配tronic desi但， and becomes v田y popular in electronic design automation(EDA). Thisp句erm阳grates a forma1 皿e也。dwi也twopopul缸so俞W缸ealgori也皿s in high 1eve1 synthesis and give s out 皿experimenta1 resu1t (K勾tW田-ds J High-1eve1 d由伊; Data flow graphs; Prune 到目前为止， RCS 问题仍然是-个NP 完全问题， 所以 1 背景介绍 目前还没有办法找到这个问题的多项式算法，因此许多分析 数字系统的设计包括行为、 结构和物理 3 个领域。 行为 系统调整了-些方法去发现优秀的但不是最优的结果。简单 指系统的功能，结构指系统的逻辑组成， 物理指系统具体实 说， RCS 就是-个在资源有限制并且资源之间有继承关系的 现的几何特征与物理特性。 根据抽象级别的不同， 数字系统 调度问题。 叉戈，~分为若干层次， 般从顶向下包括系统级、 行为功能级 (或称算法级)、 寄存器传输级(RTL)、 逻辑级、 电路级等。 通