摘要： 高层次设计技术是数字系统设计的关键技术,是近年来国内外研究、开发和应用的热门课题。文章用形式化方法描述了两种流行的高层次设计的软件算法,并进行了实验验证。

关键词: 高层次设计, 数据流图, 剪枝

Abstract: High level design is a key technology of today's electronic design, and becomes very popular in electronic design automation(EDA). This paper integrates a formal method with two popular software algorithms in high level synthesis and gives out an experimental result.

中图分类号: 

• TP302