电子系统的设计复杂性和系统功能一直在呈几何级数增长,全球的竞争又加剧了产品开发周期的缩短。因此,对电子设计自动化工具的需求越来越迫切,要求也日益提高,这一切促进了EDA的发展,加速了设计方法和设计工具的更新换代。 当前存在的高级综合工具能有效地处理硬件的HDL模型,把它们映射成控制数据流图(CDFGs),接着完成调度、资源共享、重定时和控制器综合。然而,现有的高级综合工具由于不能自动地综合数据路径,所以也不能智能地使用复杂算术库模块。本文中,首先介绍了Gr(?)bner基和Buchberger算法,这是本文研究的理论基础;接着提出了两个改进的数据流映射算法,第一个算法是改进的最小元件分解算法,该算法把高级描述的数据流部分映射到预先优化过的算术库元件模块上,以元件数量最少为主要优化目标,如果有多个解则分别考虑各个解所用元件的功耗之和,选择功耗最小的那个解。但由于在很多应用中,生成电路的功耗要求更重要,本文又提出了第二个改进的分解算法—最小功耗分解算法,该算法完全以功耗最小为优化目标,并使用表达式控制技术指导多项式分解中的边关系选择。本文提出的改进算法不但改进了当前的高级综合工具的能力,也提高了设计者的生产效率。 为了自动地进行设计重用,需要研究连接系统元件的方法,本文接着研究了自动生成硬件子系统间接口的过程。接口的基本目的是方便数据传输,数掘可能是地址、命令、内存地址指定的值或者这些的组合。为了使具有不同数据传输协议的硬件子系统互相通信,本文提出的方法把这些协议映射成标准的通信方案,而这个方案可以用一个足以满足任何目标接口要求的接口构架来实现。本文的方法能够生成给定了HDL模型的两个硬件子系统间的精确的同步接口。